summaryrefslogtreecommitdiff
path: root/testdata/complex.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/complex.out
parent67304cc71d2f0efa76b2b2a46575230a5102c6a0 (diff)
don't show module path
Diffstat (limited to 'testdata/complex.out')
-rw-r--r--testdata/complex.out714
1 files changed, 357 insertions, 357 deletions
diff --git a/testdata/complex.out b/testdata/complex.out
index f683c450..e352f507 100644
--- a/testdata/complex.out
+++ b/testdata/complex.out
@@ -293,732 +293,732 @@ toPolar
293 Normal 293 Normal
294 a 294 a
295------------ tooltips 295------------ tooltips
296testdata/complex.lc 3:6-3:10 296complex.lc 3:6-3:10
297 Type | Type | Type | Type | Type | Type 297 Type | Type | Type | Type | Type | Type
298testdata/complex.lc 3:6-3:27 298complex.lc 3:6-3:27
299 Type | Type 299 Type | Type
300testdata/complex.lc 3:13-3:19 300complex.lc 3:13-3:19
301 Repr 301 Repr
302testdata/complex.lc 3:22-3:27 302complex.lc 3:22-3:27
303 Repr 303 Repr
304testdata/complex.lc 5:6-5:13 304complex.lc 5:6-5:13
305 Repr -> Type | Repr -> Type | Type | Repr -> Type | Type | Type 305 Repr -> Type | Repr -> Type | Type | Repr -> Type | Type | Type
306testdata/complex.lc 5:6-6:52 306complex.lc 5:6-6:52
307 Type 307 Type
308testdata/complex.lc 5:17-5:21 308complex.lc 5:17-5:21
309 Type 309 Type
310testdata/complex.lc 5:25-5:29 310complex.lc 5:25-5:29
311 Type | Type 311 Type | Type
312testdata/complex.lc 6:3-6:10 312complex.lc 6:3-6:10
313 forall (a :: Repr) . Float -> Float -> Complex a | Complex _c 313 forall (a :: Repr) . Float -> Float -> Complex a | Complex _c
314testdata/complex.lc 6:3-6:52 314complex.lc 6:3-6:52
315 Type | Type | Type | Type 315 Type | Type | Type | Type
316testdata/complex.lc 6:25-6:30 316complex.lc 6:25-6:30
317 Type 317 Type
318testdata/complex.lc 6:25-6:52 318complex.lc 6:25-6:52
319 Type 319 Type
320testdata/complex.lc 6:34-6:39 320complex.lc 6:34-6:39
321 Type 321 Type
322testdata/complex.lc 6:34-6:52 322complex.lc 6:34-6:52
323 Type 323 Type
324testdata/complex.lc 6:43-6:50 324complex.lc 6:43-6:50
325 Repr -> Type 325 Repr -> Type
326testdata/complex.lc 6:43-6:52 326complex.lc 6:43-6:52
327 Type | Type 327 Type | Type
328testdata/complex.lc 6:51-6:52 328complex.lc 6:51-6:52
329 _d | Repr 329 _d | Repr
330testdata/complex.lc 8:20-8:27 330complex.lc 8:20-8:27
331 Repr -> Type 331 Repr -> Type
332testdata/complex.lc 8:20-8:29 332complex.lc 8:20-8:29
333 Type 333 Type
334testdata/complex.lc 8:20-8:37 334complex.lc 8:20-8:37
335 Type 335 Type
336testdata/complex.lc 8:28-8:29 336complex.lc 8:28-8:29
337 _b 337 _b
338testdata/complex.lc 8:33-8:37 338complex.lc 8:33-8:37
339 Type | Type 339 Type | Type
340testdata/complex.lc 9:1-9:5 340complex.lc 9:1-9:5
341 forall (a :: Repr) . Complex a -> Repr 341 forall (a :: Repr) . Complex a -> Repr
342testdata/complex.lc 9:13-9:14 342complex.lc 9:13-9:14
343 Repr 343 Repr
344testdata/complex.lc 11:11-11:16 344complex.lc 11:11-11:16
345 Type 345 Type
346testdata/complex.lc 11:20-11:25 346complex.lc 11:20-11:25
347 Type 347 Type
348testdata/complex.lc 11:20-11:43 348complex.lc 11:20-11:43
349 Type 349 Type
350testdata/complex.lc 11:29-11:36 350complex.lc 11:29-11:36
351 Repr -> Type 351 Repr -> Type
352testdata/complex.lc 11:29-11:43 352complex.lc 11:29-11:43
353 Type | Type 353 Type | Type
354testdata/complex.lc 11:37-11:43 354complex.lc 11:37-11:43
355 Repr 355 Repr
356testdata/complex.lc 12:1-12:7 356complex.lc 12:1-12:7
357 Float -> Float -> Complex 'Normal 357 Float -> Float -> Complex 'Normal
358testdata/complex.lc 12:14-12:21 358complex.lc 12:14-12:21
359 forall (a :: Repr) . Float -> Float -> Complex a 359 forall (a :: Repr) . Float -> Float -> Complex a
360testdata/complex.lc 12:14-12:23 360complex.lc 12:14-12:23
361 Float -> Complex _a 361 Float -> Complex _a
362testdata/complex.lc 12:14-12:25 362complex.lc 12:14-12:25
363 Complex 'Normal 363 Complex 'Normal
364testdata/complex.lc 12:22-12:23 364complex.lc 12:22-12:23
365 Float 365 Float
366testdata/complex.lc 12:24-12:25 366complex.lc 12:24-12:25
367 Float 367 Float
368testdata/complex.lc 14:10-14:15 368complex.lc 14:10-14:15
369 Type 369 Type
370testdata/complex.lc 14:19-14:24 370complex.lc 14:19-14:24
371 Type 371 Type
372testdata/complex.lc 14:19-14:41 372complex.lc 14:19-14:41
373 Type 373 Type
374testdata/complex.lc 14:28-14:35 374complex.lc 14:28-14:35
375 Repr -> Type 375 Repr -> Type
376testdata/complex.lc 14:28-14:41 376complex.lc 14:28-14:41
377 Type | Type 377 Type | Type
378testdata/complex.lc 14:36-14:41 378complex.lc 14:36-14:41
379 Repr 379 Repr
380testdata/complex.lc 15:1-15:6 380complex.lc 15:1-15:6
381 Float -> Float -> Complex 'Polar 381 Float -> Float -> Complex 'Polar
382testdata/complex.lc 15:13-15:20 382complex.lc 15:13-15:20
383 forall (a :: Repr) . Float -> Float -> Complex a 383 forall (a :: Repr) . Float -> Float -> Complex a
384testdata/complex.lc 15:13-15:22 384complex.lc 15:13-15:22
385 Float -> Complex _a 385 Float -> Complex _a
386testdata/complex.lc 15:13-15:24 386complex.lc 15:13-15:24
387 Complex 'Polar 387 Complex 'Polar
388testdata/complex.lc 15:21-15:22 388complex.lc 15:21-15:22
389 Float 389 Float
390testdata/complex.lc 15:23-15:24 390complex.lc 15:23-15:24
391 Float 391 Float
392testdata/complex.lc 18:20-18:27 392complex.lc 18:20-18:27
393 Repr -> Type 393 Repr -> Type
394testdata/complex.lc 18:20-18:29 394complex.lc 18:20-18:29
395 Type 395 Type
396testdata/complex.lc 18:20-18:38 396complex.lc 18:20-18:38
397 Type 397 Type
398testdata/complex.lc 18:28-18:29 398complex.lc 18:28-18:29
399 _b 399 _b
400testdata/complex.lc 18:33-18:38 400complex.lc 18:33-18:38
401 Type | Type 401 Type | Type
402testdata/complex.lc 19:1-19:5 402complex.lc 19:1-19:5
403 forall (a :: Repr) . Complex a -> Float 403 forall (a :: Repr) . Complex a -> Float
404testdata/complex.lc 19:34-19:38 404complex.lc 19:34-19:38
405 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 405 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
406testdata/complex.lc 19:34-19:50 406complex.lc 19:34-19:50
407 VecScalar 1 Float | Float 407 VecScalar 1 Float | Float
408testdata/complex.lc 19:34-20:35 408complex.lc 19:34-20:35
409 Repr -> Float | Float 409 Repr -> Float | Float
410testdata/complex.lc 19:40-19:41 410complex.lc 19:40-19:41
411 Float 411 Float
412testdata/complex.lc 19:40-19:42 412complex.lc 19:40-19:42
413 Float -> Float 413 Float -> Float
414testdata/complex.lc 19:40-19:43 414complex.lc 19:40-19:43
415 Float 415 Float
416testdata/complex.lc 19:40-19:45 416complex.lc 19:40-19:45
417 Float -> Float 417 Float -> Float
418testdata/complex.lc 19:40-19:49 418complex.lc 19:40-19:49
419 Float 419 Float
420testdata/complex.lc 19:41-19:42 420complex.lc 19:41-19:42
421 forall a . Num (MatVecScalarElem a) => a -> a -> a 421 forall a . Num (MatVecScalarElem a) => a -> a -> a
422testdata/complex.lc 19:42-19:43 422complex.lc 19:42-19:43
423 Float 423 Float
424testdata/complex.lc 19:44-19:45 424complex.lc 19:44-19:45
425 forall a . Num (MatVecScalarElem a) => a -> a -> a 425 forall a . Num (MatVecScalarElem a) => a -> a -> a
426testdata/complex.lc 19:46-19:47 426complex.lc 19:46-19:47
427 Float 427 Float
428testdata/complex.lc 19:46-19:48 428complex.lc 19:46-19:48
429 Float -> Float 429 Float -> Float
430testdata/complex.lc 19:46-19:49 430complex.lc 19:46-19:49
431 Float 431 Float
432testdata/complex.lc 19:47-19:48 432complex.lc 19:47-19:48
433 forall a . Num (MatVecScalarElem a) => a -> a -> a 433 forall a . Num (MatVecScalarElem a) => a -> a -> a
434testdata/complex.lc 19:48-19:49 434complex.lc 19:48-19:49
435 Float 435 Float
436testdata/complex.lc 20:34-20:35 436complex.lc 20:34-20:35
437 Float | Float 437 Float | Float
438testdata/complex.lc 22:12-22:19 438complex.lc 22:12-22:19
439 Repr -> Type 439 Repr -> Type
440testdata/complex.lc 22:12-22:26 440complex.lc 22:12-22:26
441 Type 441 Type
442testdata/complex.lc 22:20-22:26 442complex.lc 22:20-22:26
443 Repr 443 Repr
444testdata/complex.lc 22:30-22:37 444complex.lc 22:30-22:37
445 Repr -> Type 445 Repr -> Type
446testdata/complex.lc 22:30-22:43 446complex.lc 22:30-22:43
447 Type | Type 447 Type | Type
448testdata/complex.lc 22:38-22:43 448complex.lc 22:38-22:43
449 Repr 449 Repr
450testdata/complex.lc 23:1-23:8 450complex.lc 23:1-23:8
451 Complex 'Normal -> Complex 'Polar 451 Complex 'Normal -> Complex 'Polar
452testdata/complex.lc 24:8-29:17 452complex.lc 24:8-29:17
453 Complex 'Polar 453 Complex 'Polar
454testdata/complex.lc 24:8-31:25 454complex.lc 24:8-31:25
455 Complex 'Polar 455 Complex 'Polar
456testdata/complex.lc 24:11-24:12 456complex.lc 24:11-24:12
457 Float 457 Float
458testdata/complex.lc 24:11-24:14 458complex.lc 24:11-24:14
459 VecScalar 1 Float -> VecScalar 1 Bool 459 VecScalar 1 Float -> VecScalar 1 Bool
460testdata/complex.lc 24:11-24:19 460complex.lc 24:11-24:19
461 VecScalar 1 Bool 461 VecScalar 1 Bool
462testdata/complex.lc 24:11-24:59 462complex.lc 24:11-24:59
463 Complex 'Polar -> Complex 'Polar 463 Complex 'Polar -> Complex 'Polar
464testdata/complex.lc 24:13-24:14 464complex.lc 24:13-24:14
465 forall (a :: Nat) b 465 forall (a :: Nat) b
466 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 466 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
467testdata/complex.lc 24:16-24:19 467complex.lc 24:16-24:19
468 Float 468 Float
469testdata/complex.lc 24:37-24:42 469complex.lc 24:37-24:42
470 Float -> Float -> Complex 'Polar 470 Float -> Float -> Complex 'Polar
471testdata/complex.lc 24:37-24:44 471complex.lc 24:37-24:44
472 Float -> Complex 'Polar 472 Float -> Complex 'Polar
473testdata/complex.lc 24:37-24:59 473complex.lc 24:37-24:59
474 Complex 'Polar 474 Complex 'Polar
475testdata/complex.lc 24:43-24:44 475complex.lc 24:43-24:44
476 VecScalar 1 Float 476 VecScalar 1 Float
477testdata/complex.lc 24:46-24:50 477complex.lc 24:46-24:50
478 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 478 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
479testdata/complex.lc 24:46-24:58 479complex.lc 24:46-24:58
480 VecScalar 1 Float 480 VecScalar 1 Float
481testdata/complex.lc 24:52-24:53 481complex.lc 24:52-24:53
482 Float 482 Float
483testdata/complex.lc 24:52-24:55 483complex.lc 24:52-24:55
484 VecScalar 1 Float -> VecScalar 1 Float 484 VecScalar 1 Float -> VecScalar 1 Float
485testdata/complex.lc 24:52-24:57 485complex.lc 24:52-24:57
486 VecScalar 1 Float 486 VecScalar 1 Float
487testdata/complex.lc 24:54-24:55 487complex.lc 24:54-24:55
488 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 488 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
489testdata/complex.lc 24:56-24:57 489complex.lc 24:56-24:57
490 Float 490 Float
491testdata/complex.lc 25:8-29:17 491complex.lc 25:8-29:17
492 Complex 'Polar 492 Complex 'Polar
493testdata/complex.lc 25:11-25:12 493complex.lc 25:11-25:12
494 Float 494 Float
495testdata/complex.lc 25:11-25:14 495complex.lc 25:11-25:14
496 VecScalar 1 Float -> VecScalar 1 Bool 496 VecScalar 1 Float -> VecScalar 1 Bool
497testdata/complex.lc 25:11-25:19 497complex.lc 25:11-25:19
498 VecScalar 1 Bool 498 VecScalar 1 Bool
499testdata/complex.lc 25:11-25:22 499complex.lc 25:11-25:22
500 Bool -> Bool 500 Bool -> Bool
501testdata/complex.lc 25:11-25:31 501complex.lc 25:11-25:31
502 Bool 502 Bool
503testdata/complex.lc 25:11-25:64 503complex.lc 25:11-25:64
504 Complex 'Polar -> Complex 'Polar 504 Complex 'Polar -> Complex 'Polar
505testdata/complex.lc 25:13-25:14 505complex.lc 25:13-25:14
506 forall (a :: Nat) b 506 forall (a :: Nat) b
507 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 507 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
508testdata/complex.lc 25:16-25:19 508complex.lc 25:16-25:19
509 Float 509 Float
510testdata/complex.lc 25:20-25:22 510complex.lc 25:20-25:22
511 Bool -> Bool -> Bool 511 Bool -> Bool -> Bool
512testdata/complex.lc 25:23-25:24 512complex.lc 25:23-25:24
513 Float 513 Float
514testdata/complex.lc 25:23-25:27 514complex.lc 25:23-25:27
515 VecScalar 1 Float -> VecScalar 1 Bool 515 VecScalar 1 Float -> VecScalar 1 Bool
516testdata/complex.lc 25:23-25:31 516complex.lc 25:23-25:31
517 VecScalar 1 Bool 517 VecScalar 1 Bool
518testdata/complex.lc 25:25-25:27 518complex.lc 25:25-25:27
519 forall (a :: Nat) b 519 forall (a :: Nat) b
520 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 520 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
521testdata/complex.lc 25:28-25:31 521complex.lc 25:28-25:31
522 Float 522 Float
523testdata/complex.lc 25:37-25:42 523complex.lc 25:37-25:42
524 Float -> Float -> Complex 'Polar 524 Float -> Float -> Complex 'Polar
525testdata/complex.lc 25:37-25:44 525complex.lc 25:37-25:44
526 Float -> Complex 'Polar 526 Float -> Complex 'Polar
527testdata/complex.lc 25:37-25:64 527complex.lc 25:37-25:64
528 Complex 'Polar 528 Complex 'Polar
529testdata/complex.lc 25:43-25:44 529complex.lc 25:43-25:44
530 VecScalar 1 Float 530 VecScalar 1 Float
531testdata/complex.lc 25:46-25:50 531complex.lc 25:46-25:50
532 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 532 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
533testdata/complex.lc 25:46-25:58 533complex.lc 25:46-25:58
534 VecScalar 1 Float 534 VecScalar 1 Float
535testdata/complex.lc 25:46-25:60 535complex.lc 25:46-25:60
536 Float -> Float 536 Float -> Float
537testdata/complex.lc 25:46-25:63 537complex.lc 25:46-25:63
538 Float 538 Float
539testdata/complex.lc 25:52-25:53 539complex.lc 25:52-25:53
540 Float 540 Float
541testdata/complex.lc 25:52-25:55 541complex.lc 25:52-25:55
542 VecScalar 1 Float -> VecScalar 1 Float 542 VecScalar 1 Float -> VecScalar 1 Float
543testdata/complex.lc 25:52-25:57 543complex.lc 25:52-25:57
544 VecScalar 1 Float 544 VecScalar 1 Float
545testdata/complex.lc 25:54-25:55 545complex.lc 25:54-25:55
546 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 546 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
547testdata/complex.lc 25:56-25:57 547complex.lc 25:56-25:57
548 Float 548 Float
549testdata/complex.lc 25:59-25:60 549complex.lc 25:59-25:60
550 forall a . Num (MatVecScalarElem a) => a -> a -> a 550 forall a . Num (MatVecScalarElem a) => a -> a -> a
551testdata/complex.lc 25:61-25:63 551complex.lc 25:61-25:63
552 Float 552 Float
553testdata/complex.lc 26:8-29:17 553complex.lc 26:8-29:17
554 Complex 'Polar 554 Complex 'Polar
555testdata/complex.lc 26:11-26:12 555complex.lc 26:11-26:12
556 Float 556 Float
557testdata/complex.lc 26:11-26:14 557complex.lc 26:11-26:14
558 VecScalar 1 Float -> VecScalar 1 Bool 558 VecScalar 1 Float -> VecScalar 1 Bool
559testdata/complex.lc 26:11-26:19 559complex.lc 26:11-26:19
560 VecScalar 1 Bool 560 VecScalar 1 Bool
561testdata/complex.lc 26:11-26:22 561complex.lc 26:11-26:22
562 Bool -> Bool 562 Bool -> Bool
563testdata/complex.lc 26:11-26:31 563complex.lc 26:11-26:31
564 Bool 564 Bool
565testdata/complex.lc 26:11-26:64 565complex.lc 26:11-26:64
566 Complex 'Polar -> Complex 'Polar 566 Complex 'Polar -> Complex 'Polar
567testdata/complex.lc 26:13-26:14 567complex.lc 26:13-26:14
568 forall (a :: Nat) b 568 forall (a :: Nat) b
569 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 569 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
570testdata/complex.lc 26:16-26:19 570complex.lc 26:16-26:19
571 Float 571 Float
572testdata/complex.lc 26:20-26:22 572complex.lc 26:20-26:22
573 Bool -> Bool -> Bool 573 Bool -> Bool -> Bool
574testdata/complex.lc 26:23-26:24 574complex.lc 26:23-26:24
575 Float 575 Float
576testdata/complex.lc 26:23-26:26 576complex.lc 26:23-26:26
577 VecScalar 1 Float -> VecScalar 1 Bool 577 VecScalar 1 Float -> VecScalar 1 Bool
578testdata/complex.lc 26:23-26:31 578complex.lc 26:23-26:31
579 VecScalar 1 Bool 579 VecScalar 1 Bool
580testdata/complex.lc 26:25-26:26 580complex.lc 26:25-26:26
581 forall (a :: Nat) b 581 forall (a :: Nat) b
582 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 582 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
583testdata/complex.lc 26:28-26:31 583complex.lc 26:28-26:31
584 Float 584 Float
585testdata/complex.lc 26:37-26:42 585complex.lc 26:37-26:42
586 Float -> Float -> Complex 'Polar 586 Float -> Float -> Complex 'Polar
587testdata/complex.lc 26:37-26:44 587complex.lc 26:37-26:44
588 Float -> Complex 'Polar 588 Float -> Complex 'Polar
589testdata/complex.lc 26:37-26:64 589complex.lc 26:37-26:64
590 Complex 'Polar 590 Complex 'Polar
591testdata/complex.lc 26:43-26:44 591complex.lc 26:43-26:44
592 VecScalar 1 Float 592 VecScalar 1 Float
593testdata/complex.lc 26:46-26:50 593complex.lc 26:46-26:50
594 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 594 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
595testdata/complex.lc 26:46-26:58 595complex.lc 26:46-26:58
596 VecScalar 1 Float 596 VecScalar 1 Float
597testdata/complex.lc 26:46-26:60 597complex.lc 26:46-26:60
598 Float -> Float 598 Float -> Float
599testdata/complex.lc 26:46-26:63 599complex.lc 26:46-26:63
600 Float 600 Float
601testdata/complex.lc 26:52-26:53 601complex.lc 26:52-26:53
602 Float 602 Float
603testdata/complex.lc 26:52-26:55 603complex.lc 26:52-26:55
604 VecScalar 1 Float -> VecScalar 1 Float 604 VecScalar 1 Float -> VecScalar 1 Float
605testdata/complex.lc 26:52-26:57 605complex.lc 26:52-26:57
606 VecScalar 1 Float 606 VecScalar 1 Float
607testdata/complex.lc 26:54-26:55 607complex.lc 26:54-26:55
608 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 608 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
609testdata/complex.lc 26:56-26:57 609complex.lc 26:56-26:57
610 Float 610 Float
611testdata/complex.lc 26:59-26:60 611complex.lc 26:59-26:60
612 forall a . Num (MatVecScalarElem a) => a -> a -> a 612 forall a . Num (MatVecScalarElem a) => a -> a -> a
613testdata/complex.lc 26:61-26:63 613complex.lc 26:61-26:63
614 Float 614 Float
615testdata/complex.lc 27:8-29:17 615complex.lc 27:8-29:17
616 Complex 'Polar 616 Complex 'Polar
617testdata/complex.lc 27:11-27:12 617complex.lc 27:11-27:12
618 Float 618 Float
619testdata/complex.lc 27:11-27:15 619complex.lc 27:11-27:15
620 Float -> Bool 620 Float -> Bool
621testdata/complex.lc 27:11-27:19 621complex.lc 27:11-27:19
622 Bool 622 Bool
623testdata/complex.lc 27:11-27:22 623complex.lc 27:11-27:22
624 Bool -> Bool 624 Bool -> Bool
625testdata/complex.lc 27:11-27:31 625complex.lc 27:11-27:31
626 Bool 626 Bool
627testdata/complex.lc 27:11-27:56 627complex.lc 27:11-27:56
628 Complex 'Polar -> Complex 'Polar 628 Complex 'Polar -> Complex 'Polar
629testdata/complex.lc 27:13-27:15 629complex.lc 27:13-27:15
630 forall a . Eq a => a -> a -> Bool 630 forall a . Eq a => a -> a -> Bool
631testdata/complex.lc 27:16-27:19 631complex.lc 27:16-27:19
632 Float 632 Float
633testdata/complex.lc 27:20-27:22 633complex.lc 27:20-27:22
634 Bool -> Bool -> Bool 634 Bool -> Bool -> Bool
635testdata/complex.lc 27:23-27:24 635complex.lc 27:23-27:24
636 Float 636 Float
637testdata/complex.lc 27:23-27:27 637complex.lc 27:23-27:27
638 VecScalar 1 Float -> VecScalar 1 Bool 638 VecScalar 1 Float -> VecScalar 1 Bool
639testdata/complex.lc 27:23-27:31 639complex.lc 27:23-27:31
640 VecScalar 1 Bool 640 VecScalar 1 Bool
641testdata/complex.lc 27:25-27:27 641complex.lc 27:25-27:27
642 forall (a :: Nat) b 642 forall (a :: Nat) b
643 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 643 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
644testdata/complex.lc 27:28-27:31 644complex.lc 27:28-27:31
645 Float 645 Float
646testdata/complex.lc 27:37-27:42 646complex.lc 27:37-27:42
647 Float -> Float -> Complex 'Polar 647 Float -> Float -> Complex 'Polar
648testdata/complex.lc 27:37-27:44 648complex.lc 27:37-27:44
649 Float -> Complex 'Polar 649 Float -> Complex 'Polar
650testdata/complex.lc 27:37-27:56 650complex.lc 27:37-27:56
651 Complex 'Polar 651 Complex 'Polar
652testdata/complex.lc 27:43-27:44 652complex.lc 27:43-27:44
653 VecScalar 1 Float 653 VecScalar 1 Float
654testdata/complex.lc 27:47-27:49 654complex.lc 27:47-27:49
655 Float 655 Float
656testdata/complex.lc 27:47-27:51 656complex.lc 27:47-27:51
657 VecScalar 1 Float -> VecScalar 1 Float 657 VecScalar 1 Float -> VecScalar 1 Float
658testdata/complex.lc 27:47-27:55 658complex.lc 27:47-27:55
659 VecScalar 1 Float 659 VecScalar 1 Float
660testdata/complex.lc 27:50-27:51 660complex.lc 27:50-27:51
661 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 661 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
662testdata/complex.lc 27:52-27:55 662complex.lc 27:52-27:55
663 Float 663 Float
664testdata/complex.lc 28:8-29:17 664complex.lc 28:8-29:17
665 Complex 'Polar 665 Complex 'Polar
666testdata/complex.lc 28:11-28:12 666complex.lc 28:11-28:12
667 Float 667 Float
668testdata/complex.lc 28:11-28:15 668complex.lc 28:11-28:15
669 Float -> Bool 669 Float -> Bool
670testdata/complex.lc 28:11-28:19 670complex.lc 28:11-28:19
671 Bool 671 Bool
672testdata/complex.lc 28:11-28:22 672complex.lc 28:11-28:22
673 Bool -> Bool 673 Bool -> Bool
674testdata/complex.lc 28:11-28:31 674complex.lc 28:11-28:31
675 Bool 675 Bool
676testdata/complex.lc 28:11-28:56 676complex.lc 28:11-28:56
677 Complex 'Polar -> Complex 'Polar 677 Complex 'Polar -> Complex 'Polar
678testdata/complex.lc 28:13-28:15 678complex.lc 28:13-28:15
679 forall a . Eq a => a -> a -> Bool 679 forall a . Eq a => a -> a -> Bool
680testdata/complex.lc 28:16-28:19 680complex.lc 28:16-28:19
681 Float 681 Float
682testdata/complex.lc 28:20-28:22 682complex.lc 28:20-28:22
683 Bool -> Bool -> Bool 683 Bool -> Bool -> Bool
684testdata/complex.lc 28:23-28:24 684complex.lc 28:23-28:24
685 Float 685 Float
686testdata/complex.lc 28:23-28:26 686complex.lc 28:23-28:26
687 VecScalar 1 Float -> VecScalar 1 Bool 687 VecScalar 1 Float -> VecScalar 1 Bool
688testdata/complex.lc 28:23-28:31 688complex.lc 28:23-28:31
689 VecScalar 1 Bool 689 VecScalar 1 Bool
690testdata/complex.lc 28:25-28:26 690complex.lc 28:25-28:26
691 forall (a :: Nat) b 691 forall (a :: Nat) b
692 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 692 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
693testdata/complex.lc 28:28-28:31 693complex.lc 28:28-28:31
694 Float 694 Float
695testdata/complex.lc 28:37-28:42 695complex.lc 28:37-28:42
696 Float -> Float -> Complex 'Polar 696 Float -> Float -> Complex 'Polar
697testdata/complex.lc 28:37-28:44 697complex.lc 28:37-28:44
698 Float -> Complex 'Polar 698 Float -> Complex 'Polar
699testdata/complex.lc 28:37-28:56 699complex.lc 28:37-28:56
700 Complex 'Polar 700 Complex 'Polar
701testdata/complex.lc 28:43-28:44 701complex.lc 28:43-28:44
702 VecScalar 1 Float 702 VecScalar 1 Float
703testdata/complex.lc 28:46-28:47 703complex.lc 28:46-28:47
704 forall a . Num (MatVecScalarElem a) => a -> a -> a 704 forall a . Num (MatVecScalarElem a) => a -> a -> a
705testdata/complex.lc 28:46-28:55 705complex.lc 28:46-28:55
706 Float 706 Float
707testdata/complex.lc 28:47-28:49 707complex.lc 28:47-28:49
708 Float 708 Float
709testdata/complex.lc 28:47-28:51 709complex.lc 28:47-28:51
710 VecScalar 1 Float -> VecScalar 1 Float 710 VecScalar 1 Float -> VecScalar 1 Float
711testdata/complex.lc 28:47-28:55 711complex.lc 28:47-28:55
712 VecScalar 1 Float 712 VecScalar 1 Float
713testdata/complex.lc 28:50-28:51 713complex.lc 28:50-28:51
714 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a 714 forall a (b :: Nat) . Num a => VecScalar b a -> VecScalar b a -> VecScalar b a
715testdata/complex.lc 28:52-28:55 715complex.lc 28:52-28:55
716 Float 716 Float
717testdata/complex.lc 29:8-29:17 717complex.lc 29:8-29:17
718 forall a . a 718 forall a . a
719testdata/complex.lc 31:9-31:13 719complex.lc 31:9-31:13
720 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 720 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
721testdata/complex.lc 31:9-31:25 721complex.lc 31:9-31:25
722 VecScalar 1 Float 722 VecScalar 1 Float
723testdata/complex.lc 31:15-31:16 723complex.lc 31:15-31:16
724 Float 724 Float
725testdata/complex.lc 31:15-31:17 725complex.lc 31:15-31:17
726 Float -> Float 726 Float -> Float
727testdata/complex.lc 31:15-31:18 727complex.lc 31:15-31:18
728 Float 728 Float
729testdata/complex.lc 31:15-31:20 729complex.lc 31:15-31:20
730 Float -> Float 730 Float -> Float
731testdata/complex.lc 31:15-31:24 731complex.lc 31:15-31:24
732 Float 732 Float
733testdata/complex.lc 31:16-31:17 733complex.lc 31:16-31:17
734 forall a . Num (MatVecScalarElem a) => a -> a -> a 734 forall a . Num (MatVecScalarElem a) => a -> a -> a
735testdata/complex.lc 31:17-31:18 735complex.lc 31:17-31:18
736 Float 736 Float
737testdata/complex.lc 31:19-31:20 737complex.lc 31:19-31:20
738 forall a . Num (MatVecScalarElem a) => a -> a -> a 738 forall a . Num (MatVecScalarElem a) => a -> a -> a
739testdata/complex.lc 31:21-31:22 739complex.lc 31:21-31:22
740 Float 740 Float
741testdata/complex.lc 31:21-31:23 741complex.lc 31:21-31:23
742 Float -> Float 742 Float -> Float
743testdata/complex.lc 31:21-31:24 743complex.lc 31:21-31:24
744 Float 744 Float
745testdata/complex.lc 31:22-31:23 745complex.lc 31:22-31:23
746 forall a . Num (MatVecScalarElem a) => a -> a -> a 746 forall a . Num (MatVecScalarElem a) => a -> a -> a
747testdata/complex.lc 31:23-31:24 747complex.lc 31:23-31:24
748 Float 748 Float
749testdata/complex.lc 64:13-64:20 749complex.lc 64:13-64:20
750 Repr -> Type 750 Repr -> Type
751testdata/complex.lc 64:13-64:26 751complex.lc 64:13-64:26
752 Type 752 Type
753testdata/complex.lc 64:21-64:26 753complex.lc 64:21-64:26
754 Repr 754 Repr
755testdata/complex.lc 64:30-64:37 755complex.lc 64:30-64:37
756 Repr -> Type 756 Repr -> Type
757testdata/complex.lc 64:30-64:44 757complex.lc 64:30-64:44
758 Type | Type 758 Type | Type
759testdata/complex.lc 64:38-64:44 759complex.lc 64:38-64:44
760 Repr 760 Repr
761testdata/complex.lc 65:1-65:9 761complex.lc 65:1-65:9
762 Complex 'Polar -> Complex 'Normal 762 Complex 'Polar -> Complex 'Normal
763testdata/complex.lc 65:28-65:35 763complex.lc 65:28-65:35
764 forall (a :: Repr) . Float -> Float -> Complex a 764 forall (a :: Repr) . Float -> Float -> Complex a
765testdata/complex.lc 65:28-65:49 765complex.lc 65:28-65:49
766 Float -> Complex _a 766 Float -> Complex _a
767testdata/complex.lc 65:28-65:63 767complex.lc 65:28-65:63
768 Complex _a | Complex _a 768 Complex _a | Complex _a
769testdata/complex.lc 65:37-65:38 769complex.lc 65:37-65:38
770 Float 770 Float
771testdata/complex.lc 65:37-65:40 771complex.lc 65:37-65:40
772 Float -> Float 772 Float -> Float
773testdata/complex.lc 65:37-65:48 773complex.lc 65:37-65:48
774 Float 774 Float
775testdata/complex.lc 65:39-65:40 775complex.lc 65:39-65:40
776 forall a . Num (MatVecScalarElem a) => a -> a -> a 776 forall a . Num (MatVecScalarElem a) => a -> a -> a
777testdata/complex.lc 65:41-65:44 777complex.lc 65:41-65:44
778 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 778 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
779testdata/complex.lc 65:41-65:48 779complex.lc 65:41-65:48
780 VecScalar 1 Float 780 VecScalar 1 Float
781testdata/complex.lc 65:45-65:48 781complex.lc 65:45-65:48
782 Float 782 Float
783testdata/complex.lc 65:51-65:52 783complex.lc 65:51-65:52
784 Float 784 Float
785testdata/complex.lc 65:51-65:54 785complex.lc 65:51-65:54
786 Float -> Float 786 Float -> Float
787testdata/complex.lc 65:51-65:62 787complex.lc 65:51-65:62
788 Float 788 Float
789testdata/complex.lc 65:53-65:54 789complex.lc 65:53-65:54
790 forall a . Num (MatVecScalarElem a) => a -> a -> a 790 forall a . Num (MatVecScalarElem a) => a -> a -> a
791testdata/complex.lc 65:55-65:58 791complex.lc 65:55-65:58
792 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a 792 forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
793testdata/complex.lc 65:55-65:62 793complex.lc 65:55-65:62
794 VecScalar 1 Float 794 VecScalar 1 Float
795testdata/complex.lc 65:59-65:62 795complex.lc 65:59-65:62
796 Float 796 Float
797testdata/complex.lc 111:1-111:15 797complex.lc 111:1-111:15
798 forall (a :: Repr) . Complex a -> Float 798 forall (a :: Repr) . Complex a -> Float
799testdata/complex.lc 111:38-111:39 799complex.lc 111:38-111:39
800 Float 800 Float
801testdata/complex.lc 113:20-113:70 801complex.lc 113:20-113:70
802 Type 802 Type
803testdata/complex.lc 113:32-113:39 803complex.lc 113:32-113:39
804 Repr -> Type 804 Repr -> Type
805testdata/complex.lc 113:32-113:42 805complex.lc 113:32-113:42
806 Type 806 Type
807testdata/complex.lc 113:32-113:70 807complex.lc 113:32-113:70
808 Type 808 Type
809testdata/complex.lc 113:40-113:42 809complex.lc 113:40-113:42
810 _d 810 _d
811testdata/complex.lc 113:46-113:53 811complex.lc 113:46-113:53
812 Repr -> Type 812 Repr -> Type
813testdata/complex.lc 113:46-113:56 813complex.lc 113:46-113:56
814 Type 814 Type
815testdata/complex.lc 113:46-113:70 815complex.lc 113:46-113:70
816 Type 816 Type
817testdata/complex.lc 113:54-113:56 817complex.lc 113:54-113:56
818 _c 818 _c
819testdata/complex.lc 113:60-113:67 819complex.lc 113:60-113:67
820 Repr -> Type 820 Repr -> Type
821testdata/complex.lc 113:60-113:70 821complex.lc 113:60-113:70
822 Type | Type 822 Type | Type
823testdata/complex.lc 113:68-113:70 823complex.lc 113:68-113:70
824 Repr 824 Repr
825testdata/complex.lc 114:1-114:4 825complex.lc 114:1-114:4
826 forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a 826 forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a
827testdata/complex.lc 114:53-114:60 827complex.lc 114:53-114:60
828 forall (a :: Repr) . Float -> Float -> Complex a 828 forall (a :: Repr) . Float -> Float -> Complex a
829testdata/complex.lc 114:53-114:68 829complex.lc 114:53-114:68
830 Float -> Complex _a 830 Float -> Complex _a
831testdata/complex.lc 114:53-114:76 831complex.lc 114:53-114:76
832 Complex _a | Complex _a | Complex _a | Complex _a | Complex _d 832 Complex _a | Complex _a | Complex _a | Complex _a | Complex _d
833testdata/complex.lc 114:62-114:63 833complex.lc 114:62-114:63
834 Float 834 Float
835testdata/complex.lc 114:62-114:65 835complex.lc 114:62-114:65
836 Float -> Float 836 Float -> Float
837testdata/complex.lc 114:62-114:67 837complex.lc 114:62-114:67
838 Float 838 Float
839testdata/complex.lc 114:64-114:65 839complex.lc 114:64-114:65
840 forall a . Num (MatVecScalarElem a) => a -> a -> a 840 forall a . Num (MatVecScalarElem a) => a -> a -> a
841testdata/complex.lc 114:66-114:67 841complex.lc 114:66-114:67
842 Float 842 Float
843testdata/complex.lc 114:70-114:71 843complex.lc 114:70-114:71
844 Float 844 Float
845testdata/complex.lc 114:70-114:73 845complex.lc 114:70-114:73
846 Float -> Float 846 Float -> Float
847testdata/complex.lc 114:70-114:75 847complex.lc 114:70-114:75
848 Float 848 Float
849testdata/complex.lc 114:72-114:73 849complex.lc 114:72-114:73
850 forall a . Num (MatVecScalarElem a) => a -> a -> a 850 forall a . Num (MatVecScalarElem a) => a -> a -> a
851testdata/complex.lc 114:74-114:75 851complex.lc 114:74-114:75
852 Float 852 Float
853testdata/complex.lc 128:23-128:30 853complex.lc 128:23-128:30
854 Repr -> Type 854 Repr -> Type
855testdata/complex.lc 128:23-128:33 855complex.lc 128:23-128:33
856 Type 856 Type
857testdata/complex.lc 128:23-128:61 857complex.lc 128:23-128:61
858 Type | Type 858 Type | Type
859testdata/complex.lc 128:31-128:33 859complex.lc 128:31-128:33
860 _d 860 _d
861testdata/complex.lc 128:37-128:44 861complex.lc 128:37-128:44
862 Repr -> Type 862 Repr -> Type
863testdata/complex.lc 128:37-128:47 863complex.lc 128:37-128:47
864 Type 864 Type
865testdata/complex.lc 128:37-128:61 865complex.lc 128:37-128:61
866 Type 866 Type
867testdata/complex.lc 128:45-128:47 867complex.lc 128:45-128:47
868 _c 868 _c
869testdata/complex.lc 128:51-128:58 869complex.lc 128:51-128:58
870 Repr -> Type 870 Repr -> Type
871testdata/complex.lc 128:51-128:61 871complex.lc 128:51-128:61
872 Type | Type 872 Type | Type
873testdata/complex.lc 128:59-128:61 873complex.lc 128:59-128:61
874 Repr 874 Repr
875testdata/complex.lc 129:1-129:4 875complex.lc 129:1-129:4
876 forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a 876 forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a
877testdata/complex.lc 129:53-129:60 877complex.lc 129:53-129:60
878 forall (a :: Repr) . Float -> Float -> Complex a 878 forall (a :: Repr) . Float -> Float -> Complex a
879testdata/complex.lc 129:53-129:72 879complex.lc 129:53-129:72
880 Float -> Complex _a 880 Float -> Complex _a
881testdata/complex.lc 129:53-129:84 881complex.lc 129:53-129:84
882 Complex _a | Complex _a | Complex _a | Complex _a | Complex _d 882 Complex _a | Complex _a | Complex _a | Complex _a | Complex _d
883testdata/complex.lc 129:62-129:63 883complex.lc 129:62-129:63
884 Float 884 Float
885testdata/complex.lc 129:62-129:64 885complex.lc 129:62-129:64
886 Float -> Float 886 Float -> Float
887testdata/complex.lc 129:62-129:65 887complex.lc 129:62-129:65
888 Float 888 Float
889testdata/complex.lc 129:62-129:67 889complex.lc 129:62-129:67
890 Float -> Float 890 Float -> Float
891testdata/complex.lc 129:62-129:71 891complex.lc 129:62-129:71
892 Float 892 Float
893testdata/complex.lc 129:63-129:64 893complex.lc 129:63-129:64
894 forall a . Num (MatVecScalarElem a) => a -> a -> a 894 forall a . Num (MatVecScalarElem a) => a -> a -> a
895testdata/complex.lc 129:64-129:65 895complex.lc 129:64-129:65
896 Float 896 Float
897testdata/complex.lc 129:66-129:67 897complex.lc 129:66-129:67
898 forall a . Num (MatVecScalarElem a) => a -> a -> a 898 forall a . Num (MatVecScalarElem a) => a -> a -> a
899testdata/complex.lc 129:68-129:69 899complex.lc 129:68-129:69
900 Float 900 Float
901testdata/complex.lc 129:68-129:70 901complex.lc 129:68-129:70
902 Float -> Float 902 Float -> Float
903testdata/complex.lc 129:68-129:71 903complex.lc 129:68-129:71
904 Float 904 Float
905testdata/complex.lc 129:69-129:70 905complex.lc 129:69-129:70
906 forall a . Num (MatVecScalarElem a) => a -> a -> a 906 forall a . Num (MatVecScalarElem a) => a -> a -> a
907testdata/complex.lc 129:70-129:71 907complex.lc 129:70-129:71
908 Float 908 Float
909testdata/complex.lc 129:74-129:75 909complex.lc 129:74-129:75
910 Float 910 Float
911testdata/complex.lc 129:74-129:76 911complex.lc 129:74-129:76
912 Float -> Float 912 Float -> Float
913testdata/complex.lc 129:74-129:77 913complex.lc 129:74-129:77
914 Float 914 Float
915testdata/complex.lc 129:74-129:79 915complex.lc 129:74-129:79
916 Float -> Float 916 Float -> Float
917testdata/complex.lc 129:74-129:83 917complex.lc 129:74-129:83
918 Float 918 Float
919testdata/complex.lc 129:75-129:76 919complex.lc 129:75-129:76
920 forall a . Num (MatVecScalarElem a) => a -> a -> a 920 forall a . Num (MatVecScalarElem a) => a -> a -> a
921testdata/complex.lc 129:76-129:77 921complex.lc 129:76-129:77
922 Float 922 Float
923testdata/complex.lc 129:78-129:79 923complex.lc 129:78-129:79
924 forall a . Num (MatVecScalarElem a) => a -> a -> a 924 forall a . Num (MatVecScalarElem a) => a -> a -> a
925testdata/complex.lc 129:80-129:81 925complex.lc 129:80-129:81
926 Float 926 Float
927testdata/complex.lc 129:80-129:82 927complex.lc 129:80-129:82
928 Float -> Float 928 Float -> Float
929testdata/complex.lc 129:80-129:83 929complex.lc 129:80-129:83
930 Float 930 Float
931testdata/complex.lc 129:81-129:82 931complex.lc 129:81-129:82
932 forall a . Num (MatVecScalarElem a) => a -> a -> a 932 forall a . Num (MatVecScalarElem a) => a -> a -> a
933testdata/complex.lc 129:82-129:83 933complex.lc 129:82-129:83
934 Float 934 Float
935testdata/complex.lc 137:6-137:13 935complex.lc 137:6-137:13
936 Repr -> Type 936 Repr -> Type
937testdata/complex.lc 137:6-137:15 937complex.lc 137:6-137:15
938 Type 938 Type
939testdata/complex.lc 137:6-137:28 939complex.lc 137:6-137:28
940 Type 940 Type
941testdata/complex.lc 137:14-137:15 941complex.lc 137:14-137:15
942 _b 942 _b
943testdata/complex.lc 137:19-137:26 943complex.lc 137:19-137:26
944 Repr -> Type 944 Repr -> Type
945testdata/complex.lc 137:19-137:28 945complex.lc 137:19-137:28
946 Type | Type 946 Type | Type
947testdata/complex.lc 137:27-137:28 947complex.lc 137:27-137:28
948 Repr 948 Repr
949testdata/complex.lc 138:1-138:2 949complex.lc 138:1-138:2
950 forall (a :: Repr) . Complex a -> Complex a 950 forall (a :: Repr) . Complex a -> Complex a
951testdata/complex.lc 138:7-138:22 951complex.lc 138:7-138:22
952 Complex _a -> Complex _c 952 Complex _a -> Complex _c
953testdata/complex.lc 138:7-138:24 953complex.lc 138:7-138:24
954 Complex _b 954 Complex _b
955testdata/complex.lc 138:8-138:11 955complex.lc 138:8-138:11
956 forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a 956 forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a
957testdata/complex.lc 138:8-138:13 957complex.lc 138:8-138:13
958 Complex _a -> Complex _e 958 Complex _a -> Complex _e
959testdata/complex.lc 138:8-138:15 959complex.lc 138:8-138:15
960 Complex _c 960 Complex _c
961testdata/complex.lc 138:12-138:13 961complex.lc 138:12-138:13
962 Complex _f 962 Complex _f
963testdata/complex.lc 138:14-138:15 963complex.lc 138:14-138:15
964 Complex _d 964 Complex _d
965testdata/complex.lc 138:17-138:22 965complex.lc 138:17-138:22
966 forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a 966 forall (a :: Repr) (b :: Repr) . Complex a -> Complex b -> Complex a
967testdata/complex.lc 138:23-138:24 967complex.lc 138:23-138:24
968 Complex _c 968 Complex _c
969testdata/complex.lc 141:1-141:3 969complex.lc 141:1-141:3
970 forall (a :: Repr) . Complex a -> Complex a 970 forall (a :: Repr) . Complex a -> Complex a
971testdata/complex.lc 141:8-141:9 971complex.lc 141:8-141:9
972 forall (a :: Repr) . Complex a -> Complex a 972 forall (a :: Repr) . Complex a -> Complex a
973testdata/complex.lc 141:8-141:23 973complex.lc 141:8-141:23
974 Complex _a 974 Complex _a
975testdata/complex.lc 141:11-141:12 975complex.lc 141:11-141:12
976 forall (a :: Repr) . Complex a -> Complex a 976 forall (a :: Repr) . Complex a -> Complex a
977testdata/complex.lc 141:11-141:22 977complex.lc 141:11-141:22
978 Complex _a 978 Complex _a
979testdata/complex.lc 141:14-141:15 979complex.lc 141:14-141:15
980 forall (a :: Repr) . Complex a -> Complex a 980 forall (a :: Repr) . Complex a -> Complex a
981testdata/complex.lc 141:14-141:21 981complex.lc 141:14-141:21
982 Complex _a 982 Complex _a
983testdata/complex.lc 141:17-141:18 983complex.lc 141:17-141:18
984 forall (a :: Repr) . Complex a -> Complex a 984 forall (a :: Repr) . Complex a -> Complex a
985testdata/complex.lc 141:17-141:20 985complex.lc 141:17-141:20
986 Complex _a 986 Complex _a
987testdata/complex.lc 141:19-141:20 987complex.lc 141:19-141:20
988 _f 988 _f
989testdata/complex.lc 143:1-143:5 989complex.lc 143:1-143:5
990 forall (a :: Repr) . Complex a -> Complex a 990 forall (a :: Repr) . Complex a -> Complex a
991testdata/complex.lc 143:8-143:10 991complex.lc 143:8-143:10
992 forall (a :: Repr) . Complex a -> Complex a 992 forall (a :: Repr) . Complex a -> Complex a
993testdata/complex.lc 145:1-145:7 993complex.lc 145:1-145:7
994 forall (a :: Repr) . Complex a -> VecScalar 1 Bool 994 forall (a :: Repr) . Complex a -> VecScalar 1 Bool
995testdata/complex.lc 145:12-145:16 995complex.lc 145:12-145:16
996 forall (a :: Repr) . Complex a -> Float 996 forall (a :: Repr) . Complex a -> Float
997testdata/complex.lc 145:12-145:25 997complex.lc 145:12-145:25
998 Float 998 Float
999testdata/complex.lc 145:12-145:27 999complex.lc 145:12-145:27
1000 VecScalar 1 Float -> VecScalar 1 Bool 1000 VecScalar 1 Float -> VecScalar 1 Bool
1001testdata/complex.lc 145:12-145:31 1001complex.lc 145:12-145:31
1002 VecScalar 1 Bool 1002 VecScalar 1 Bool
1003testdata/complex.lc 145:18-145:22 1003complex.lc 145:18-145:22
1004 forall (a :: Repr) . Complex a -> Complex a 1004 forall (a :: Repr) . Complex a -> Complex a
1005testdata/complex.lc 145:18-145:24 1005complex.lc 145:18-145:24
1006 Complex _a 1006 Complex _a
1007testdata/complex.lc 145:23-145:24 1007complex.lc 145:23-145:24
1008 _g 1008 _g
1009testdata/complex.lc 145:26-145:27 1009complex.lc 145:26-145:27
1010 forall (a :: Nat) b 1010 forall (a :: Nat) b
1011 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool 1011 . Num b => VecScalar a b -> VecScalar a b -> VecScalar a Bool
1012testdata/complex.lc 145:28-145:31 1012complex.lc 145:28-145:31
1013 Float 1013 Float
1014------------ warnings 1014------------ warnings
1015Uncovered pattern(s) at testdata/complex.lc:114:1: 1015Uncovered pattern(s) at complex.lc:114:1:
1016add @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d) 1016add @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a + c) (b + d)
1017^^^ 1017^^^
1018Missing case(s): 1018Missing case(s):
1019 add Normal Polar _ _ 1019 add Normal Polar _ _
1020 add Polar _ _ _ 1020 add Polar _ _ _
1021Uncovered pattern(s) at testdata/complex.lc:129:1: 1021Uncovered pattern(s) at complex.lc:129:1:
1022mul @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d) 1022mul @'Normal @'Normal (Complex a b) (Complex c d) = Complex (a*c - b*d) (b*c + a*d)
1023^^^ 1023^^^
1024Missing case(s): 1024Missing case(s):
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:30:01 +0000