# HG changeset patch
# User atton
# Date 1477471154 0
# Node ID 17f5b8304641725dc9987c76ac847df3efeea2a5
# Parent  783541c5ee4284339d4e5ae8c1b61f210c5657d3
Fix evalWithWriter

diff -r 783541c5ee42 -r 17f5b8304641 arith/Arith.hs
--- a/arith/Arith.hs	Wed Oct 26 08:32:05 2016 +0000
+++ b/arith/Arith.hs	Wed Oct 26 08:39:14 2016 +0000
@@ -43,9 +43,11 @@
 eval1 t                     = Left $ "Cannot eval: " ++ show t
 
 
+evalWithWriter :: Term -> Writer String ()
 evalWithWriter t = do
+  tell $ (show t) ++ "\n"
   case (eval1 t) of
-     (Right t') -> (tell $ show t ++ "\n") >> (evalWithWriter t')
+     (Right t') -> evalWithWriter t'
      (Left  s)  -> tell $ s
 
 evalWithStep :: Term -> String