repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'generation'
[cc1516.git]
/
AST.icl
diff --git
a/AST.icl
b/AST.icl
index
43c46f7
..
90d1e53
100644
(file)
--- a/
AST.icl
+++ b/
AST.icl
@@
-63,7
+63,7
@@
instance print Type where
print BoolType = print "Bool"
print CharType = print "Char"
print VoidType = print "Void"
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]
instance print String where
print s = [s]
@@
-75,7
+75,7
@@
instance print FieldSelector where
print FieldFst = print "fst"
instance print VarDef where
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
instance toString Op2 where
toString o = case o of