diff options
| author | simonpj <unknown> | 2003-02-14 14:19:29 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2003-02-14 14:19:29 +0000 |
| commit | 580b4fe61a48c95699e57c73e5502b88b6d315d5 (patch) | |
| tree | 6e8d6cd71a397c6330fc2275e8799154757ed2f7 | |
| parent | 9eb59090515da91f12fad9415800ae7059a08811 (diff) | |
| download | haskell-580b4fe61a48c95699e57c73e5502b88b6d315d5.tar.gz | |
[project @ 2003-02-14 14:19:29 by simonpj]
Comments
| -rw-r--r-- | ghc/compiler/typecheck/TcSimplify.lhs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ghc/compiler/typecheck/TcSimplify.lhs b/ghc/compiler/typecheck/TcSimplify.lhs index 90fcb9c540..6c845aaa12 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_` |