From dc126aec5272b81980c8be7159d559c6245ba0ee Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 31 Aug 2015 19:30:16 +0200 Subject: [PATCH] rose >< nog en tests --- a1/mart/skeleton1.icl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/a1/mart/skeleton1.icl b/a1/mart/skeleton1.icl index 3e13262..bcb57fe 100644 --- a/a1/mart/skeleton1.icl +++ b/a1/mart/skeleton1.icl @@ -111,13 +111,15 @@ listToGen [x:xs] = RIGHT (PAIR x xs) instance >< UNIT where (><) _ _ = Equal -instance >< (PAIR a b) | >< a & >< b +instance >< (PAIR a b) | >< a & >< b where (><) (PAIR x1 y1) (PAIR x2 y2) = case x1 >< x2 of Equal = y1 >< y2 otherwise = x1 >< x2 -instance >< (EITHER a b) | >< a & >< b +instance >< (EITHER a b) | >< a & >< b where (><) (LEFT _) (RIGHT _) = Bigger (><) (RIGHT _) (LEFT _) = Smaller (><) (RIGHT x) (RIGHT y) = x >< y (><) (LEFT x) (LEFT y) = x >< y + +Start = "Hello World" -- 2.20.1