Commit 580b4fe6 authored by simonpj's avatar simonpj
Browse files

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

Comments
parent 9eb59090
......@@ -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_`
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment