From: Simon Marlow Date: Wed, 12 Sep 2007 10:34:17 +0000 (+0000) Subject: update to track .lhs-boot file X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=334656941bbe3cb094d83756db73d1aa822cd623 update to track .lhs-boot file --- diff --git a/compiler/typecheck/TcUnify.hi-boot-6 b/compiler/typecheck/TcUnify.hi-boot-6 index eb28635..e906914 100644 --- a/compiler/typecheck/TcUnify.hi-boot-6 +++ b/compiler/typecheck/TcUnify.hi-boot-6 @@ -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