summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcEnv.hs-boot
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/typecheck/TcEnv.hs-boot')
-rw-r--r--compiler/typecheck/TcEnv.hs-boot17
1 files changed, 10 insertions, 7 deletions
diff --git a/compiler/typecheck/TcEnv.hs-boot b/compiler/typecheck/TcEnv.hs-boot
index 8cc90ae5a0..5e9bfe2039 100644
--- a/compiler/typecheck/TcEnv.hs-boot
+++ b/compiler/typecheck/TcEnv.hs-boot
@@ -1,7 +1,10 @@
-{-
->module TcEnv where
->import TcRnTypes
->import HsExtension ( GhcTcId, IdP )
->
->tcExtendIdEnv :: [TcId] -> TcM a -> TcM a
--}
+module TcEnv where
+
+import TcRnTypes( TcM )
+import VarEnv( TidyEnv )
+
+-- Annoyingly, there's a recursion between tcInitTidyEnv
+-- (which does zonking and hence needs TcMType) and
+-- addErrTc etc which live in TcRnMonad. Rats.
+tcInitTidyEnv :: TcM TidyEnv
+