diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2019-03-07 17:19:45 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-11 18:18:06 -0400 |
| commit | 60b03adea8cc55ff65fbf6458487c3baf12bb0a1 (patch) | |
| tree | ec2167a91851cf81b3e65f1fe72fd19df139dd0a /compiler/coreSyn | |
| parent | bcb6769c83744c211d3ddddbc7fd9dec88452c88 (diff) | |
| download | haskell-60b03adea8cc55ff65fbf6458487c3baf12bb0a1.tar.gz | |
Change the warning in substTy back to an assertion
We'd like to enforce the substitution invariant (Trac #11371).
In a492af06d326453 the assertion was downgraded to a warning;
I'm restoring the assertion and making the calls that
don't maintain the invariant as unchecked.
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreArity.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreArity.hs b/compiler/coreSyn/CoreArity.hs index 37454ebee0..afd6759571 100644 --- a/compiler/coreSyn/CoreArity.hs +++ b/compiler/coreSyn/CoreArity.hs @@ -1153,7 +1153,7 @@ freshEtaId :: Int -> TCvSubst -> Type -> (TCvSubst, Id) freshEtaId n subst ty = (subst', eta_id') where - ty' = Type.substTy subst ty + ty' = Type.substTyUnchecked subst ty eta_id' = uniqAway (getTCvInScope subst) $ mkSysLocalOrCoVar (fsLit "eta") (mkBuiltinUnique n) ty' subst' = extendTCvInScope subst eta_id' |