From 334656941bbe3cb094d83756db73d1aa822cd623 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 12 Sep 2007 10:34:17 +0000 Subject: [PATCH] update to track .lhs-boot file --- compiler/typecheck/TcUnify.hi-boot-6 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 1.7.10.4