diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-03-29 16:42:09 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-03-29 16:42:09 +0000 |
| commit | 9e5f0a0f6848dd8234a83d8ff514365aa4717eea (patch) | |
| tree | 9052a6b1e69afd049013381af50c749311d9285a /compiler | |
| parent | 7ae615619d99e405341ef2bcb461659a72d0e2b1 (diff) | |
| download | haskell-9e5f0a0f6848dd8234a83d8ff514365aa4717eea.tar.gz | |
Remove a DEBUG use
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcUnify.lhs | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs index 7ce2fca065..e8365db1c7 100644 --- a/compiler/typecheck/TcUnify.lhs +++ b/compiler/typecheck/TcUnify.lhs @@ -904,12 +904,13 @@ tcGen expected_ty extra_tvs thing_inside -- We expect expected_ty to be a forall ; let skol_info = GenSkol forall_tvs (mkPhiTy theta rho_ty) ; return ((forall_tvs, theta, rho_ty), skol_info) }) -#ifdef DEBUG - ; traceTc (text "tcGen" <+> vcat [text "extra_tvs" <+> ppr extra_tvs, - text "expected_ty" <+> ppr expected_ty, - text "inst ty" <+> ppr tvs' <+> ppr theta' <+> ppr rho', - text "free_tvs" <+> ppr free_tvs]) -#endif + ; when debugIsOn $ + traceTc (text "tcGen" <+> vcat [ + text "extra_tvs" <+> ppr extra_tvs, + text "expected_ty" <+> ppr expected_ty, + text "inst ty" <+> ppr tvs' <+> ppr theta' + <+> ppr rho', + text "free_tvs" <+> ppr free_tvs]) -- Type-check the arg and unify with poly type ; (result, lie) <- getLIE (thing_inside tvs' rho') |