Fix the trace output of normalized functions.
[matthijs/master-project/cλash.git] / cλash / CLasH / Normalize.hs
index 647bd1902592c46db67c132a9ff744901a82b971..b2b4bd86f0080693d29f70183ef469083b15bdfc 100644 (file)
@@ -522,7 +522,7 @@ normalizeExpr what expr = do
       -- Normalize this expression
       trace ("Transforming " ++ what ++ "\nBefore:\n\n" ++ showSDoc ( ppr expr' ) ++ "\n") $ return ()
       expr'' <- dotransforms transforms expr'
-      trace ("\nAfter:\n\n" ++ showSDoc ( ppr expr')) $ return ()
+      trace ("\nAfter:\n\n" ++ showSDoc ( ppr expr'')) $ return ()
       return expr''
 
 -- | Get the value that is bound to the given binder at top level. Fails when