summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-list/listcomp07.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-list/listcomp07.out')
-rw-r--r--testdata/language-features/basic-list/listcomp07.out4
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 @@
1main is not found
1------------ desugared source code 2------------ desugared source code
2value1 3value1
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
10value2 12value2
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
18value3 21value3
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 : []))
26main is not found
27------------ trace 29------------ trace
28value1 :: [()] 30value1 :: [()]
29value2 :: [()] 31value2 :: [()]