summaryrefslogtreecommitdiff
path: root/testdata/listcompr03.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/listcompr03.out')
-rw-r--r--testdata/listcompr03.out216
1 files changed, 215 insertions, 1 deletions
diff --git a/testdata/listcompr03.out b/testdata/listcompr03.out
index 4791ed55..9a33c1ea 100644
--- a/testdata/listcompr03.out
+++ b/testdata/listcompr03.out
@@ -1 +1,215 @@
1True \ No newline at end of file 1main :: Bool
2main = True
3------------ desugared source code
4a :: [(Float, Float)]
5a
6 = _lhs
7 a
8 (_rhs
9 let a = _lhs _k (_rhs 1.0); b = _lhs k (_rhs ((\(c :: _) -> c) a)) in concatMap
10 (\(d :: _) -> concatMap (\(e :: _) -> [(b *! d *! e, d +! e)]) [1.0, 1.0])
11 [1.0, b])
12
13main :: Bool
14main
15 = _lhs
16 main
17 (_rhs
18 ((\(a :: _) -> case'List
19 (\(_ :: _) -> _)
20 undefined
21 (\(b :: _) (c :: _) -> hlistConsCase
22 _
23 (\(d :: _) (e :: _) -> case'Bool
24 (\(_ :: _) -> _)
25 undefined
26 (hlistConsCase
27 _
28 (\(f :: _) (g :: _) -> case'Bool
29 (\(_ :: _) -> _)
30 undefined
31 (hlistNilCase
32 _
33 (case'List
34 (\(_ :: _) -> _)
35 undefined
36 (\(h :: _) (i :: _) -> hlistConsCase
37 _
38 (\(j :: _) (k :: _) -> case'Bool
39 (\(_ :: _) -> _)
40 undefined
41 (hlistConsCase
42 _
43 (\(l :: _) (m :: _) -> case'Bool
44 (\(_ :: _) -> _)
45 undefined
46 (hlistNilCase
47 _
48 (case'List
49 (\(_ :: _) -> _)
50 undefined
51 (\(n :: _) (o :: _) -> hlistConsCase
52 _
53 (\(p :: _) (q :: _) -> case'Bool
54 (\(_ :: _) -> _)
55 undefined
56 (hlistConsCase
57 _
58 (\(r :: _) (s :: _) -> case'Bool
59 (\(_ :: _) -> _)
60 undefined
61 (hlistNilCase
62 _
63 (case'List
64 (\(_ :: _) -> _)
65 undefined
66 (\(t :: _) (u :: _) -> hlistConsCase
67 _
68 (\(v :: _) (w :: _) -> case'Bool
69 (\(_ :: _) -> _)
70 undefined
71 (hlistConsCase
72 _
73 (\(x :: _) (y :: _) -> case'Bool
74 (\(_ :: _) -> _)
75 undefined
76 (hlistNilCase
77 _
78 (case'List (\(_ :: _) -> _) True (\(_ :: _) (_ :: _) -> undefined) u)
79 y)
80 (2.0 == x))
81 w)
82 (1.0 == v))
83 t)
84 o)
85 s)
86 (2.0 == r))
87 q)
88 (1.0 == p))
89 n)
90 i)
91 m)
92 (2.0 == l))
93 k)
94 (1.0 == j))
95 h)
96 c)
97 g)
98 (2.0 == f))
99 e)
100 (1.0 == d))
101 b)
102 a)
103 a))
104------------ core code
105a :: [(Float, Float)]
106a = _rhs [(1.0, 2.0), (1.0, 2.0), (1.0, 2.0), (1.0, 2.0)]
107
108main :: Bool
109main = _rhs True
110------------ tooltips
111testdata/listcompr03.lc 1:6-1:21
112 Type
113testdata/listcompr03.lc 1:7-1:20
114 Type
115testdata/listcompr03.lc 1:8-1:13
116 Type
117testdata/listcompr03.lc 1:8-1:19
118 [Type]
119testdata/listcompr03.lc 1:14-1:19
120 Type | [Type]
121testdata/listcompr03.lc 2:1-2:2
122 [(Float, Float)]
123testdata/listcompr03.lc 2:6-2:20
124 (Float, Float) | [(Float, Float)]
125testdata/listcompr03.lc 2:6-2:63
126 [(Float, Float)]
127testdata/listcompr03.lc 2:7-2:8
128 Float
129testdata/listcompr03.lc 2:7-2:10
130 MatVecScalarElem Float -> Float
131testdata/listcompr03.lc 2:7-2:11
132 Float
133testdata/listcompr03.lc 2:7-2:13
134 MatVecScalarElem Float -> Float
135testdata/listcompr03.lc 2:7-2:14
136 Float
137testdata/listcompr03.lc 2:8-2:10
138 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
139testdata/listcompr03.lc 2:10-2:11
140 _j
141testdata/listcompr03.lc 2:11-2:13
142 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
143testdata/listcompr03.lc 2:13-2:14
144 _e
145testdata/listcompr03.lc 2:15-2:16
146 Float
147testdata/listcompr03.lc 2:15-2:18
148 MatVecScalarElem Float -> Float
149testdata/listcompr03.lc 2:15-2:19
150 Float | ((Float))
151testdata/listcompr03.lc 2:16-2:18
152 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
153testdata/listcompr03.lc 2:18-2:19
154 Float
155testdata/listcompr03.lc 2:25-2:26
156 _b | Float
157testdata/listcompr03.lc 2:29-2:32
158 Float
159testdata/listcompr03.lc 2:38-2:46
160 [Float]
161testdata/listcompr03.lc 2:39-2:42
162 Float
163testdata/listcompr03.lc 2:44-2:45
164 Float | [Float]
165testdata/listcompr03.lc 2:53-2:63
166 [Float]
167testdata/listcompr03.lc 2:54-2:57
168 Float
169testdata/listcompr03.lc 2:59-2:62
170 Float | [Float]
171testdata/listcompr03.lc 4:9-4:13
172 Type
173testdata/listcompr03.lc 5:1-5:5
174 Bool
175testdata/listcompr03.lc 5:8-6:59
176 Bool
177testdata/listcompr03.lc 5:13-5:14
178 [(Float, Float)]
179testdata/listcompr03.lc 6:55-6:59
180 Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool | Bool
181------------ warnings
182Uncovered pattern(s) at testdata/listcompr03.lc:5:13:
183main = case a of
184 ^
185Missing case(s):
186 []
187 (HCons _ _ : _) | False <- 1.0 == _b
188 (HCons _ (HCons _ _) : _) | True <- 1.0 == _b, False <- 2.0 == _b
189 [(_, _)] | True <- 1.0 == _b, True <- 2.0 == _b
190 ((_, _) : HCons _ _ : _)
191 | True <- 1.0 == _b, True <- 2.0 == _b, False <- 1.0 == _b
192 ((_, _) : HCons _ (HCons _ _) : _)
193 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, False <- 2.0 == _b
194 [(_, _), (_, _)]
195 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b
196 ((_, _) : (_, _) : HCons _ _ : _)
197 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
198 <- 2.0 == _b, False <- 1.0 == _b
199 ((_, _) : (_, _) : HCons _ (HCons _ _) : _)
200 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
201 <- 2.0 == _b, True <- 1.0 == _b, False <- 2.0 == _b
202 [(_, _), (_, _), (_, _)]
203 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
204 <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b
205 ((_, _) : (_, _) : (_, _) : HCons _ _ : _)
206 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
207 <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b, False <- 1.0 == _b
208 ((_, _) : (_, _) : (_, _) : HCons _ (HCons _ _) : _)
209 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
210 <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, False
211 <- 2.0 == _b
212 ((_, _) : (_, _) : (_, _) : (_, _) : _ : _)
213 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
214 <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
215 <- 2.0 == _b \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:23:51 +0000