File tree
21 files changed
+209
-172
lines changed- .github
- scripts
- workflows
- app/ghcup
- GHCup/OptParse
- lib
- GHCup
- Types
- test/GHCup
21 files changed
+209
-172
lines changedLines changed: 13 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + |
Lines changed: 6 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
18 |
| - | |
| 18 | + | |
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
| |||
29 | 29 |
| |
30 | 30 |
| |
31 | 31 |
| |
32 |
| - | |
| 32 | + | |
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
| |||
115 | 115 |
| |
116 | 116 |
| |
117 | 117 |
| |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
118 | 122 |
| |
119 | 123 |
| |
120 | 124 |
| |
|
Lines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
15 | 19 |
| |
16 | 20 |
| |
17 | 21 |
| |
|
Lines changed: 11 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
156 | 156 |
| |
157 | 157 |
| |
158 | 158 |
| |
159 |
| - | |
160 |
| - | |
161 |
| - | |
162 |
| - | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
163 | 163 |
| |
164 | 164 |
| |
165 | 165 |
| |
| |||
184 | 184 |
| |
185 | 185 |
| |
186 | 186 |
| |
187 |
| - | |
| 187 | + | |
188 | 188 |
| |
189 | 189 |
| |
190 | 190 |
| |
| |||
472 | 472 |
| |
473 | 473 |
| |
474 | 474 |
| |
475 |
| - | |
476 |
| - | |
| 475 | + | |
| 476 | + | |
477 | 477 |
| |
478 |
| - | |
| 478 | + | |
479 | 479 |
| |
480 | 480 |
| |
481 | 481 |
| |
482 | 482 |
| |
483 | 483 |
| |
484 |
| - | |
| 484 | + | |
485 | 485 |
| |
486 | 486 |
| |
487 |
| - | |
| 487 | + | |
488 | 488 |
| |
489 | 489 |
| |
490 | 490 |
| |
| |||
565 | 565 |
| |
566 | 566 |
| |
567 | 567 |
| |
568 |
| - | |
| 568 | + | |
569 | 569 |
| |
570 | 570 |
| |
571 | 571 |
| |
|
Lines changed: 25 additions & 24 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| 8 | + | |
8 | 9 |
| |
9 | 10 |
| |
10 | 11 |
| |
| |||
693 | 694 |
| |
694 | 695 |
| |
695 | 696 |
| |
696 |
| - | |
| 697 | + | |
697 | 698 |
| |
698 | 699 |
| |
699 | 700 |
| |
700 |
| - | |
| 701 | + | |
701 | 702 |
| |
702 | 703 |
| |
703 | 704 |
| |
704 |
| - | |
705 |
| - | |
| 705 | + | |
| 706 | + | |
706 | 707 |
| |
707 | 708 |
| |
708 |
| - | |
| 709 | + | |
709 | 710 |
| |
710 |
| - | |
| 711 | + | |
711 | 712 |
| |
712 | 713 |
| |
713 |
| - | |
714 |
| - | |
| 714 | + | |
| 715 | + | |
715 | 716 |
| |
716 |
| - | |
717 |
| - | |
| 717 | + | |
| 718 | + | |
718 | 719 |
| |
719 |
| - | |
720 |
| - | |
721 |
| - | |
| 720 | + | |
| 721 | + | |
| 722 | + | |
722 | 723 |
| |
723 | 724 |
| |
724 |
| - | |
| 725 | + | |
725 | 726 |
| |
726 | 727 |
| |
727 |
| - | |
| 728 | + | |
728 | 729 |
| |
729 | 730 |
| |
730 | 731 |
| |
731 | 732 |
| |
732 |
| - | |
| 733 | + | |
733 | 734 |
| |
734 | 735 |
| |
735 |
| - | |
| 736 | + | |
736 | 737 |
| |
737 | 738 |
| |
738 |
| - | |
| 739 | + | |
739 | 740 |
| |
740 | 741 |
| |
741 |
| - | |
| 742 | + | |
742 | 743 |
| |
743 | 744 |
| |
744 | 745 |
| |
| |||
783 | 784 |
| |
784 | 785 |
| |
785 | 786 |
| |
786 |
| - | |
| 787 | + | |
787 | 788 |
| |
788 | 789 |
| |
789 | 790 |
| |
| |||
799 | 800 |
| |
800 | 801 |
| |
801 | 802 |
| |
802 |
| - | |
| 803 | + | |
803 | 804 |
| |
804 | 805 |
| |
805 | 806 |
| |
806 |
| - | |
| 807 | + | |
807 | 808 |
| |
808 |
| - | |
| 809 | + | |
809 | 810 |
| |
810 |
| - | |
| 811 | + | |
811 | 812 |
| |
812 | 813 |
| |
813 | 814 |
| |
|
Lines changed: 7 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
66 | 66 |
| |
67 | 67 |
| |
68 | 68 |
| |
69 |
| - | |
| 69 | + | |
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
| |||
511 | 511 |
| |
512 | 512 |
| |
513 | 513 |
| |
514 |
| - | |
| 514 | + | |
515 | 515 |
| |
516 | 516 |
| |
517 | 517 |
| |
| |||
531 | 531 |
| |
532 | 532 |
| |
533 | 533 |
| |
534 |
| - | |
| 534 | + | |
535 | 535 |
| |
536 | 536 |
| |
537 | 537 |
| |
| |||
555 | 555 |
| |
556 | 556 |
| |
557 | 557 |
| |
558 |
| - | |
559 |
| - | |
560 |
| - | |
561 | 558 |
| |
562 | 559 |
| |
563 | 560 |
| |
564 | 561 |
| |
565 | 562 |
| |
566 |
| - | |
| 563 | + | |
567 | 564 |
| |
568 | 565 |
| |
569 | 566 |
| |
570 | 567 |
| |
571 | 568 |
| |
572 | 569 |
| |
573 | 570 |
| |
574 |
| - | |
575 |
| - | |
576 |
| - | |
577 |
| - | |
| 571 | + | |
| 572 | + | |
578 | 573 |
| |
579 | 574 |
| |
580 | 575 |
| |
| |||
585 | 580 |
| |
586 | 581 |
| |
587 | 582 |
| |
588 |
| - | |
| 583 | + | |
589 | 584 |
| |
590 | 585 |
| |
591 | 586 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
324 | 324 |
| |
325 | 325 |
| |
326 | 326 |
| |
327 |
| - | |
| 327 | + | |
328 | 328 |
| |
329 | 329 |
| |
330 | 330 |
| |
| |||
336 | 336 |
| |
337 | 337 |
| |
338 | 338 |
| |
339 |
| - | |
| 339 | + | |
340 | 340 |
| |
341 | 341 |
| |
342 | 342 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
195 | 195 |
| |
196 | 196 |
| |
197 | 197 |
| |
198 |
| - | |
| 198 | + | |
199 | 199 |
| |
200 | 200 |
| |
201 | 201 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
170 | 170 |
| |
171 | 171 |
| |
172 | 172 |
| |
173 |
| - | |
| 173 | + | |
174 | 174 |
| |
175 | 175 |
| |
176 | 176 |
| |
| |||
186 | 186 |
| |
187 | 187 |
| |
188 | 188 |
| |
189 |
| - | |
| 189 | + | |
190 | 190 |
| |
191 | 191 |
| |
192 | 192 |
| |
| |||
201 | 201 |
| |
202 | 202 |
| |
203 | 203 |
| |
204 |
| - | |
| 204 | + | |
205 | 205 |
| |
206 | 206 |
| |
207 | 207 |
| |
| |||
216 | 216 |
| |
217 | 217 |
| |
218 | 218 |
| |
219 |
| - | |
| 219 | + | |
220 | 220 |
| |
221 | 221 |
| |
222 | 222 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
360 | 360 |
| |
361 | 361 |
| |
362 | 362 |
| |
363 |
| - | |
| 363 | + | |
364 | 364 |
| |
365 | 365 |
| |
366 | 366 |
| |
|
0 commit comments