[commit: ghc] wip/libdw-prof: HACK: Disable substitution checks (6b79450)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/libdw-prof
Link       : http://ghc.haskell.org/trac/ghc/changeset/6b79450764e5cb6cd91310118e77903cc6409cc9/ghc

>---------------------------------------------------------------

commit 6b79450764e5cb6cd91310118e77903cc6409cc9
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Mon Nov 21 23:08:40 2016 -0500

    HACK: Disable substitution checks


>---------------------------------------------------------------

6b79450764e5cb6cd91310118e77903cc6409cc9
 compiler/types/TyCoRep.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index 300ef80..cf757a9 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -2085,6 +2085,8 @@ isValidTCvSubst (TCvSubst in_scope tenv cenv) =
 -- Note [The substitution invariant].
 checkValidSubst :: HasCallStack => TCvSubst -> [Type] -> [Coercion] -> a -> a
 checkValidSubst subst@(TCvSubst in_scope tenv cenv) tys cos a
+  | otherwise = a
+  | otherwise
   = ASSERT2( isValidTCvSubst subst,
              text "in_scope" <+> ppr in_scope $$
              text "tenv" <+> ppr tenv $$