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)



_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to