File tree
11 files changed
+78
-25
lines changed- lib/GHCup
- lib-opt/GHCup/OptParse
- lib-tui/GHCup/Brick
- Widgets
- Menus
- test/optparse-test
11 files changed
+78
-25
lines changedLines changed: 10 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
81 | 81 |
| |
82 | 82 |
| |
83 | 83 |
| |
| 84 | + | |
84 | 85 |
| |
85 | 86 |
| |
86 | 87 |
| |
| |||
166 | 167 |
| |
167 | 168 |
| |
168 | 169 |
| |
169 |
| - | |
| 170 | + | |
170 | 171 |
| |
171 | 172 |
| |
172 | 173 |
| |
| |||
315 | 316 |
| |
316 | 317 |
| |
317 | 318 |
| |
| 319 | + | |
| 320 | + | |
| 321 | + | |
| 322 | + | |
| 323 | + | |
| 324 | + | |
| 325 | + | |
318 | 326 |
| |
319 | 327 |
| |
320 | 328 |
| |
| |||
632 | 640 |
| |
633 | 641 |
| |
634 | 642 |
| |
| 643 | + | |
635 | 644 |
| |
636 | 645 |
| |
637 | 646 |
| |
|
Lines changed: 10 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
71 | 71 |
| |
72 | 72 |
| |
73 | 73 |
| |
| 74 | + | |
74 | 75 |
| |
75 | 76 |
| |
76 | 77 |
| |
| |||
207 | 208 |
| |
208 | 209 |
| |
209 | 210 |
| |
| 211 | + | |
| 212 | + | |
| 213 | + | |
| 214 | + | |
| 215 | + | |
| 216 | + | |
| 217 | + | |
210 | 218 |
| |
211 | 219 |
| |
212 | 220 |
| |
| |||
345 | 353 |
| |
346 | 354 |
| |
347 | 355 |
| |
| 356 | + | |
348 | 357 |
| |
349 | 358 |
| |
350 | 359 |
| |
| |||
362 | 371 |
| |
363 | 372 |
| |
364 | 373 |
| |
| 374 | + | |
365 | 375 |
| |
366 | 376 |
| |
367 | 377 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
382 | 382 |
| |
383 | 383 |
| |
384 | 384 |
| |
| 385 | + | |
385 | 386 |
| |
386 | 387 |
| |
387 | 388 |
| |
|
Lines changed: 7 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
193 | 193 |
| |
194 | 194 |
| |
195 | 195 |
| |
| 196 | + | |
196 | 197 |
| |
197 | 198 |
| |
198 | 199 |
| |
| |||
242 | 243 |
| |
243 | 244 |
| |
244 | 245 |
| |
245 |
| - | |
| 246 | + | |
246 | 247 |
| |
247 | 248 |
| |
248 | 249 |
| |
| |||
253 | 254 |
| |
254 | 255 |
| |
255 | 256 |
| |
256 |
| - | |
| 257 | + | |
| 258 | + | |
| 259 | + | |
257 | 260 |
| |
258 | 261 |
| |
259 | 262 |
| |
| |||
340 | 343 |
| |
341 | 344 |
| |
342 | 345 |
| |
343 |
| - | |
| 346 | + | |
344 | 347 |
| |
345 | 348 |
| |
346 | 349 |
| |
| |||
538 | 541 |
| |
539 | 542 |
| |
540 | 543 |
| |
| 544 | + | |
541 | 545 |
| |
542 | 546 |
| |
543 | 547 |
| |
|
Lines changed: 4 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
51 |
| - | |
| 51 | + | |
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
| |||
136 | 136 |
| |
137 | 137 |
| |
138 | 138 |
| |
| 139 | + | |
| 140 | + | |
| 141 | + | |
139 | 142 |
| |
140 | 143 |
| |
141 | 144 |
| |
|
Lines changed: 11 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
248 | 248 |
| |
249 | 249 |
| |
250 | 250 |
| |
251 |
| - | |
252 |
| - | |
| 251 | + | |
| 252 | + | |
253 | 253 |
| |
254 | 254 |
| |
255 | 255 |
| |
| |||
258 | 258 |
| |
259 | 259 |
| |
260 | 260 |
| |
| 261 | + | |
| 262 | + | |
261 | 263 |
| |
262 | 264 |
| |
263 | 265 |
| |
| |||
287 | 289 |
| |
288 | 290 |
| |
289 | 291 |
| |
290 |
| - | |
| 292 | + | |
291 | 293 |
| |
292 |
| - | |
293 |
| - | |
| 294 | + | |
| 295 | + | |
294 | 296 |
| |
295 |
| - | |
| 297 | + | |
| 298 | + | |
| 299 | + | |
| 300 | + | |
296 | 301 |
| |
297 | 302 |
| |
298 | 303 |
| |
|
Lines changed: 8 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
29 | 30 |
| |
30 | 31 |
| |
31 | 32 |
| |
| |||
55 | 56 |
| |
56 | 57 |
| |
57 | 58 |
| |
| 59 | + | |
58 | 60 |
| |
59 | 61 |
| |
60 | 62 |
| |
| |||
64 | 66 |
| |
65 | 67 |
| |
66 | 68 |
| |
| 69 | + | |
67 | 70 |
| |
68 | 71 |
| |
69 | 72 |
| |
| |||
72 | 75 |
| |
73 | 76 |
| |
74 | 77 |
| |
75 |
| - | |
| 78 | + | |
| 79 | + | |
76 | 80 |
| |
77 | 81 |
| |
78 | 82 |
| |
| |||
105 | 109 |
| |
106 | 110 |
| |
107 | 111 |
| |
| 112 | + | |
| 113 | + | |
| 114 | + | |
108 | 115 |
| |
109 | 116 |
| |
110 | 117 |
| |
|
Lines changed: 7 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
| 36 | + | |
36 | 37 |
| |
37 | 38 |
| |
38 | 39 |
| |
| |||
77 | 78 |
| |
78 | 79 |
| |
79 | 80 |
| |
| 81 | + | |
80 | 82 |
| |
81 | 83 |
| |
82 | 84 |
| |
| |||
86 | 88 |
| |
87 | 89 |
| |
88 | 90 |
| |
| 91 | + | |
89 | 92 |
| |
90 | 93 |
| |
91 | 94 |
| |
| |||
101 | 104 |
| |
102 | 105 |
| |
103 | 106 |
| |
| 107 | + | |
104 | 108 |
| |
105 | 109 |
| |
106 | 110 |
| |
| |||
223 | 227 |
| |
224 | 228 |
| |
225 | 229 |
| |
| 230 | + | |
| 231 | + | |
| 232 | + | |
226 | 233 |
| |
227 | 234 |
| |
228 | 235 |
| |
|
Lines changed: 16 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
295 | 295 |
| |
296 | 296 |
| |
297 | 297 |
| |
| 298 | + | |
298 | 299 |
| |
299 | 300 |
| |
300 | 301 |
| |
| |||
315 | 316 |
| |
316 | 317 |
| |
317 | 318 |
| |
318 |
| - | |
| 319 | + | |
319 | 320 |
| |
320 | 321 |
| |
321 | 322 |
| |
| |||
343 | 344 |
| |
344 | 345 |
| |
345 | 346 |
| |
346 |
| - | |
| 347 | + | |
347 | 348 |
| |
348 | 349 |
| |
349 | 350 |
| |
350 | 351 |
| |
351 |
| - | |
| 352 | + | |
352 | 353 |
| |
353 | 354 |
| |
354 | 355 |
| |
| |||
385 | 386 |
| |
386 | 387 |
| |
387 | 388 |
| |
| 389 | + | |
388 | 390 |
| |
389 | 391 |
| |
390 | 392 |
| |
| |||
394 | 396 |
| |
395 | 397 |
| |
396 | 398 |
| |
397 |
| - | |
| 399 | + | |
398 | 400 |
| |
399 | 401 |
| |
400 | 402 |
| |
| |||
411 | 413 |
| |
412 | 414 |
| |
413 | 415 |
| |
414 |
| - | |
| 416 | + | |
415 | 417 |
| |
416 | 418 |
| |
417 | 419 |
| |
| |||
433 | 435 |
| |
434 | 436 |
| |
435 | 437 |
| |
| 438 | + | |
436 | 439 |
| |
437 |
| - | |
| 440 | + | |
438 | 441 |
| |
439 | 442 |
| |
440 | 443 |
| |
| |||
460 | 463 |
| |
461 | 464 |
| |
462 | 465 |
| |
463 |
| - | |
| 466 | + | |
464 | 467 |
| |
465 | 468 |
| |
466 | 469 |
| |
| |||
525 | 528 |
| |
526 | 529 |
| |
527 | 530 |
| |
| 531 | + | |
528 | 532 |
| |
529 | 533 |
| |
530 | 534 |
| |
| |||
550 | 554 |
| |
551 | 555 |
| |
552 | 556 |
| |
553 |
| - | |
| 557 | + | |
554 | 558 |
| |
555 |
| - | |
| 559 | + | |
556 | 560 |
| |
557 | 561 |
| |
558 | 562 |
| |
| |||
806 | 810 |
| |
807 | 811 |
| |
808 | 812 |
| |
| 813 | + | |
809 | 814 |
| |
810 | 815 |
| |
811 | 816 |
| |
| |||
834 | 839 |
| |
835 | 840 |
| |
836 | 841 |
| |
837 |
| - | |
| 842 | + | |
838 | 843 |
| |
839 | 844 |
| |
840 | 845 |
| |
| |||
1028 | 1033 |
| |
1029 | 1034 |
| |
1030 | 1035 |
| |
| 1036 | + | |
1031 | 1037 |
| |
1032 | 1038 |
| |
1033 | 1039 |
| |
|
0 commit comments