summaryrefslogtreecommitdiff
path: root/testdata/data.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:03 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:17 +0200
commit8f2e602cada9141b653802cf1084b9bdfd6e0d06 (patch)
treec1351e9fcb0341af482f8da4a8859e2046445188 /testdata/data.out
parent8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff)
refactoring & fix build
Diffstat (limited to 'testdata/data.out')
-rw-r--r--testdata/data.out120
1 files changed, 60 insertions, 60 deletions
diff --git a/testdata/data.out b/testdata/data.out
index 8399c1f4..cf3a735e 100644
--- a/testdata/data.out
+++ b/testdata/data.out
@@ -202,154 +202,154 @@ y
202 (_rhs (undefined 'Int)) 202 (_rhs (undefined 'Int))
203 a 203 a
204------------ tooltips 204------------ tooltips
205data.lc 1:6-1:11 2051:6-1:11
206 Type | Type | Type | Type | Type 206 Type | Type | Type | Type | Type
207data.lc 1:6-1:19 2071:6-1:19
208 Type 208 Type
209data.lc 1:14-1:19 2091:14-1:19
210 Data0 210 Data0
211data.lc 3:6-3:11 2113:6-3:11
212 Type -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type 212 Type -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type
213 -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type 213 -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type
214data.lc 3:6-3:13 2143:6-3:13
215 Type -> Type -> Type 215 Type -> Type -> Type
216data.lc 3:6-3:15 2163:6-3:15
217 Type -> Type 217 Type -> Type
218data.lc 3:6-3:17 2183:6-3:17
219 Type | Type 219 Type | Type
220data.lc 3:6-3:25 2203:6-3:25
221 Type | Type | Type | Type 221 Type | Type | Type | Type
222data.lc 3:6-3:31 2223:6-3:31
223 Type | Type | Type | Type | Type 223 Type | Type | Type | Type | Type
224data.lc 3:12-3:13 2243:12-3:13
225 Type 225 Type
226data.lc 3:14-3:15 2263:14-3:15
227 Type 227 Type
228data.lc 3:16-3:17 2283:16-3:17
229 Type 229 Type
230data.lc 3:20-3:25 2303:20-3:25
231 forall a b c . a -> b -> c -> Data1 a b c | Data1 231 forall a b c . a -> b -> c -> Data1 a b c | Data1
232 _g 232 _g
233 _f 233 _f
234 _e | Type | Type | Type | Type 234 _e | Type | Type | Type | Type
235data.lc 3:26-3:27 2353:26-3:27
236 Type 236 Type
237data.lc 3:28-3:29 2373:28-3:29
238 Type 238 Type
239data.lc 3:30-3:31 2393:30-3:31
240 Type 240 Type
241data.lc 5:6-5:11 2415:6-5:11
242 Type | Type | Type | Type | Type | Type | Type | Type | Type | Type | Type 242 Type | Type | Type | Type | Type | Type | Type | Type | Type | Type | Type
243data.lc 5:6-6:39 2435:6-6:39
244 Type 244 Type
245data.lc 5:6-8:20 2455:6-8:20
246 Type | Type | Type | Type 246 Type | Type | Type | Type
247data.lc 5:14-5:20 2475:14-5:20
248 Int -> Data2 | Data2 | Type | Type 248 Int -> Data2 | Data2 | Type | Type
249data.lc 5:21-5:24 2495:21-5:24
250 Type 250 Type
251data.lc 6:14-6:20 2516:14-6:20
252 Int -> Int -> Data2 | Data2 | Type | Type | Type 252 Int -> Int -> Data2 | Data2 | Type | Type | Type
253data.lc 6:23-6:24 2536:23-6:24
254 Data2 -> Int 254 Data2 -> Int
255data.lc 6:28-6:31 2556:28-6:31
256 Type 256 Type
257data.lc 6:33-6:34 2576:33-6:34
258 Data2 -> Int 258 Data2 -> Int
259data.lc 6:36-6:39 2596:36-6:39
260 Type 260 Type
261data.lc 7:14-7:20 2617:14-7:20
262 Int -> Data2 | Data2 | Type | Type 262 Int -> Data2 | Data2 | Type | Type
263data.lc 7:28-7:31 2637:28-7:31
264 Type 264 Type
265data.lc 8:14-8:20 2658:14-8:20
266 Data2 266 Data2
267data.lc 10:6-10:11 26710:6-10:11
268 Type -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type 268 Type -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type
269 -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type 269 -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type
270 -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type 270 -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type
271data.lc 10:6-10:14 27110:6-10:14
272 Type -> Type -> Type | Type -> Type -> Type | Type -> Type -> Type 272 Type -> Type -> Type | Type -> Type -> Type | Type -> Type -> Type
273data.lc 10:6-10:17 27310:6-10:17
274 Type -> Type | Type -> Type | Type -> Type 274 Type -> Type | Type -> Type | Type -> Type
275data.lc 10:6-10:20 27510:6-10:20
276 Type | Type | Type | Type | Type | Type 276 Type | Type | Type | Type | Type | Type
277data.lc 10:6-10:38 27710:6-10:38
278 Type | Type | Type 278 Type | Type | Type
279data.lc 10:6-11:54 27910:6-11:54
280 Type | Type | Type | Type | Type 280 Type | Type | Type | Type | Type
281data.lc 10:6-12:29 28110:6-12:29
282 Type | Type | Type | Type | Type | Type 282 Type | Type | Type | Type | Type | Type
283data.lc 10:6-12:48 28310:6-12:48
284 Type | Type | Type | Type | Type | Type | Type 284 Type | Type | Type | Type | Type | Type | Type
285data.lc 10:12-10:14 28510:12-10:14
286 Type | Type | Type 286 Type | Type | Type
287data.lc 10:15-10:17 28710:15-10:17
288 Type | Type | Type 288 Type | Type | Type
289data.lc 10:18-10:20 28910:18-10:20
290 Type | Type | Type 290 Type | Type | Type
291data.lc 10:23-10:29 29110:23-10:29
292 forall a b c . a -> Data5 a b c | Data5 _e _d _c | Type | Type 292 forall a b c . a -> Data5 a b c | Data5 _e _d _c | Type | Type
293data.lc 10:32-10:34 29310:32-10:34
294 forall a b c . Data5 a b c -> a 294 forall a b c . Data5 a b c -> a
295data.lc 10:36-10:38 29510:36-10:38
296 Type 296 Type
297data.lc 11:23-11:29 29711:23-11:29
298 forall a b c . a -> b -> c -> Data5 a b c | Data5 298 forall a b c . a -> b -> c -> Data5 a b c | Data5
299 _h 299 _h
300 _g 300 _g
301 _f | Type | Type | Type | Type 301 _f | Type | Type | Type | Type
302data.lc 11:36-11:38 30211:36-11:38
303 Type 303 Type
304data.lc 11:40-11:42 30411:40-11:42
305 forall a b c . Data5 a b c -> b 305 forall a b c . Data5 a b c -> b
306data.lc 11:44-11:46 30611:44-11:46
307 Type 307 Type
308data.lc 11:48-11:50 30811:48-11:50
309 forall a b c . Data5 a b c -> c 309 forall a b c . Data5 a b c -> c
310data.lc 11:52-11:54 31011:52-11:54
311 Type 311 Type
312data.lc 12:23-12:29 31212:23-12:29
313 forall a b c . Int -> a -> Float -> b -> c -> Data5 a b c | Data5 313 forall a b c . Int -> a -> Float -> b -> c -> Data5 a b c | Data5
314 _k 314 _k
315 _j 315 _j
316 _i | Type | Type | Type | Type | Type | Type 316 _i | Type | Type | Type | Type | Type | Type
317data.lc 12:30-12:33 31712:30-12:33
318 Type 318 Type
319data.lc 12:34-12:36 31912:34-12:36
320 Type 320 Type
321data.lc 12:37-12:42 32112:37-12:42
322 Type 322 Type
323data.lc 12:43-12:45 32312:43-12:45
324 Type 324 Type
325data.lc 12:46-12:48 32512:46-12:48
326 Type 326 Type
327------------ warnings 327------------ warnings
328Uncovered pattern(s) at data.lc:6:23: 328Uncovered pattern(s) at ./testdata/data.lc:6:23:
329 | Data22 { x :: Int, y::Int } 329 | Data22 { x :: Int, y::Int }
330 ^ 330 ^
331Missing case(s): 331Missing case(s):
332 x (Data21 _) 332 x (Data21 _)
333 x Data24 333 x Data24
334Uncovered pattern(s) at data.lc:6:33: 334Uncovered pattern(s) at ./testdata/data.lc:6:33:
335 | Data22 { x :: Int, y::Int } 335 | Data22 { x :: Int, y::Int }
336 ^ 336 ^
337Missing case(s): 337Missing case(s):
338 y (Data21 _) 338 y (Data21 _)
339 y (Data23 _) 339 y (Data23 _)
340 y Data24 340 y Data24
341Uncovered pattern(s) at data.lc:10:32: 341Uncovered pattern(s) at ./testdata/data.lc:10:32:
342data Data5 a5 b5 c5 = Data51 { a5::a5} 342data Data5 a5 b5 c5 = Data51 { a5::a5}
343 ^^ 343 ^^
344Missing case(s): 344Missing case(s):
345 a5 (Data53 _ _ _ _ _) 345 a5 (Data53 _ _ _ _ _)
346Uncovered pattern(s) at data.lc:11:40: 346Uncovered pattern(s) at ./testdata/data.lc:11:40:
347 | Data52 { a5::a5, b5::b5, c5::c5 } 347 | Data52 { a5::a5, b5::b5, c5::c5 }
348 ^^ 348 ^^
349Missing case(s): 349Missing case(s):
350 b5 (Data51 _) 350 b5 (Data51 _)
351 b5 (Data53 _ _ _ _ _) 351 b5 (Data53 _ _ _ _ _)
352Uncovered pattern(s) at data.lc:11:48: 352Uncovered pattern(s) at ./testdata/data.lc:11:48:
353 | Data52 { a5::a5, b5::b5, c5::c5 } 353 | Data52 { a5::a5, b5::b5, c5::c5 }
354 ^^ 354 ^^
355Missing case(s): 355Missing case(s):
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:24:50 +0000