diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
| commit | 1b49cc7e377e6c16d6c5bc4cced39dc20b8c0bec (patch) | |
| tree | 79931726bcef4f09d556d588e00cd917f43b86e3 /testdata/typeclass.out | |
| parent | 05521f428c8805a693b8ad4fa5dd139eaf562362 (diff) | |
refactoring
Diffstat (limited to 'testdata/typeclass.out')
| -rw-r--r-- | testdata/typeclass.out | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out index cb227dbc..10d209d5 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out | |||
| @@ -4,9 +4,9 @@ infix 4 /= | |||
| 4 | infix 4 < | 4 | infix 4 < |
| 5 | infixr 3 && | 5 | infixr 3 && |
| 6 | infixr 2 || | 6 | infixr 2 || |
| 7 | not = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) a | 7 | not = \(a :: _) -> case'Bool \_ -> _ :: _ (_rhs True) (_rhs False) a |
| 8 | && = \(a :: _) (b :: _) -> 'BoolCase \_ -> _ :: _ (_rhs False) (_rhs b) a | 8 | && = \(a :: _) (b :: _) -> case'Bool \_ -> _ :: _ (_rhs False) (_rhs b) a |
| 9 | || = \(a :: _) (b :: _) -> 'BoolCase \_ -> _ :: _ (_rhs b) (_rhs True) a | 9 | || = \(a :: _) (b :: _) -> case'Bool \_ -> _ :: _ (_rhs b) (_rhs True) a |
| 10 | 'Eq | 10 | 'Eq |
| 11 | = (\(a :: _) -> match'Bool | 11 | = (\(a :: _) -> match'Bool |
| 12 | \_ -> _ | 12 | \_ -> _ |
| @@ -19,7 +19,7 @@ not = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) a | |||
| 19 | \_ -> _ | 19 | \_ -> _ |
| 20 | (_rhs | 20 | (_rhs |
| 21 | \(b | 21 | \(b |
| 22 | := \(c :: _) (d :: _) -> 'BoolCase \_ -> _ :: _ (_rhs (not d)) (_rhs d) c) -> b) | 22 | := \(c :: _) (d :: _) -> case'Bool \_ -> _ :: _ (_rhs (not d)) (_rhs d) c) -> b) |
| 23 | a | 23 | a |
| 24 | (_rhs undefined)) | 24 | (_rhs undefined)) |
| 25 | :: forall e . Eq e => e -> e -> Bool | 25 | :: forall e . Eq e => e -> e -> Bool |