repositories
/
phd-thesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
updates
[phd-thesis.git]
/
appx
/
lst
/
generic_eq.icl
diff --git
a/appx/lst/generic_eq.icl
b/appx/lst/generic_eq.icl
index
7f0a6c9
..
f3ef2b6
100644
(file)
--- a/
appx/lst/generic_eq.icl
+++ b/
appx/lst/generic_eq.icl
@@
-20,5
+20,6
@@
gEq{|EITHER|} _ _ _ _ = False
:: T = C1 Int ([Char], ?Bool) | C2
derive gEq [], T, (,), ?
-Start = (gEq{|*|} C2 (C1 42 ([], ?Just True)), gEq{|*->*|} (<) [1,2,3] [2,3,4])
+Start = (gEq{|*|} C2 (C1 42 ([], ?Just True))
+ , gEq{|*->*|} (<) [1,2,3] [2,3,4])
// (False, True)