projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
f8078bb
)
Remove an #ifdef DEBUG
author
Ian Lynagh
<igloo@earth.li>
Sat, 29 Mar 2008 14:52:44 +0000
(14:52 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Sat, 29 Mar 2008 14:52:44 +0000
(14:52 +0000)
compiler/typecheck/TcMType.lhs
patch
|
blob
|
history
diff --git
a/compiler/typecheck/TcMType.lhs
b/compiler/typecheck/TcMType.lhs
index
4cd966f
..
30917ef
100644
(file)
--- a/
compiler/typecheck/TcMType.lhs
+++ b/
compiler/typecheck/TcMType.lhs
@@
-506,14
+506,12
@@
isFilledMetaTyVar tv
| otherwise = return False
writeMetaTyVar :: TcTyVar -> TcType -> TcM ()
| 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 ()
writeMetaTyVar tyvar ty
| not (isMetaTyVar tyvar)
= pprTrace "writeMetaTyVar" (ppr tyvar) $
return ()
-
| otherwise
= ASSERT( isMetaTyVar tyvar )
-- TOM: It should also work for coercions
| 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
where
k1 = tyVarKind tyvar
k2 = typeKind ty
-#endif
\end{code}
\end{code}