rose >< nog en tests
authorMart Lubbers <mart@martlubbers.net>
Mon, 31 Aug 2015 17:30:16 +0000 (19:30 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 31 Aug 2015 17:30:16 +0000 (19:30 +0200)
a1/mart/skeleton1.icl

index 3e13262..bcb57fe 100644 (file)
@@ -111,13 +111,15 @@ listToGen [x:xs] = RIGHT (PAIR x xs)
 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
-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
+\r
+Start = "Hello World"\r