refactoring

2 files changed, 31 insertions, 3 deletions

diff --git a/testdata/typeclass.lc b/testdata/typeclass.lc
index 71210ce1..11048330 100644
--- a/testdata/typeclass.lc
+++ b/testdata/typeclass.lc
@@ -26,12 +26,12 @@ instance Eq Bool where
 []   ==. []   = True
 (a:as) ==. (b:bs) = {-a == b && -} as ==. bs
 _    ==. _    = False
-
+{-
 instance Eq t => Eq [t] where
     []   == []   = True
     a:as == b:bs = a == b && as == bs
     _    == _    = False
-
+-}
 {-
 Ord = \a -> Eq a & Ord' a       -- so this is an alias, always subst.
 
diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 7d92928d..8a79e832 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -35,6 +35,17 @@ not = \(a :: _) -> case'Bool (\_ -> _) (_rhs True) (_rhs False) a
     (_rhs undefined)
 
 (/=) = \(a :: _) (b :: _) -> _rhs (not (a == b))
+
+(==.)
+  = \(a :: _) (b :: _) -> case'List
+    (\_ -> _)
+    (case'List (\_ -> _) (_rhs True) (\_ _ -> _rhs False) b)
+    (\_ (c :: _) -> case'List
+      (\_ -> _)
+      (_rhs False)
+      (\_ (d :: _) -> _rhs (c ==. d))
+      b)
+    a
 ------------ trace
 not :: Bool -> Bool
 (&&) :: Bool -> Bool -> Bool
@@ -42,6 +53,7 @@ not :: Bool -> Bool
 'Eq :: Type -> Type
 (==) :: forall a . Eq a => a -> a -> Bool
 (/=) :: forall a . Eq a => a -> a -> Bool
+(==.) :: forall a b . [a] -> [b] -> Bool
 ------------ tooltips
 testdata/typeclass.lc 8:1-8:4
     Bool -> Bool
@@ -108,4 +120,20 @@ testdata/typeclass.lc 24:18-24:21
 testdata/typeclass.lc 24:18-24:23
     Bool
 testdata/typeclass.lc 24:22-24:23
-    _b
\ No newline at end of file
+    _b
+testdata/typeclass.lc 26:6-26:9
+    forall a b . [a] -> [b] -> Bool
+testdata/typeclass.lc 26:17-26:21
+    Bool
+testdata/typeclass.lc 26:17-28:22
+    [_a] -> Bool | Bool
+testdata/typeclass.lc 27:36-27:38
+    [_j]
+testdata/typeclass.lc 27:36-28:22
+    [_a] -> Bool | Bool
+testdata/typeclass.lc 27:39-27:42
+    _l
+testdata/typeclass.lc 27:43-27:45
+    [_g]
+testdata/typeclass.lc 28:17-28:22
+    Bool | Bool
\ No newline at end of file