File tree
16 files changed
+153
-74
lines changed- clash-ghc
- src-bin-8.10/Clash
- GHCi
- src-bin-9.0/Clash
- GHCi
- src-bin-9.2/Clash
- GHCi
- src-bin-9.4/Clash
- GHCi
- src-bin-9.6/Clash
- GHCi
- src-bin-9.8/Clash
- GHCi
- src-ghc/Clash/GHC
- Evaluator
16 files changed
+153
-74
lines changedLines changed: 8 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
454 | 454 |
| |
455 | 455 |
| |
456 | 456 |
| |
| 457 | + | |
| 458 | + | |
| 459 | + | |
| 460 | + | |
| 461 | + | |
| 462 | + | |
| 463 | + | |
457 | 464 |
| |
458 | 465 |
| |
459 | 466 |
| |
| |||
504 | 511 |
| |
505 | 512 |
| |
506 | 513 |
| |
507 |
| - | |
508 | 514 |
| |
509 | 515 |
| |
510 | 516 |
| |
511 |
| - | |
512 |
| - | |
| 517 | + | |
513 | 518 |
| |
514 | 519 |
| |
515 | 520 |
| |
|
Lines changed: 17 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
186 | 186 |
| |
187 | 187 |
| |
188 | 188 |
| |
| 189 | + | |
| 190 | + | |
| 191 | + | |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
189 | 196 |
| |
190 | 197 |
| |
191 | 198 |
| |
| |||
274 | 281 |
| |
275 | 282 |
| |
276 | 283 |
| |
277 |
| - | |
| 284 | + | |
278 | 285 |
| |
279 | 286 |
| |
280 |
| - | |
281 |
| - | |
282 |
| - | |
283 |
| - | |
284 |
| - | |
285 | 287 |
| |
286 | 288 |
| |
287 | 289 |
| |
| |||
828 | 830 |
| |
829 | 831 |
| |
830 | 832 |
| |
| 833 | + | |
| 834 | + | |
| 835 | + | |
| 836 | + | |
| 837 | + | |
| 838 | + | |
| 839 | + | |
| 840 | + | |
831 | 841 |
| |
832 | 842 |
| |
833 | 843 |
| |
834 | 844 |
| |
835 |
| - | |
836 |
| - | |
837 |
| - | |
838 |
| - | |
| 845 | + | |
839 | 846 |
| |
840 | 847 |
| |
841 | 848 |
| |
|
Lines changed: 8 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
460 | 460 |
| |
461 | 461 |
| |
462 | 462 |
| |
| 463 | + | |
| 464 | + | |
| 465 | + | |
| 466 | + | |
| 467 | + | |
| 468 | + | |
| 469 | + | |
463 | 470 |
| |
464 | 471 |
| |
465 | 472 |
| |
| |||
510 | 517 |
| |
511 | 518 |
| |
512 | 519 |
| |
513 |
| - | |
514 | 520 |
| |
515 | 521 |
| |
516 | 522 |
| |
517 |
| - | |
518 |
| - | |
| 523 | + | |
519 | 524 |
| |
520 | 525 |
| |
521 | 526 |
| |
|
Lines changed: 17 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
188 | 188 |
| |
189 | 189 |
| |
190 | 190 |
| |
| 191 | + | |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
191 | 198 |
| |
192 | 199 |
| |
193 | 200 |
| |
| |||
275 | 282 |
| |
276 | 283 |
| |
277 | 284 |
| |
278 |
| - | |
| 285 | + | |
279 | 286 |
| |
280 | 287 |
| |
281 |
| - | |
282 |
| - | |
283 |
| - | |
284 |
| - | |
285 |
| - | |
286 | 288 |
| |
287 | 289 |
| |
288 | 290 |
| |
| |||
829 | 831 |
| |
830 | 832 |
| |
831 | 833 |
| |
| 834 | + | |
| 835 | + | |
| 836 | + | |
| 837 | + | |
| 838 | + | |
| 839 | + | |
| 840 | + | |
| 841 | + | |
832 | 842 |
| |
833 | 843 |
| |
834 | 844 |
| |
835 | 845 |
| |
836 |
| - | |
837 |
| - | |
838 |
| - | |
839 |
| - | |
| 846 | + | |
840 | 847 |
| |
841 | 848 |
| |
842 | 849 |
| |
|
Lines changed: 8 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
481 | 481 |
| |
482 | 482 |
| |
483 | 483 |
| |
| 484 | + | |
| 485 | + | |
| 486 | + | |
| 487 | + | |
| 488 | + | |
| 489 | + | |
| 490 | + | |
484 | 491 |
| |
485 | 492 |
| |
486 | 493 |
| |
| |||
528 | 535 |
| |
529 | 536 |
| |
530 | 537 |
| |
531 |
| - | |
532 | 538 |
| |
533 | 539 |
| |
534 | 540 |
| |
535 |
| - | |
536 |
| - | |
| 541 | + | |
537 | 542 |
| |
538 | 543 |
| |
539 | 544 |
| |
|
Lines changed: 9 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
780 | 780 |
| |
781 | 781 |
| |
782 | 782 |
| |
| 783 | + | |
| 784 | + | |
| 785 | + | |
| 786 | + | |
| 787 | + | |
| 788 | + | |
| 789 | + | |
| 790 | + | |
783 | 791 |
| |
784 | 792 |
| |
785 | 793 |
| |
786 | 794 |
| |
787 |
| - | |
788 |
| - | |
789 |
| - | |
790 |
| - | |
| 795 | + | |
791 | 796 |
| |
792 | 797 |
| |
793 | 798 |
| |
|
Lines changed: 8 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
503 | 503 |
| |
504 | 504 |
| |
505 | 505 |
| |
| 506 | + | |
| 507 | + | |
| 508 | + | |
| 509 | + | |
| 510 | + | |
| 511 | + | |
| 512 | + | |
506 | 513 |
| |
507 | 514 |
| |
508 | 515 |
| |
| |||
557 | 564 |
| |
558 | 565 |
| |
559 | 566 |
| |
560 |
| - | |
561 | 567 |
| |
562 | 568 |
| |
563 | 569 |
| |
564 |
| - | |
565 |
| - | |
| 570 | + | |
566 | 571 |
| |
567 | 572 |
| |
568 | 573 |
| |
|
Lines changed: 9 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1003 | 1003 |
| |
1004 | 1004 |
| |
1005 | 1005 |
| |
| 1006 | + | |
| 1007 | + | |
| 1008 | + | |
| 1009 | + | |
| 1010 | + | |
| 1011 | + | |
| 1012 | + | |
| 1013 | + | |
1006 | 1014 |
| |
1007 | 1015 |
| |
1008 | 1016 |
| |
1009 | 1017 |
| |
1010 |
| - | |
1011 |
| - | |
1012 |
| - | |
1013 |
| - | |
| 1018 | + | |
1014 | 1019 |
| |
1015 | 1020 |
| |
1016 | 1021 |
| |
|
Lines changed: 9 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
520 | 520 |
| |
521 | 521 |
| |
522 | 522 |
| |
| 523 | + | |
| 524 | + | |
| 525 | + | |
| 526 | + | |
| 527 | + | |
| 528 | + | |
| 529 | + | |
523 | 530 |
| |
524 | 531 |
| |
525 | 532 |
| |
| |||
574 | 581 |
| |
575 | 582 |
| |
576 | 583 |
| |
577 |
| - | |
| 584 | + | |
578 | 585 |
| |
579 | 586 |
| |
580 | 587 |
| |
581 |
| - | |
582 |
| - | |
| 588 | + | |
583 | 589 |
| |
584 | 590 |
| |
585 | 591 |
| |
|
Lines changed: 9 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1016 | 1016 |
| |
1017 | 1017 |
| |
1018 | 1018 |
| |
| 1019 | + | |
| 1020 | + | |
| 1021 | + | |
| 1022 | + | |
| 1023 | + | |
| 1024 | + | |
| 1025 | + | |
| 1026 | + | |
1019 | 1027 |
| |
1020 | 1028 |
| |
1021 | 1029 |
| |
1022 | 1030 |
| |
1023 |
| - | |
1024 |
| - | |
1025 |
| - | |
1026 |
| - | |
| 1031 | + | |
1027 | 1032 |
| |
1028 | 1033 |
| |
1029 | 1034 |
| |
|
Lines changed: 9 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
516 | 516 |
| |
517 | 517 |
| |
518 | 518 |
| |
| 519 | + | |
| 520 | + | |
| 521 | + | |
| 522 | + | |
| 523 | + | |
| 524 | + | |
| 525 | + | |
519 | 526 |
| |
520 | 527 |
| |
521 | 528 |
| |
| |||
570 | 577 |
| |
571 | 578 |
| |
572 | 579 |
| |
573 |
| - | |
| 580 | + | |
574 | 581 |
| |
575 | 582 |
| |
576 | 583 |
| |
577 |
| - | |
578 |
| - | |
| 584 | + | |
579 | 585 |
| |
580 | 586 |
| |
581 | 587 |
| |
|
Lines changed: 9 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1015 | 1015 |
| |
1016 | 1016 |
| |
1017 | 1017 |
| |
| 1018 | + | |
| 1019 | + | |
| 1020 | + | |
| 1021 | + | |
| 1022 | + | |
| 1023 | + | |
| 1024 | + | |
| 1025 | + | |
1018 | 1026 |
| |
1019 | 1027 |
| |
1020 | 1028 |
| |
1021 | 1029 |
| |
1022 |
| - | |
1023 |
| - | |
1024 |
| - | |
1025 |
| - | |
| 1030 | + | |
1026 | 1031 |
| |
1027 | 1032 |
| |
1028 | 1033 |
| |
|
Lines changed: 9 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
43 | 43 |
| |
44 | 44 |
| |
45 | 45 |
| |
46 |
| - | |
47 |
| - | |
48 |
| - | |
49 |
| - | |
| 46 | + | |
50 | 47 |
| |
51 |
| - | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
52 | 51 |
| |
53 | 52 |
| |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
54 | 58 |
| |
55 | 59 |
| |
56 | 60 |
| |
|
0 commit comments