repositories
/
ap2015.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2e607da
)
rose >< nog en tests
author
Mart Lubbers
<mart@martlubbers.net>
Mon, 31 Aug 2015 17:30:16 +0000
(19:30 +0200)
committer
Mart Lubbers
<mart@martlubbers.net>
Mon, 31 Aug 2015 17:30:16 +0000
(19:30 +0200)
a1/mart/skeleton1.icl
patch
|
blob
|
history
diff --git
a/a1/mart/skeleton1.icl
b/a1/mart/skeleton1.icl
index
3e13262
..
bcb57fe
100644
(file)
--- a/
a1/mart/skeleton1.icl
+++ b/
a1/mart/skeleton1.icl
@@
-111,13
+111,15
@@
listToGen [x:xs] = RIGHT (PAIR x xs)
instance >< UNIT where
\r
(><) _ _ = Equal
\r
\r
instance >< UNIT where
\r
(><) _ _ = Equal
\r
\r
-instance >< (PAIR a b) | >< a & >< b
\r
+instance >< (PAIR a b) | >< a & >< b
where
\r
(><) (PAIR x1 y1) (PAIR x2 y2) = case x1 >< x2 of
\r
Equal = y1 >< y2
\r
otherwise = x1 >< x2
\r
\r
(><) (PAIR x1 y1) (PAIR x2 y2) = case x1 >< x2 of
\r
Equal = y1 >< y2
\r
otherwise = x1 >< x2
\r
\r
-instance >< (EITHER a b) | >< a & >< b
\r
+instance >< (EITHER a b) | >< a & >< b
where
\r
(><) (LEFT _) (RIGHT _) = Bigger
\r
(><) (RIGHT _) (LEFT _) = Smaller
\r
(><) (RIGHT x) (RIGHT y) = x >< y
\r
(><) (LEFT x) (LEFT y) = x >< y
\r
(><) (LEFT _) (RIGHT _) = Bigger
\r
(><) (RIGHT _) (LEFT _) = Smaller
\r
(><) (RIGHT x) (RIGHT y) = x >< y
\r
(><) (LEFT x) (LEFT y) = x >< y
\r
+
\r
+Start = "Hello World"
\r