[commit: ghc] tc-untouchables: Better ASSERT message (6a9542a)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables http://hackage.haskell.org/trac/ghc/changeset/6a9542aff4a508fb5175193948e07bb50062ba75 >--------------------------------------------------------------- commit 6a9542aff4a508fb5175193948e07bb50062ba75 Author: Simon Peyton Jones <[email protected]> Date: Fri Sep 28 15:26:21 2012 +0100 Better ASSERT message >--------------------------------------------------------------- compiler/typecheck/TcSMonad.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcSMonad.lhs b/compiler/typecheck/TcSMonad.lhs index a216729..7324798 100644 --- a/compiler/typecheck/TcSMonad.lhs +++ b/compiler/typecheck/TcSMonad.lhs @@ -1239,7 +1239,7 @@ isTouchableMetaTyVarTcS tv isFilledMetaTyVar_maybe :: TcTyVar -> TcS (Maybe Type) isFilledMetaTyVar_maybe tv - = ASSERT( isTcTyVar tv ) + = ASSERT2( isTcTyVar tv, ppr tv ) case tcTyVarDetails tv of MetaTv { mtv_ref = ref } -> do { cts <- wrapTcS (TcM.readTcRef ref)