diff options
Diffstat (limited to 'testdata/language-features/basic-values/case01.out')
-rw-r--r-- | testdata/language-features/basic-values/case01.out | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/testdata/language-features/basic-values/case01.out b/testdata/language-features/basic-values/case01.out index 8b4334e6..7a952e7a 100644 --- a/testdata/language-features/basic-values/case01.out +++ b/testdata/language-features/basic-values/case01.out | |||
@@ -1,11 +1,16 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 3 | value1 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
4 | |||
3 | value2 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 5 | value2 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
6 | |||
4 | value3 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 7 | value3 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
8 | |||
5 | value4 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 9 | value4 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
10 | |||
6 | value5 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) | 11 | value5 = _rhs ((\(a :: _) -> hlistNilCase _ HNil a) HNil) |
12 | |||
7 | value6 = _rhs ((\_ -> HNil) HNil) | 13 | value6 = _rhs ((\_ -> HNil) HNil) |
8 | main is not found | ||
9 | ------------ trace | 14 | ------------ trace |
10 | value1 :: () | 15 | value1 :: () |
11 | value2 :: () | 16 | value2 :: () |