Commit 494aaaa
1 parent 4e027fa commit 494aaaa
File tree
10 files changed
+317
-18
lines changed- pkg/front_end
- lib/src/fasta/kernel
- testcases/const_functions
- tests/language/const_functions
10 files changed
+317
-18
lines changedLines changed: 39 additions & 18 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
543 | 543 |
| |
544 | 544 |
| |
545 | 545 |
| |
546 |
| - | |
| 546 | + | |
547 | 547 |
| |
548 | 548 |
| |
549 | 549 |
| |
| |||
559 | 559 |
| |
560 | 560 |
| |
561 | 561 |
| |
562 |
| - | |
| 562 | + | |
563 | 563 |
| |
564 | 564 |
| |
565 | 565 |
| |
| |||
1669 | 1669 |
| |
1670 | 1670 |
| |
1671 | 1671 |
| |
1672 |
| - | |
| 1672 | + | |
1673 | 1673 |
| |
1674 | 1674 |
| |
1675 | 1675 |
| |
1676 | 1676 |
| |
1677 | 1677 |
| |
1678 | 1678 |
| |
1679 |
| - | |
| 1679 | + | |
1680 | 1680 |
| |
1681 | 1681 |
| |
1682 | 1682 |
| |
| |||
1697 | 1697 |
| |
1698 | 1698 |
| |
1699 | 1699 |
| |
1700 |
| - | |
| 1700 | + | |
1701 | 1701 |
| |
1702 | 1702 |
| |
1703 | 1703 |
| |
| |||
2412 | 2412 |
| |
2413 | 2413 |
| |
2414 | 2414 |
| |
2415 |
| - | |
| 2415 | + | |
2416 | 2416 |
| |
2417 | 2417 |
| |
2418 | 2418 |
| |
| |||
2445 | 2445 |
| |
2446 | 2446 |
| |
2447 | 2447 |
| |
| 2448 | + | |
| 2449 | + | |
| 2450 | + | |
| 2451 | + | |
| 2452 | + | |
| 2453 | + | |
| 2454 | + | |
| 2455 | + | |
| 2456 | + | |
| 2457 | + | |
| 2458 | + | |
| 2459 | + | |
| 2460 | + | |
2448 | 2461 |
| |
2449 | 2462 |
| |
2450 | 2463 |
| |
| |||
2772 | 2785 |
| |
2773 | 2786 |
| |
2774 | 2787 |
| |
2775 |
| - | |
| 2788 | + | |
2776 | 2789 |
| |
2777 | 2790 |
| |
2778 | 2791 |
| |
2779 | 2792 |
| |
2780 | 2793 |
| |
2781 | 2794 |
| |
2782 |
| - | |
| 2795 | + | |
2783 | 2796 |
| |
2784 | 2797 |
| |
2785 | 2798 |
| |
| |||
3295 | 3308 |
| |
3296 | 3309 |
| |
3297 | 3310 |
| |
3298 |
| - | |
3299 |
| - | |
3300 |
| - | |
3301 | 3311 |
| |
3302 | 3312 |
| |
3303 | 3313 |
| |
| |||
3329 | 3339 |
| |
3330 | 3340 |
| |
3331 | 3341 |
| |
| 3342 | + | |
| 3343 | + | |
| 3344 | + | |
| 3345 | + | |
| 3346 | + | |
| 3347 | + | |
| 3348 | + | |
3332 | 3349 |
| |
3333 | 3350 |
| |
3334 | 3351 |
| |
| |||
3337 | 3354 |
| |
3338 | 3355 |
| |
3339 | 3356 |
| |
3340 |
| - | |
| 3357 | + | |
3341 | 3358 |
| |
3342 | 3359 |
| |
3343 | 3360 |
| |
| |||
3426 | 3443 |
| |
3427 | 3444 |
| |
3428 | 3445 |
| |
3429 |
| - | |
3430 |
| - | |
3431 |
| - | |
3432 |
| - | |
3433 |
| - | |
3434 |
| - | |
| 3446 | + | |
| 3447 | + | |
3435 | 3448 |
| |
3436 | 3449 |
| |
3437 | 3450 |
| |
3438 | 3451 |
| |
3439 | 3452 |
| |
| 3453 | + | |
| 3454 | + | |
| 3455 | + | |
| 3456 | + | |
| 3457 | + | |
| 3458 | + | |
| 3459 | + | |
| 3460 | + | |
3440 | 3461 |
| |
3441 | 3462 |
| |
3442 | 3463 |
| |
|
Lines changed: 42 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 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + |
Lines changed: 39 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 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + |
Lines changed: 39 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 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + |
Lines changed: 8 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + |
Lines changed: 8 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + |
Lines changed: 39 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 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + |
Lines changed: 16 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 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + |
Lines changed: 39 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 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + |
0 commit comments