print BoolType = print "Bool"
print CharType = print "Char"
print VoidType = print "Void"
- print (t1 ->> t2) = print t1 ++ [" -> ":print t2]
+ print (t1 ->> t2) = ["(":print t1 ++ [" -> ":print t2]] ++ [")"]
instance print String where
print s = [s]
print FieldFst = print "fst"
instance print VarDef where
- print (VarDef i fs) = printersperse "." [i:flatten $ map print fs]
+ print (VarDef i fs) = printersperse "." [i:printersperse "" fs]
instance toString Op2 where
toString o = case o of