summaryrefslogtreecommitdiff
path: root/testdata/record02.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-12 23:55:35 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-12 23:55:35 +0200
commit7310e4916b8ee7d96db0e64e75ab98499a826674 (patch)
treefbcb77a6383a15598a924714abcf97c71b73e1ac /testdata/record02.out
parent67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff)
don't show module path
Diffstat (limited to 'testdata/record02.out')
-rw-r--r--testdata/record02.out172
1 files changed, 86 insertions, 86 deletions
diff --git a/testdata/record02.out b/testdata/record02.out
index 7ae0ead7..037921f0 100644
--- a/testdata/record02.out
+++ b/testdata/record02.out
@@ -116,67 +116,67 @@ z
116 c 116 c
117 (project ('RecordC b) d "c" e (project ('RecordC d) f "x" g (h v3)))) 117 (project ('RecordC b) d "c" e (project ('RecordC d) f "x" g (h v3))))
118------------ tooltips 118------------ tooltips
119testdata/record02.lc 1:1-1:3 119record02.lc 1:1-1:3
120 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float] 120 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]
121testdata/record02.lc 1:6-1:19 121record02.lc 1:6-1:19
122 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float] 122 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]
123testdata/record02.lc 1:7-1:8 123record02.lc 1:7-1:8
124 String | RecItem 124 String | RecItem
125testdata/record02.lc 1:7-1:14 125record02.lc 1:7-1:14
126 [RecItem] 126 [RecItem]
127testdata/record02.lc 1:9-1:12 127record02.lc 1:9-1:12
128 Float 128 Float
129testdata/record02.lc 1:9-1:18 129record02.lc 1:9-1:18
130 HList (Float : recItemType ('RecItem "y" Float) : map recItemType ' []) 130 HList (Float : recItemType ('RecItem "y" Float) : map recItemType ' [])
131testdata/record02.lc 1:13-1:14 131record02.lc 1:13-1:14
132 String | RecItem | [RecItem] 132 String | RecItem | [RecItem]
133testdata/record02.lc 1:15-1:18 133record02.lc 1:15-1:18
134 Float | ((Float)) 134 Float | ((Float))
135testdata/record02.lc 2:1-2:3 135record02.lc 2:1-2:3
136 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float] 136 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float]
137testdata/record02.lc 2:6-2:26 137record02.lc 2:6-2:26
138 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float] 138 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float]
139testdata/record02.lc 2:7-2:8 139record02.lc 2:7-2:8
140 String | RecItem 140 String | RecItem
141testdata/record02.lc 2:7-2:20 141record02.lc 2:7-2:20
142 [RecItem] 142 [RecItem]
143testdata/record02.lc 2:9-2:12 143record02.lc 2:9-2:12
144 Float 144 Float
145testdata/record02.lc 2:9-2:25 145record02.lc 2:9-2:25
146 HList 146 HList
147 (Float 147 (Float
148 : recItemType ('RecItem "y" Float) : map recItemType ' ['RecItem "z" Float]) 148 : recItemType ('RecItem "y" Float) : map recItemType ' ['RecItem "z" Float])
149testdata/record02.lc 2:13-2:14 149record02.lc 2:13-2:14
150 String | RecItem 150 String | RecItem
151testdata/record02.lc 2:13-2:20 151record02.lc 2:13-2:20
152 [RecItem] 152 [RecItem]
153testdata/record02.lc 2:15-2:18 153record02.lc 2:15-2:18
154 Float 154 Float
155testdata/record02.lc 2:15-2:25 155record02.lc 2:15-2:25
156 HList (Float : recItemType ('RecItem "z" Float) : map recItemType ' []) 156 HList (Float : recItemType ('RecItem "z" Float) : map recItemType ' [])
157testdata/record02.lc 2:19-2:20 157record02.lc 2:19-2:20
158 String | RecItem | [RecItem] 158 String | RecItem | [RecItem]
159testdata/record02.lc 2:21-2:25 159record02.lc 2:21-2:25
160 Float | ((Float)) 160 Float | ((Float))
161testdata/record02.lc 3:1-3:3 161record02.lc 3:1-3:3
162 RecordC 162 RecordC
163 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]) 163 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float])
164 , 'RecItem 164 , 'RecItem
165 "v2" 165 "v2"
166 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])] 166 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])]
167testdata/record02.lc 3:6-3:20 167record02.lc 3:6-3:20
168 RecordC 168 RecordC
169 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]) 169 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float])
170 , 'RecItem 170 , 'RecItem
171 "v2" 171 "v2"
172 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])] 172 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])]
173testdata/record02.lc 3:7-3:9 173record02.lc 3:7-3:9
174 String | RecItem 174 String | RecItem
175testdata/record02.lc 3:7-3:16 175record02.lc 3:7-3:16
176 [RecItem] 176 [RecItem]
177testdata/record02.lc 3:10-3:12 177record02.lc 3:10-3:12
178 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float] 178 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]
179testdata/record02.lc 3:10-3:19 179record02.lc 3:10-3:19
180 HList 180 HList
181 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float] 181 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]
182 : recItemType 182 : recItemType
@@ -184,36 +184,36 @@ testdata/record02.lc 3:10-3:19
184 "v2" 184 "v2"
185 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])) 185 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float]))
186 : map recItemType ' []) 186 : map recItemType ' [])
187testdata/record02.lc 3:14-3:16 187record02.lc 3:14-3:16
188 String | RecItem | [RecItem] 188 String | RecItem | [RecItem]
189testdata/record02.lc 3:17-3:19 189record02.lc 3:17-3:19
190 RecordC 190 RecordC
191 ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float] | ((RecordC 191 ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float] | ((RecordC
192 ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])) 192 ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float]))
193testdata/record02.lc 4:1-4:2 193record02.lc 4:1-4:2
194 forall a 194 forall a
195 . Num (MatVecScalarElem a) 195 . Num (MatVecScalarElem a)
196 => forall (b :: [RecItem]) 196 => forall (b :: [RecItem])
197 . (isKeyC "x" a b, isKeyC "y" (MatVecScalarElem a) b) => RecordC b -> a 197 . (isKeyC "x" a b, isKeyC "y" (MatVecScalarElem a) b) => RecordC b -> a
198testdata/record02.lc 4:7-4:8 198record02.lc 4:7-4:8
199 _g 199 _g
200testdata/record02.lc 4:7-4:10 200record02.lc 4:7-4:10
201 _c 201 _c
202testdata/record02.lc 4:7-4:13 202record02.lc 4:7-4:13
203 MatVecScalarElem _d -> _d 203 MatVecScalarElem _d -> _d
204testdata/record02.lc 4:7-4:17 204record02.lc 4:7-4:17
205 _e 205 _e
206testdata/record02.lc 4:9-4:10 206record02.lc 4:9-4:10
207 String 207 String
208testdata/record02.lc 4:11-4:13 208record02.lc 4:11-4:13
209 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a 209 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
210testdata/record02.lc 4:14-4:15 210record02.lc 4:14-4:15
211 RecordC _e 211 RecordC _e
212testdata/record02.lc 4:14-4:17 212record02.lc 4:14-4:17
213 _b 213 _b
214testdata/record02.lc 4:16-4:17 214record02.lc 4:16-4:17
215 String 215 String
216testdata/record02.lc 5:1-5:2 216record02.lc 5:1-5:2
217 forall a 217 forall a
218 . Num (MatVecScalarElem a) 218 . Num (MatVecScalarElem a)
219 => forall (b :: [RecItem]) 219 => forall (b :: [RecItem])
@@ -223,33 +223,33 @@ testdata/record02.lc 5:1-5:2
223 => forall (d :: [RecItem]) 223 => forall (d :: [RecItem])
224 . (isKeyC "z" (MatVecScalarElem a) d, isKeyC "v2" (RecordC d) c) 224 . (isKeyC "z" (MatVecScalarElem a) d, isKeyC "v2" (RecordC d) c)
225 => RecordC c -> a 225 => RecordC c -> a
226testdata/record02.lc 5:7-5:8 226record02.lc 5:7-5:8
227 _j 227 _j
228testdata/record02.lc 5:7-5:11 228record02.lc 5:7-5:11
229 _c 229 _c
230testdata/record02.lc 5:7-5:13 230record02.lc 5:7-5:13
231 _e 231 _e
232testdata/record02.lc 5:7-5:16 232record02.lc 5:7-5:16
233 MatVecScalarElem _f -> _f 233 MatVecScalarElem _f -> _f
234testdata/record02.lc 5:7-5:23 234record02.lc 5:7-5:23
235 _i 235 _i
236testdata/record02.lc 5:9-5:11 236record02.lc 5:9-5:11
237 String 237 String
238testdata/record02.lc 5:12-5:13 238record02.lc 5:12-5:13
239 String 239 String
240testdata/record02.lc 5:14-5:16 240record02.lc 5:14-5:16
241 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a 241 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
242testdata/record02.lc 5:17-5:18 242record02.lc 5:17-5:18
243 RecordC _h 243 RecordC _h
244testdata/record02.lc 5:17-5:21 244record02.lc 5:17-5:21
245 _b 245 _b
246testdata/record02.lc 5:17-5:23 246record02.lc 5:17-5:23
247 _d 247 _d
248testdata/record02.lc 5:19-5:21 248record02.lc 5:19-5:21
249 String 249 String
250testdata/record02.lc 5:22-5:23 250record02.lc 5:22-5:23
251 String 251 String
252testdata/record02.lc 7:1-7:2 252record02.lc 7:1-7:2
253 forall a (b :: [RecItem]) 253 forall a (b :: [RecItem])
254 . isKeyC "x" a b 254 . isKeyC "x" a b
255 => (RecordC 255 => (RecordC
@@ -259,19 +259,19 @@ testdata/record02.lc 7:1-7:2
259 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])] 259 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])]
260 -> RecordC b) 260 -> RecordC b)
261 -> a 261 -> a
262testdata/record02.lc 7:7-7:15 262record02.lc 7:7-7:15
263 _c 263 _c
264testdata/record02.lc 7:8-7:9 264record02.lc 7:8-7:9
265 _e 265 _e
266testdata/record02.lc 7:10-7:12 266record02.lc 7:10-7:12
267 RecordC 267 RecordC
268 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]) 268 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float])
269 , 'RecItem 269 , 'RecItem
270 "v2" 270 "v2"
271 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])] 271 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])]
272testdata/record02.lc 7:14-7:15 272record02.lc 7:14-7:15
273 String 273 String
274testdata/record02.lc 8:1-8:2 274record02.lc 8:1-8:2
275 forall a (b :: [RecItem]) 275 forall a (b :: [RecItem])
276 . isKeyC "v" a b 276 . isKeyC "v" a b
277 => forall (c :: [RecItem]) 277 => forall (c :: [RecItem])
@@ -285,61 +285,61 @@ testdata/record02.lc 8:1-8:2
285 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])] 285 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])]
286 -> RecordC d) 286 -> RecordC d)
287 -> a 287 -> a
288testdata/record02.lc 8:7-8:19 288record02.lc 8:7-8:19
289 _g 289 _g
290testdata/record02.lc 8:8-8:9 290record02.lc 8:8-8:9
291 _k 291 _k
292testdata/record02.lc 8:8-8:15 292record02.lc 8:8-8:15
293 _c 293 _c
294testdata/record02.lc 8:8-8:17 294record02.lc 8:8-8:17
295 _e 295 _e
296testdata/record02.lc 8:10-8:12 296record02.lc 8:10-8:12
297 RecordC 297 RecordC
298 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]) 298 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float])
299 , 'RecItem 299 , 'RecItem
300 "v2" 300 "v2"
301 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])] 301 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])]
302testdata/record02.lc 8:14-8:15 302record02.lc 8:14-8:15
303 String 303 String
304testdata/record02.lc 8:16-8:17 304record02.lc 8:16-8:17
305 String 305 String
306testdata/record02.lc 8:18-8:19 306record02.lc 8:18-8:19
307 String 307 String
308testdata/record02.lc 10:1-10:5 308record02.lc 10:1-10:5
309 Bool 309 Bool
310testdata/record02.lc 10:8-12:15 310record02.lc 10:8-12:15
311 Bool 311 Bool
312testdata/record02.lc 10:13-10:14 312record02.lc 10:13-10:14
313 forall a 313 forall a
314 . Num (MatVecScalarElem a) 314 . Num (MatVecScalarElem a)
315 => forall (b :: [RecItem]) 315 => forall (b :: [RecItem])
316 . (isKeyC "x" a b, isKeyC "y" (MatVecScalarElem a) b) => RecordC b -> a 316 . (isKeyC "x" a b, isKeyC "y" (MatVecScalarElem a) b) => RecordC b -> a
317testdata/record02.lc 10:13-10:17 317record02.lc 10:13-10:17
318 _d 318 _d
319testdata/record02.lc 10:13-10:20 319record02.lc 10:13-10:20
320 MatVecScalarElem Float -> Float 320 MatVecScalarElem Float -> Float
321testdata/record02.lc 10:13-10:25 321record02.lc 10:13-10:25
322 Float 322 Float
323testdata/record02.lc 10:13-10:28 323record02.lc 10:13-10:28
324 MatVecScalarElem Float -> Float 324 MatVecScalarElem Float -> Float
325testdata/record02.lc 10:13-10:33 325record02.lc 10:13-10:33
326 Float 326 Float
327testdata/record02.lc 10:15-10:17 327record02.lc 10:15-10:17
328 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float] 328 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]
329testdata/record02.lc 10:18-10:20 329record02.lc 10:18-10:20
330 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a 330 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
331testdata/record02.lc 10:21-10:22 331record02.lc 10:21-10:22
332 forall a 332 forall a
333 . Num (MatVecScalarElem a) 333 . Num (MatVecScalarElem a)
334 => forall (b :: [RecItem]) 334 => forall (b :: [RecItem])
335 . (isKeyC "x" a b, isKeyC "y" (MatVecScalarElem a) b) => RecordC b -> a 335 . (isKeyC "x" a b, isKeyC "y" (MatVecScalarElem a) b) => RecordC b -> a
336testdata/record02.lc 10:21-10:25 336record02.lc 10:21-10:25
337 _d 337 _d
338testdata/record02.lc 10:23-10:25 338record02.lc 10:23-10:25
339 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float] 339 RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float]
340testdata/record02.lc 10:26-10:28 340record02.lc 10:26-10:28
341 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a 341 forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
342testdata/record02.lc 10:29-10:30 342record02.lc 10:29-10:30
343 forall a 343 forall a
344 . Num (MatVecScalarElem a) 344 . Num (MatVecScalarElem a)
345 => forall (b :: [RecItem]) 345 => forall (b :: [RecItem])
@@ -349,17 +349,17 @@ testdata/record02.lc 10:29-10:30
349 => forall (d :: [RecItem]) 349 => forall (d :: [RecItem])
350 . (isKeyC "z" (MatVecScalarElem a) d, isKeyC "v2" (RecordC d) c) 350 . (isKeyC "z" (MatVecScalarElem a) d, isKeyC "v2" (RecordC d) c)
351 => RecordC c -> a 351 => RecordC c -> a
352testdata/record02.lc 10:29-10:33 352record02.lc 10:29-10:33
353 _h 353 _h
354testdata/record02.lc 10:31-10:33 354record02.lc 10:31-10:33
355 RecordC 355 RecordC
356 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float]) 356 ' ['RecItem "v1" (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float])
357 , 'RecItem 357 , 'RecItem
358 "v2" 358 "v2"
359 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])] 359 (RecordC ' ['RecItem "x" Float, 'RecItem "y" Float, 'RecItem "z" Float])]
360testdata/record02.lc 11:13-11:17 360record02.lc 11:13-11:17
361 Bool 361 Bool
362testdata/record02.lc 11:13-12:15 362record02.lc 11:13-12:15
363 Bool -> Bool 363 Bool -> Bool
364testdata/record02.lc 12:10-12:15 364record02.lc 12:10-12:15
365 Bool \ No newline at end of file 365 Bool \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:31:19 +0000