Improve extendTvSubst assertion
authorMatthew Pickering <matthew.pickering@tweag.io>
Mon, 4 Jun 2018 21:50:01 +0000 (17:50 -0400)
committerBen Gamari <ben@smart-cactus.org>
Mon, 4 Jun 2018 21:50:03 +0000 (17:50 -0400)
Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4790

compiler/simplCore/SimplEnv.hs

index 7504fc6..18d9f57 100644 (file)
@@ -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