projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Type checking for type synonym families
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcRnMonad.lhs
diff --git
a/compiler/typecheck/TcRnMonad.lhs
b/compiler/typecheck/TcRnMonad.lhs
index
3c1f510
..
ea01b1a
100644
(file)
--- a/
compiler/typecheck/TcRnMonad.lhs
+++ b/
compiler/typecheck/TcRnMonad.lhs
@@
-23,6
+23,7
@@
import TcType
import InstEnv
import FamInstEnv
import InstEnv
import FamInstEnv
+import Coercion
import Var
import Id
import VarSet
import Var
import Id
import VarSet
@@
-113,7
+114,8
@@
initTc hsc_env hsc_src keep_rn_syntax mod do_this
tcg_dfun_n = dfun_n_var,
tcg_keep = keep_var,
tcg_doc = Nothing,
tcg_dfun_n = dfun_n_var,
tcg_keep = keep_var,
tcg_doc = Nothing,
- tcg_hmi = HaddockModInfo Nothing Nothing Nothing Nothing
+ tcg_hmi = HaddockModInfo Nothing Nothing Nothing Nothing,
+ tcg_hpc = False
} ;
lcl_env = TcLclEnv {
tcl_errs = errs_var,
} ;
lcl_env = TcLclEnv {
tcl_errs = errs_var,
@@
-176,7
+178,7
@@
initTcRnIf uniq_tag hsc_env gbl_env lcl_env thing_inside
; let { env = Env { env_top = hsc_env,
env_us = us_var,
env_gbl = gbl_env,
; let { env = Env { env_top = hsc_env,
env_us = us_var,
env_gbl = gbl_env,
- env_lcl = lcl_env } }
+ env_lcl = lcl_env} }
; runIOEnv env thing_inside
}
; runIOEnv env thing_inside
}
@@
-1021,5
+1023,3
@@
forkM doc thing_inside
-- pprPanic "forkM" doc
Just r -> r) }
\end{code}
-- pprPanic "forkM" doc
Just r -> r) }
\end{code}
-
-