Slightly move the "after normalization" debug output.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 31 Mar 2010 14:44:47 +0000 (16:44 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 31 Mar 2010 14:44:47 +0000 (16:44 +0200)
This should ensure it is always printed. Previously, it seems it was printed
only when the final state from the monad was accessed, not when the
value was used (which caused problems if the value caused an error
further on).

cλash/CLasH/Normalize.hs

index 2b5c8999147c03662ff5bf806cab27af9e992ff3..a550124e0f01fccaa2dd8bcfb07b0e2f7cfa94b1 100644 (file)
@@ -856,9 +856,9 @@ normalizeExpr what expr = do
       trace (what ++ " before normalization:\n\n" ++ showSDoc ( ppr expr_uniqued ) ++ "\n") $ return ()
       expr' <- dotransforms transforms expr_uniqued
       endcount <- MonadState.get tsTransformCounter 
-      trace ("\n" ++ what ++ " after normalization:\n\n" ++ showSDoc ( ppr expr')) $ return ()
-      trace ("\nNeeded " ++ show (endcount - startcount) ++ " transformations to normalize " ++ what) $ return ()
-      return expr'
+      trace ("\n" ++ what ++ " after normalization:\n\n" ++ showSDoc ( ppr expr')
+             ++ "\nNeeded " ++ show (endcount - startcount) ++ " transformations to normalize " ++ what) $
+       return expr'
 
 -- | Split a normalized expression into the argument binders, top level
 --   bindings and the result binder.