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