From b383edf27f587a9d7aaa241638b7bef6c1a54149 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 15 Feb 2002 09:32:47 +0000
Subject: [PATCH] [project @ 2002-02-15 09:32:47 by simonpj] Comments only

---
 ghc/compiler/typecheck/TcSimplify.lhs |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/typecheck/TcSimplify.lhs b/ghc/compiler/typecheck/TcSimplify.lhs
index 5ef2132..d0993ba 100644
--- a/ghc/compiler/typecheck/TcSimplify.lhs
+++ b/ghc/compiler/typecheck/TcSimplify.lhs
@@ -670,9 +670,14 @@ tcSimplifyCheck
 
 -- tcSimplifyCheck is used when checking expression type signatures,
 -- class decls, instance decls etc.
--- Note that we psss isFree (not isFreeAndInheritable) to tcSimplCheck
+--
+-- NB: we psss isFree (not isFreeAndInheritable) to tcSimplCheck
 -- It's important that we can float out non-inheritable predicates
 -- Example:		(?x :: Int) is ok!
+--
+-- NB: tcSimplifyCheck does not consult the
+--	global type variables in the environment; so you don't
+--	need to worry about setting them before calling tcSimplifyCheck
 tcSimplifyCheck doc qtvs givens wanted_lie
   = tcSimplCheck doc get_qtvs
 		 givens wanted_lie	`thenTc` \ (qtvs', frees, binds) ->
-- 
1.7.10.4