X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=451e3b148ee60531a9bb328e2c0c92a6b7b2a15a;hb=1db8e4d0719bff692a9dbb74e2b250a8745470b9;hp=1689dab99ba42e7b51a8ff61a58f9beb43958588;hpb=eab8711f0b0723c61ec4fece2b70983c90d92d19;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 1689dab..451e3b1 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -657,7 +657,7 @@ tcSimplifyInfer
 	:: SDoc
 	-> TcTyVarSet		-- fv(T); type vars
 	-> [Inst]		-- Wanted
-	-> TcM ([TcTyVar],	-- Tyvars to quantify (zonked)
+	-> TcM ([TcTyVar],	-- Tyvars to quantify (zonked and quantified)
 		[Inst],		-- Dict Ids that must be bound here (zonked)
 		TcDictBinds)	-- Bindings
 	-- Any free (escaping) Insts are tossed into the environment
@@ -1172,7 +1172,7 @@ tcSimplifyRestricted 	-- Used for restricted binding groups
 	-> [Name]		-- Things bound in this group
 	-> TcTyVarSet		-- Free in the type of the RHSs
 	-> [Inst]		-- Free in the RHSs
-	-> TcM ([TyVar],	-- Tyvars to quantify (zonked)
+	-> TcM ([TyVar],	-- Tyvars to quantify (zonked and quantified)
 		TcDictBinds)	-- Bindings
 	-- tcSimpifyRestricted returns no constraints to
 	-- quantify over; by definition there are none.