blob: 617c9b61f639723767e7c65185158feca09fc014 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
------------ desugared source code
value1
= _rhs
(concatMap
\_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
True
\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> Cons b Nil
Nil
(Cons HNil (Cons HNil Nil)))
value2
= _rhs
(concatMap
\_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
True
\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> Cons b Nil
Nil
(Cons HNil (Cons HNil Nil)))
value3
= _rhs
(concatMap
\_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
True
\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> Cons b Nil
Nil
(Cons HNil (Cons HNil Nil)))
main is not found
------------ trace
value1 :: List ()
value2 :: List ()
value3 :: List ()
------------ tooltips
testdata/language-features/basic-list/listcomp07.lc 1:1-1:7
List ()
testdata/language-features/basic-list/listcomp07.lc 1:10-6:11
List ()
testdata/language-features/basic-list/listcomp07.lc 1:12-1:13
()
testdata/language-features/basic-list/listcomp07.lc 2:17-2:24
List ()
testdata/language-features/basic-list/listcomp07.lc 2:18-2:20
()
testdata/language-features/basic-list/listcomp07.lc 2:21-2:23
() | List ()
testdata/language-features/basic-list/listcomp07.lc 3:16-3:17
_b | ()
testdata/language-features/basic-list/listcomp07.lc 3:20-3:22
()
testdata/language-features/basic-list/listcomp07.lc 4:12-4:16
Bool
testdata/language-features/basic-list/listcomp07.lc 5:16-5:17
_b | ()
testdata/language-features/basic-list/listcomp07.lc 5:20-5:21
()
testdata/language-features/basic-list/listcomp07.lc 8:1-8:7
List ()
testdata/language-features/basic-list/listcomp07.lc 8:10-12:11
List ()
testdata/language-features/basic-list/listcomp07.lc 8:12-8:13
()
testdata/language-features/basic-list/listcomp07.lc 8:21-8:28
List ()
testdata/language-features/basic-list/listcomp07.lc 8:22-8:24
()
testdata/language-features/basic-list/listcomp07.lc 8:25-8:27
() | List ()
testdata/language-features/basic-list/listcomp07.lc 9:16-9:17
_b | ()
testdata/language-features/basic-list/listcomp07.lc 9:20-9:22
()
testdata/language-features/basic-list/listcomp07.lc 10:12-10:16
Bool
testdata/language-features/basic-list/listcomp07.lc 11:16-11:17
_b | ()
testdata/language-features/basic-list/listcomp07.lc 11:20-11:21
()
testdata/language-features/basic-list/listcomp07.lc 14:1-14:7
List ()
testdata/language-features/basic-list/listcomp07.lc 14:10-20:3
List ()
testdata/language-features/basic-list/listcomp07.lc 14:12-14:13
()
testdata/language-features/basic-list/listcomp07.lc 15:15-15:22
List ()
testdata/language-features/basic-list/listcomp07.lc 15:16-15:18
()
testdata/language-features/basic-list/listcomp07.lc 15:19-15:21
() | List ()
testdata/language-features/basic-list/listcomp07.lc 17:2-17:3
_b | ()
testdata/language-features/basic-list/listcomp07.lc 17:6-17:8
()
testdata/language-features/basic-list/listcomp07.lc 18:7-18:11
Bool
testdata/language-features/basic-list/listcomp07.lc 19:10-19:11
_b | ()
testdata/language-features/basic-list/listcomp07.lc 19:14-19:15
()
|