Commit 33465694 authored by Simon Marlow's avatar Simon Marlow
Browse files

update to track .lhs-boot file

parent 593b7f50
......@@ -3,5 +3,6 @@ module TcUnify where
-- This boot file exists only to tie the knot between
-- TcUnify and TcSimplify
unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()
unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM Coercion.CoercionI
zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType
boxyUnify :: TcType.BoxyType -> TcType.BoxyType -> TcRnTypes.TcM Coercion.CoercionI
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment