repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
fix escapes in literal strings
[cc1516.git]
/
AST.icl
diff --git
a/AST.icl
b/AST.icl
index
24d2af1
..
6436619
100644
(file)
--- a/
AST.icl
+++ b/
AST.icl
@@
-65,6
+65,7
@@
instance print Type where
print BoolType = print "Bool"
print CharType = print "Char"
print VoidType = print "Void"
+ print (FuncType t) = ["(-> ":print t] ++ [")"]
print (t1 ->> t2) = ["(":print t1 ++ [" -> ":print t2]] ++ [")"]
instance print String where