diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-03-29 14:52:44 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-03-29 14:52:44 +0000 |
| commit | 49f976f35373adb95e8b7043ba1666d48e7f33f7 (patch) | |
| tree | 3b28a05331fa0594ee6f9b8b20b6466c578911f9 | |
| parent | f8078bb6d02be9bd13f3d28a79cf2c9a4d9c89cd (diff) | |
| download | haskell-49f976f35373adb95e8b7043ba1666d48e7f33f7.tar.gz | |
Remove an #ifdef DEBUG
| -rw-r--r-- | compiler/typecheck/TcMType.lhs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index 4cd966f2e7..30917eff83 100644 --- a/compiler/typecheck/TcMType.lhs +++ b/compiler/typecheck/TcMType.lhs @@ -506,14 +506,12 @@ isFilledMetaTyVar tv | otherwise = return False writeMetaTyVar :: TcTyVar -> TcType -> TcM () -#ifndef DEBUG -writeMetaTyVar tyvar ty = writeMutVar (metaTvRef tyvar) (Indirect ty) -#else +writeMetaTyVar tyvar ty + | not debugIsOn = writeMutVar (metaTvRef tyvar) (Indirect ty) writeMetaTyVar tyvar ty | not (isMetaTyVar tyvar) = pprTrace "writeMetaTyVar" (ppr tyvar) $ return () - | otherwise = ASSERT( isMetaTyVar tyvar ) -- TOM: It should also work for coercions @@ -523,7 +521,6 @@ writeMetaTyVar tyvar ty where k1 = tyVarKind tyvar k2 = typeKind ty -#endif \end{code} |