diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-03 23:53:32 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-03 23:53:32 +0100 |
| commit | 70a5a26212d99e90625c8d8ed29cb20218168520 (patch) | |
| tree | 06cbd187a485b756b5f08578982c61df74f486a5 /testdata/typeclass.lc | |
| parent | cd509ac8dead8465a036824eb6188ecdc58c9a25 (diff) | |
eliminate downS
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 | ||