summaryrefslogtreecommitdiff
path: root/testdata/typeclass.lc
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/typeclass.lc')
-rw-r--r--testdata/typeclass.lc6
1 files changed, 3 insertions, 3 deletions
diff --git a/testdata/typeclass.lc b/testdata/typeclass.lc
index a0ba8068..1ec4ba73 100644
--- a/testdata/typeclass.lc
+++ b/testdata/typeclass.lc
@@ -24,12 +24,12 @@ a /= b = not (a == b)
24instance Eq Bool where 24instance Eq Bool where
25 True == a = a 25 True == a = a
26 False == a = not a 26 False == a = not a
27 27{- todo
28instance Eq t => Eq [t] where 28instance Eq t => Eq [t] where
29 [] == [] = True 29 [] == [] = True
30 (==) (a:as) (b:bs) = a == b -- && as == bs 30 a:as == b:bs = a == b && as == bs
31 -- TODO a:as == b:bs = a == b && as == bs
32 _ == _ = False 31 _ == _ = False
32-}
33{- 33{-
34Ord = \a -> Eq a & Ord' a -- so this is an alias, always subst. 34Ord = \a -> Eq a & Ord' a -- so this is an alias, always subst.
35 35