diff options
| author | Matthew Pickering <matthew.pickering@tweag.io> | 2018-06-04 17:50:01 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-04 17:50:03 -0400 |
| commit | 97cea3155c7161b7983625417b717239ff52e100 (patch) | |
| tree | a384a2d792622c3abf75812efe7db454f82c3da4 /compiler | |
| parent | 1a61c6b8c8959ca4cd9500d261ae225210eaff64 (diff) | |
| download | haskell-97cea3155c7161b7983625417b717239ff52e100.tar.gz | |
Improve extendTvSubst assertion
Reviewers: bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4790
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/simplCore/SimplEnv.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/simplCore/SimplEnv.hs b/compiler/simplCore/SimplEnv.hs index 7504fc6c60..18d9f57f6f 100644 --- a/compiler/simplCore/SimplEnv.hs +++ b/compiler/simplCore/SimplEnv.hs @@ -319,7 +319,7 @@ extendIdSubst env@(SimplEnv {seIdSubst = subst}) var res extendTvSubst :: SimplEnv -> TyVar -> Type -> SimplEnv extendTvSubst env@(SimplEnv {seTvSubst = tsubst}) var res - = ASSERT( isTyVar var ) + = ASSERT2( isTyVar var, ppr var $$ ppr res ) env {seTvSubst = extendVarEnv tsubst var res} extendCvSubst :: SimplEnv -> CoVar -> Coercion -> SimplEnv |