Commit 2c341213 authored by's avatar

Re-enable assertion now the new type checker is in

(See Trac #3011.)
parent 140fb024
......@@ -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)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment