diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:26:21 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:26:21 +0100 |
| commit | 6a9542aff4a508fb5175193948e07bb50062ba75 (patch) | |
| tree | 341e5f996a23ff89b6d80f526d9719fb2bf3390e /compiler | |
| parent | 444577a049bcc9c4b577134258bf50c630d215ad (diff) | |
| download | haskell-6a9542aff4a508fb5175193948e07bb50062ba75.tar.gz | |
Better ASSERT message
Diffstat (limited to 'compiler')
| -rw-r--r-- | 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 a21672942b..7324798257 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) |