diff options
Diffstat (limited to 'testdata/language-features/section/section01.out')
| -rw-r--r-- | testdata/language-features/section/section01.out | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testdata/language-features/section/section01.out b/testdata/language-features/section/section01.out index dd5e5093..a502f9f5 100644 --- a/testdata/language-features/section/section01.out +++ b/testdata/language-features/section/section01.out | |||
| @@ -1,8 +1,10 @@ | |||
| 1 | main is not found | ||
| 1 | ------------ desugared source code | 2 | ------------ desugared source code |
| 2 | (!@!) = \_ _ -> _rhs HNil | 3 | (!@!) = \_ _ -> _rhs HNil |
| 4 | |||
| 3 | value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b | 5 | value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b |
| 6 | |||
| 4 | value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a | 7 | value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a |
| 5 | main is not found | ||
| 6 | ------------ trace | 8 | ------------ trace |
| 7 | (!@!) :: forall a b . a -> b -> () | 9 | (!@!) :: forall a b . a -> b -> () |
| 8 | value1 :: forall a b . a -> b -> () | 10 | value1 :: forall a b . a -> b -> () |