diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
commit | 6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (patch) | |
tree | 82ed1f4401c3cf2cd4910e5f2e62d0d3a8ac6904 /testdata/language-features/section | |
parent | e061e1a91afc552fd7c3d7e5f7efb59746cc446f (diff) |
explicit lhs marks, first step
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 d99e803e..a06769e3 100644 --- a/testdata/language-features/section/section01.out +++ b/testdata/language-features/section/section01.out | |||
@@ -1,10 +1,10 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ desugared source code | 2 | ------------ desugared source code |
3 | (!@!) = \(_ :: _) (_ :: _) -> _rhs () | 3 | (!@!) = _lhs (!@!) \(_ :: _) (_ :: _) -> _rhs () |
4 | 4 | ||
5 | value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b | 5 | value1 = _lhs value1 \(a :: _) -> _rhs \(b :: _) -> a !@! b |
6 | 6 | ||
7 | 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 | !@! = \_ _ _ _ -> _rhs () |