projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
9eb5909
)
[project @ 2003-02-14 14:19:29 by simonpj]
author
simonpj
<unknown>
Fri, 14 Feb 2003 14:19:29 +0000
(14:19 +0000)
committer
simonpj
<unknown>
Fri, 14 Feb 2003 14:19:29 +0000
(14:19 +0000)
Comments
ghc/compiler/typecheck/TcSimplify.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcSimplify.lhs
b/ghc/compiler/typecheck/TcSimplify.lhs
index
90fcb9c
..
6c845aa
100644
(file)
--- 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
\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_`
tcSimplifyTop wanteds
= getLclEnv `thenM` \ lcl_env ->
traceTc (text "tcSimplifyTop" <+> ppr (lclEnvElts lcl_env)) `thenM_`