diff options
| author | Bartosz Nitka <niteria@gmail.com> | 2016-02-01 02:39:50 -0800 |
|---|---|---|
| committer | Bartosz Nitka <niteria@gmail.com> | 2016-02-01 02:39:59 -0800 |
| commit | e5a0a8903715b8717342dabeb72d69b4d5e61e5c (patch) | |
| tree | b98c78877769808f1db5ef2d3c2927d9f5219b11 /compiler | |
| parent | a883c1b7b08657102a2081b55c8fe68714d8bf73 (diff) | |
| download | haskell-e5a0a8903715b8717342dabeb72d69b4d5e61e5c.tar.gz | |
Suppress substitution assertions to fix tests
This is one place that I've missed with D1862.
This doesn't fix the underlying problem and I prefer to suppress it
now and fix it later as this is a part of a larger effort (#11371)
to fix an old bug with `substTy` called with invalid `in_scope` sets.
Test Plan: `make test TEST="hClose002 hClose003 hDuplicateTo001"
Reviewers: thomie, austin, bgamari, trofi
Reviewed By: trofi
Differential Revision: https://phabricator.haskell.org/D1872
GHC Trac Issues: #11371
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/basicTypes/MkId.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/basicTypes/MkId.hs b/compiler/basicTypes/MkId.hs index fd6c2ce74f..8aaa0052ae 100644 --- a/compiler/basicTypes/MkId.hs +++ b/compiler/basicTypes/MkId.hs @@ -695,7 +695,7 @@ wrapCo co rep_ty (unbox_rep, box_rep) -- co :: arg_ty ~ rep_ty UnitBox -> do { rep_id <- newLocal (TcType.substTy subst rep_ty) ; return ([rep_id], Var rep_id) } Boxer boxer -> boxer subst - ; let sco = substCo subst co + ; let sco = substCoUnchecked subst co ; return (rep_ids, rep_expr `Cast` mkSymCo sco) } ------------------------ |