From: simonpj <unknown>
Date: Fri, 14 Feb 2003 14:19:29 +0000 (+0000)
Subject: [project @ 2003-02-14 14:19:29 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~1161
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=580b4fe61a48c95699e57c73e5502b88b6d315d5;p=ghc-hetmet.git

[project @ 2003-02-14 14:19:29 by simonpj]
Comments
---

diff --git a/ghc/compiler/typecheck/TcSimplify.lhs b/ghc/compiler/typecheck/TcSimplify.lhs
index 90fcb9c..6c845aa 100644
--- a/ghc/compiler/typecheck/TcSimplify.lhs
+++ b/ghc/compiler/typecheck/TcSimplify.lhs
@@ -1608,6 +1608,8 @@ It's OK: the final zonking stage should zap y to (), which is fine.
 
 \begin{code}
 tcSimplifyTop :: [Inst] -> TcM TcDictBinds
+-- The TcLclEnv should be valid here, solely to improve
+-- error message generation for the monomorphism restriction
 tcSimplifyTop wanteds
   = getLclEnv							`thenM` \ lcl_env ->
     traceTc (text "tcSimplifyTop" <+> ppr (lclEnvElts lcl_env))	`thenM_`