From: sof <unknown>
Date: Mon, 25 Aug 1997 22:28:07 +0000 (+0000)
Subject: [project @ 1997-08-25 22:28:07 by sof]
X-Git-Tag: Approximately_1000_patches_recorded~104
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=da85d66af9e23348b74a50c5b5c7e5f3120cece9;p=ghc-hetmet.git

[project @ 1997-08-25 22:28:07 by sof]
Updated comments
---

diff --git a/ghc/compiler/typecheck/Unify.lhs b/ghc/compiler/typecheck/Unify.lhs
index 6516e64..cbc42a8 100644
--- a/ghc/compiler/typecheck/Unify.lhs
+++ b/ghc/compiler/typecheck/Unify.lhs
@@ -256,12 +256,8 @@ uUnboundVar tv1@(TyVar uniq1 kind1 name1 box1)
 	(_, UnBound) |  kind1 `hasMoreBoxityInfo` kind2
 		     -> tcWriteTyVar tv2 (TyVarTy tv1)	`thenNF_Tc_` returnTc ()
 
--- TEMPORARY FIX
---	(DontBind,DontBind) 
---		     -> failTc (unifyDontBindErr tv1 ps_ty2)
-
--- TEMPORARILY allow two type-sig variables to be bound together.
--- See notes in tcCheckSigVars
+-- Allow two type-sig variables to be bound together.
+-- They may be from the same binding group, so it may be OK.
 	(DontBind,DontBind) |  kind2 `hasMoreBoxityInfo` kind1
 		            -> tcWriteTyVar tv1 ps_ty2		`thenNF_Tc_` returnTc ()