Updated debugging output of debugJoins
authorJoao Dias <dias@cs.tufts.edu>
Fri, 16 Apr 2010 22:26:55 +0000 (18:26 -0400)
committerJoao Dias <dias@cs.tufts.edu>
Fri, 16 Apr 2010 22:26:55 +0000 (18:26 -0400)
src/Compiler/Hoopl/Debug.hs

index ad0d840..07e161b 100644 (file)
@@ -34,9 +34,9 @@ debugJoins trace showOutput l@(DataflowLattice {fact_extend = extend}) = l {fact
      if showOutput c then trace output res else res
        where res@(c, f') = extend l f1 f2
              output = case c of
-                        SomeChange -> " +Join@" ++ show l ++ ": " ++ show of1 ++ " |_| "
+                        SomeChange -> "Join@" ++ show l ++ ": " ++ show of1 ++ " |_| "
                                                                   ++ show nf2 ++ " = " ++ show f'
-                        NoChange   -> " _Join@" ++ show l ++ ": NoChange: " ++ show of1
+                        NoChange   -> "_ Join@" ++ show l ++ ": " ++ show nf2 ++ " <= " ++ show of1
 
 --------------------------------------------------------------------------------
 -- Functions we'd like to have, but don't know how to implement generically: