demangle even more

[msc-thesis1617.git] / methods.dsl.tex

diff --git a/methods.dsl.tex b/methods.dsl.tex
index 8304262..f21cb88 100644 (file)
--- a/methods.dsl.tex
+++ b/methods.dsl.tex
@@ -142,7 +142,7 @@ instance intArith PrettyPrinter where
 Start :: (PP String, Bool)
 Start = (print e0, eval e0)
 where
-       e0 :: a Bool | intArith a &  boolArith a
+       e0 :: a Bool | intArith, boolArith a
        e0 = eq (lit 42) (lit 21 +. lit 21)
 
        print (PP p) = p