From da85d66af9e23348b74a50c5b5c7e5f3120cece9 Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Mon, 25 Aug 1997 22:28:07 +0000
Subject: [PATCH] [project @ 1997-08-25 22:28:07 by sof] Updated comments

---
 ghc/compiler/typecheck/Unify.lhs | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/ghc/compiler/typecheck/Unify.lhs b/ghc/compiler/typecheck/Unify.lhs
index 6516e640f4d4..cbc42a878b49 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 ()
 	
-- 
GitLab