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/language-features/section | |
| parent | 95e006bf5afa8d3473e3fe4401f4c9316186a428 (diff) | |
mutual function definitions
Diffstat (limited to 'testdata/language-features/section')
| -rw-r--r-- | testdata/language-features/section/section01.out | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testdata/language-features/section/section01.out b/testdata/language-features/section/section01.out index a06769e3..0252cce5 100644 --- a/testdata/language-features/section/section01.out +++ b/testdata/language-features/section/section01.out | |||
| @@ -7,13 +7,13 @@ value1 = _lhs value1 \(a :: _) -> _rhs \(b :: _) -> a !@! b | |||
| 7 | value2 = _lhs value2 \(a :: _) -> _rhs \(b :: _) -> b !@! a | 7 | value2 = _lhs value2 \(a :: _) -> _rhs \(b :: _) -> b !@! a |
| 8 | ------------ core code | 8 | ------------ core code |
| 9 | !@! :: forall a b . a -> b -> () | 9 | !@! :: forall a b . a -> b -> () |
| 10 | !@! = \_ _ _ _ -> _rhs () | 10 | !@! = \a b _ _ -> _rhs () |
| 11 | 11 | ||
| 12 | value1 :: forall a b . a -> b -> () | 12 | value1 :: forall a b . a -> b -> () |
| 13 | value1 = \a b c -> _rhs \d -> () | 13 | value1 = \a b c -> _rhs \d -> c !@! d |
| 14 | 14 | ||
| 15 | value2 :: forall a b . a -> b -> () | 15 | value2 :: forall a b . a -> b -> () |
| 16 | value2 = \a b c -> _rhs \d -> () | 16 | value2 = \a b c -> _rhs \d -> d !@! c |
| 17 | ------------ tooltips | 17 | ------------ tooltips |
| 18 | testdata/language-features/section/section01.lc 1:3-1:6 | 18 | testdata/language-features/section/section01.lc 1:3-1:6 |
| 19 | forall a b . a -> b -> () | 19 | forall a b . a -> b -> () |