Re-enable assertion now the new type checker is in
authorsimonpj@microsoft.com <unknown>
Thu, 31 Mar 2011 10:21:16 +0000 (10:21 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 31 Mar 2011 10:21:16 +0000 (10:21 +0000)
(See Trac #3011.)

compiler/typecheck/TcMType.lhs

index 9d74ff8..7453334 100644 (file)
@@ -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)