diff options
Diffstat (limited to 'testdata/typeclass.lc')
-rw-r--r-- | testdata/typeclass.lc | 6 |
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) | |||
24 | instance Eq Bool where | 24 | instance Eq Bool where |
25 | True == a = a | 25 | True == a = a |
26 | False == a = not a | 26 | False == a = not a |
27 | 27 | {- todo | |
28 | instance Eq t => Eq [t] where | 28 | instance 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 | {- |
34 | Ord = \a -> Eq a & Ord' a -- so this is an alias, always subst. | 34 | Ord = \a -> Eq a & Ord' a -- so this is an alias, always subst. |
35 | 35 | ||