diff options
author | simonpj@microsoft.com <unknown> | 2011-03-31 10:21:16 +0000 |
---|---|---|
committer | simonpj@microsoft.com <unknown> | 2011-03-31 10:21:16 +0000 |
commit | 2c3412138019d6b42a9974f7d8c7853c86ec96d5 (patch) | |
tree | 07082c47ac7bf7e4d1dac69dbbd88c13a9157f70 /compiler | |
parent | 140fb024a9f585c4f1d75ca4bd6fe37a97bc2a4f (diff) | |
download | haskell-2c3412138019d6b42a9974f7d8c7853c86ec96d5.tar.gz |
Re-enable assertion now the new type checker is in
(See Trac #3011.)
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/typecheck/TcMType.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index 9d74ff894a..74533340f3 100644 --- a/compiler/typecheck/TcMType.lhs +++ b/compiler/typecheck/TcMType.lhs @@ -364,8 +364,8 @@ writeMetaTyVarRef tyvar ref ty | otherwise = do { meta_details <- readMutVar ref; - ; WARN( not (isFlexi meta_details), - hang (text "Double update of meta tyvar") + ; ASSERT2( isFlexi meta_details, + hang (text "Double update of meta tyvar") 2 (ppr tyvar $$ ppr meta_details) ) traceTc "writeMetaTyVar" (ppr tyvar <+> text ":=" <+> ppr ty) |