From: simonpj@microsoft.com <unknown>
Date: Fri, 2 Feb 2007 23:37:50 +0000 (+0000)
Subject: Comments only
X-Git-Tag: 2007-02-05~8
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=ddf73c04de77994ad138771a7492007d794faf5e

Comments only
---

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 1278662..95250f8 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -863,7 +863,8 @@ bindIrredsR loc qtvs co_vars reft givens irreds
 	
 	; let all_tvs = qtvs ++ co_vars	-- Abstract over all these
 	; (implics, bind) <- makeImplicationBind loc all_tvs reft givens' irreds'
-				-- This call does the real work
+			-- This call does the real work
+			-- If irreds' is empty, it does something sensible
 	; extendLIEs implics
 	; return bind } 
 
@@ -876,6 +877,8 @@ makeImplicationBind :: InstLoc -> [TcTyVar] -> Refinement
 -- The binding looks like
 --	(ir1, .., irn) = f qtvs givens
 -- where f is (evidence for) the new implication constraint
+--	f :: forall qtvs. {reft} givens => (ir1, .., irn)
+-- qtvs includes coercion variables
 --
 -- This binding must line up the 'rhs' in reduceImplication
 makeImplicationBind loc all_tvs reft