repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Finished algorithm U
[cc1516.git]
/
AST.icl
diff --git
a/AST.icl
b/AST.icl
index
26686b2
..
68def61
100644
(file)
--- a/
AST.icl
+++ b/
AST.icl
@@
-115,11
+115,13
@@
printFunCall s args = [s, "(":printersperse "," args] ++ [")"]
derive gEq Op2
instance == Op2 where (==) o1 o2 = gEq{|*|} o1 o2
derive gEq Op2
instance == Op2 where (==) o1 o2 = gEq{|*|} o1 o2
+instance zero Pos where
+ zero = {line=0, col=0}
+
derive gEq Op1
instance == Op1 where (==) o1 o2 = gEq{|*|} o1 o2
derive gEq Op1
instance == Op1 where (==) o1 o2 = gEq{|*|} o1 o2
+instance < Op2 where (<) o1 o2 = toString o1 < toString o2
+instance < Op1 where (<) o1 o2 = toString o1 < toString o2
-instance < Op2 where
- (<) o1 o2 = (toString o1) < (toString o2)
-
-instance < Op1 where
- (<) o1 o2 = (toString o1) < (toString o2)
\ No newline at end of file
+derive gEq Type
+instance == Type where (==) t1 t2 = gEq{|*|} t1 t2
\ No newline at end of file