Skip to content
Snippets Groups Projects
Commit 8c668678 authored by pcapriotti's avatar pcapriotti
Browse files

Fix environment update for type instance declarations in GHCi (#7117)

Patch by Patrick Palka <patrick@parcs.ath.cx>

MERGED from commit 700d287f
parent 349c8c53
No related merge requests found
...@@ -432,7 +432,7 @@ addFamInsts :: [FamInst] -> TcM a -> TcM a ...@@ -432,7 +432,7 @@ addFamInsts :: [FamInst] -> TcM a -> TcM a
-- (b) the type envt with stuff from data type decls -- (b) the type envt with stuff from data type decls
addFamInsts fam_insts thing_inside addFamInsts fam_insts thing_inside
= tcExtendLocalFamInstEnv fam_insts $ = tcExtendLocalFamInstEnv fam_insts $
tcExtendGlobalEnvImplicit things $ tcExtendGlobalEnv things $
do { traceTc "addFamInsts" (pprFamInsts fam_insts) do { traceTc "addFamInsts" (pprFamInsts fam_insts)
; tcg_env <- tcAddImplicits things ; tcg_env <- tcAddImplicits things
; setGblEnv tcg_env thing_inside } ; setGblEnv tcg_env thing_inside }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment