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