diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-11 20:57:07 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-12 00:50:34 +0200 |
| commit | e4725c07ee3e7e3fc010df418d16f37c39b0af0f (patch) | |
| tree | cb10e1d1203eed875955097311ccbe0943564226 /testdata/let.out | |
| parent | 95e006bf5afa8d3473e3fe4401f4c9316186a428 (diff) | |
mutual function definitions
Diffstat (limited to 'testdata/let.out')
| -rw-r--r-- | testdata/let.out | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testdata/let.out b/testdata/let.out index a3809ea8..3a5eb302 100644 --- a/testdata/let.out +++ b/testdata/let.out | |||
| @@ -2,13 +2,13 @@ main is not found | |||
| 2 | ------------ desugared source code | 2 | ------------ desugared source code |
| 3 | id = _lhs id \(a :: _) -> _rhs a | 3 | id = _lhs id \(a :: _) -> _rhs a |
| 4 | 4 | ||
| 5 | f = _lhs f \(a :: _) -> _rhs let b = _lhs y (_rhs (id a)) in b | 5 | f = _lhs f \(a :: _) -> _rhs let b = id a in b |
| 6 | ------------ core code | 6 | ------------ core code |
| 7 | f :: forall a . a -> a | 7 | f :: forall a . a -> a |
| 8 | f = \_ a -> _rhs a | 8 | f = \a b -> _rhs b |
| 9 | 9 | ||
| 10 | id :: forall a . a -> a | 10 | id :: forall a . a -> a |
| 11 | id = \_ a -> _rhs a | 11 | id = \a b -> _rhs b |
| 12 | ------------ tooltips | 12 | ------------ tooltips |
| 13 | testdata/let.lc 4:1-4:3 | 13 | testdata/let.lc 4:1-4:3 |
| 14 | forall a . a -> a | 14 | forall a . a -> a |