diff options
Diffstat (limited to 'testdata/language-features/basic-list/listcomp07.out')
-rw-r--r-- | testdata/language-features/basic-list/listcomp07.out | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out index a3e5a671..483d128f 100644 --- a/testdata/language-features/basic-list/listcomp07.out +++ b/testdata/language-features/basic-list/listcomp07.out | |||
@@ -1,3 +1,4 @@ | |||
1 | main is not found | ||
1 | ------------ desugared source code | 2 | ------------ desugared source code |
2 | value1 | 3 | value1 |
3 | = _rhs | 4 | = _rhs |
@@ -7,6 +8,7 @@ value1 | |||
7 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) | 8 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) |
8 | []) | 9 | []) |
9 | (HNil : HNil : [])) | 10 | (HNil : HNil : [])) |
11 | |||
10 | value2 | 12 | value2 |
11 | = _rhs | 13 | = _rhs |
12 | (concatMap | 14 | (concatMap |
@@ -15,6 +17,7 @@ value2 | |||
15 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) | 17 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) |
16 | []) | 18 | []) |
17 | (HNil : HNil : [])) | 19 | (HNil : HNil : [])) |
20 | |||
18 | value3 | 21 | value3 |
19 | = _rhs | 22 | = _rhs |
20 | (concatMap | 23 | (concatMap |
@@ -23,7 +26,6 @@ value3 | |||
23 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) | 26 | (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []) |
24 | []) | 27 | []) |
25 | (HNil : HNil : [])) | 28 | (HNil : HNil : [])) |
26 | main is not found | ||
27 | ------------ trace | 29 | ------------ trace |
28 | value1 :: [()] | 30 | value1 :: [()] |
29 | value2 :: [()] | 31 | value2 :: [()] |