diff options
Diffstat (limited to 'compiler/deSugar/Desugar.lhs')
| -rw-r--r-- | compiler/deSugar/Desugar.lhs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/deSugar/Desugar.lhs b/compiler/deSugar/Desugar.lhs index 3160b35f15..5da3b1ca37 100644 --- a/compiler/deSugar/Desugar.lhs +++ b/compiler/deSugar/Desugar.lhs @@ -91,6 +91,7 @@ deSugar hsc_env tcg_tcs = tcs, tcg_insts = insts, tcg_fam_insts = fam_insts, + tcg_axioms = axioms, tcg_hpc = other_hpc_info }) = do { let dflags = hsc_dflags hsc_env @@ -178,6 +179,7 @@ deSugar hsc_env mg_tcs = tcs, mg_insts = insts, mg_fam_insts = fam_insts, + mg_axioms = axioms, mg_inst_env = inst_env, mg_fam_inst_env = fam_inst_env, mg_patsyns = filter ((`elemNameSet` export_set) . patSynName) patsyns, |