[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 (file)
--- 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 ()