summaryrefslogtreecommitdiff
path: root/testdata/listcompr02.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-10 23:19:47 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-10 23:20:23 +0200
commit95e006bf5afa8d3473e3fe4401f4c9316186a428 (patch)
tree7635fda3305339173988296051acc5a77dbb746f /testdata/listcompr02.out
parent6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (diff)
include info in more .out files; fix parsing of as-patterns
Diffstat (limited to 'testdata/listcompr02.out')
-rw-r--r--testdata/listcompr02.out206
1 files changed, 205 insertions, 1 deletions
diff --git a/testdata/listcompr02.out b/testdata/listcompr02.out
index 4791ed55..88460fca 100644
--- a/testdata/listcompr02.out
+++ b/testdata/listcompr02.out
@@ -1 +1,205 @@
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 (concatMap
10 (\(a :: _) -> concatMap (\(b :: _) -> [(a *! b, a +! b)]) [1.0, 1.0])
11 [1.0, 1.0]))
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/listcompr02.lc 1:6-1:21
112 Type
113testdata/listcompr02.lc 1:7-1:20
114 Type
115testdata/listcompr02.lc 1:8-1:13
116 Type
117testdata/listcompr02.lc 1:8-1:19
118 [Type]
119testdata/listcompr02.lc 1:14-1:19
120 Type | [Type]
121testdata/listcompr02.lc 2:1-2:2
122 [(Float, Float)]
123testdata/listcompr02.lc 2:5-2:51
124 [(Float, Float)]
125testdata/listcompr02.lc 2:6-2:17
126 (_g, _g) | [(_e, _e)]
127testdata/listcompr02.lc 2:6-2:50
128 [(_d, _d)]
129testdata/listcompr02.lc 2:7-2:8
130 _k
131testdata/listcompr02.lc 2:7-2:10
132 MatVecScalarElem _j -> _j
133testdata/listcompr02.lc 2:7-2:11
134 _h
135testdata/listcompr02.lc 2:8-2:10
136 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
137testdata/listcompr02.lc 2:10-2:11
138 _f
139testdata/listcompr02.lc 2:12-2:13
140 _k
141testdata/listcompr02.lc 2:12-2:15
142 MatVecScalarElem _j -> _j
143testdata/listcompr02.lc 2:12-2:16
144 _i | ((_g))
145testdata/listcompr02.lc 2:13-2:15
146 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
147testdata/listcompr02.lc 2:15-2:16
148 MatVecScalarElem _i
149testdata/listcompr02.lc 2:23-2:33
150 [Float]
151testdata/listcompr02.lc 2:24-2:27
152 Float
153testdata/listcompr02.lc 2:29-2:32
154 Float | [Float]
155testdata/listcompr02.lc 2:40-2:50
156 [Float]
157testdata/listcompr02.lc 2:41-2:44
158 Float
159testdata/listcompr02.lc 2:46-2:49
160 Float | [Float]
161testdata/listcompr02.lc 4:9-4:13
162 Type
163testdata/listcompr02.lc 5:1-5:5
164 Bool
165testdata/listcompr02.lc 5:8-6:59
166 Bool
167testdata/listcompr02.lc 5:13-5:14
168 [(Float, Float)]
169testdata/listcompr02.lc 6:55-6:59
170 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
171------------ warnings
172Uncovered pattern(s) at testdata/listcompr02.lc:5:13:
173main = case a of
174 ^
175Missing case(s):
176 []
177 (HCons _ _ : _) | False <- 1.0 == _b
178 (HCons _ (HCons _ _) : _) | True <- 1.0 == _b, False <- 2.0 == _b
179 [(_, _)] | True <- 1.0 == _b, True <- 2.0 == _b
180 ((_, _) : HCons _ _ : _)
181 | True <- 1.0 == _b, True <- 2.0 == _b, False <- 1.0 == _b
182 ((_, _) : HCons _ (HCons _ _) : _)
183 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, False <- 2.0 == _b
184 [(_, _), (_, _)]
185 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b
186 ((_, _) : (_, _) : HCons _ _ : _)
187 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
188 <- 2.0 == _b, False <- 1.0 == _b
189 ((_, _) : (_, _) : HCons _ (HCons _ _) : _)
190 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
191 <- 2.0 == _b, True <- 1.0 == _b, False <- 2.0 == _b
192 [(_, _), (_, _), (_, _)]
193 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
194 <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b
195 ((_, _) : (_, _) : (_, _) : HCons _ _ : _)
196 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
197 <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b, False <- 1.0 == _b
198 ((_, _) : (_, _) : (_, _) : HCons _ (HCons _ _) : _)
199 | True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, True
200 <- 2.0 == _b, True <- 1.0 == _b, True <- 2.0 == _b, True <- 1.0 == _b, False
201 <- 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, True <- 1.0 == _b, True
205 <- 2.0 == _b \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:27:22 +0000