This repository was archived by the owner on Feb 25, 2025. It is now read-only.
Commit 63c5e7f
File tree
39 files changed
+262
-106
lines changed- pkg/front_end
- lib/src/fasta
- builder
- kernel
- source
- testcases/enhanced_enums
- test/macros
- data
- pkgs
- macro_builder/lib
- src
- macro/lib
- tests
- declare_vs_apply
- import_macro_source
- multiple_macros
- use_macro_source
- tools
39 files changed
+262
-106
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
121 | 121 | | |
122 | 122 | | |
123 | 123 | | |
124 | | - | |
| 124 | + | |
| 125 | + | |
125 | 126 | | |
126 | 127 | | |
127 | 128 | | |
| |||
374 | 375 | | |
375 | 376 | | |
376 | 377 | | |
377 | | - | |
| 378 | + | |
378 | 379 | | |
379 | 380 | | |
380 | 381 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | | - | |
| 9 | + | |
| 10 | + | |
10 | 11 | | |
11 | 12 | | |
12 | 13 | | |
| |||
26 | 27 | | |
27 | 28 | | |
28 | 29 | | |
29 | | - | |
30 | 30 | | |
31 | | - | |
32 | 31 | | |
33 | 32 | | |
34 | 33 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1775 | 1775 | | |
1776 | 1776 | | |
1777 | 1777 | | |
| 1778 | + | |
1778 | 1779 | | |
1779 | 1780 | | |
1780 | 1781 | | |
| |||
2340 | 2341 | | |
2341 | 2342 | | |
2342 | 2343 | | |
| 2344 | + | |
| 2345 | + | |
| 2346 | + | |
| 2347 | + | |
| 2348 | + | |
| 2349 | + | |
| 2350 | + | |
| 2351 | + | |
2343 | 2352 | | |
2344 | 2353 | | |
2345 | 2354 | | |
| |||
2354 | 2363 | | |
2355 | 2364 | | |
2356 | 2365 | | |
2357 | | - | |
2358 | | - | |
| 2366 | + | |
| 2367 | + | |
2359 | 2368 | | |
2360 | 2369 | | |
2361 | 2370 | | |
2362 | 2371 | | |
2363 | 2372 | | |
2364 | 2373 | | |
2365 | | - | |
2366 | 2374 | | |
2367 | | - | |
2368 | | - | |
2369 | | - | |
2370 | 2375 | | |
2371 | 2376 | | |
2372 | 2377 | | |
| |||
3029 | 3034 | | |
3030 | 3035 | | |
3031 | 3036 | | |
3032 | | - | |
3033 | 3037 | | |
3034 | 3038 | | |
3035 | 3039 | | |
| |||
3068 | 3072 | | |
3069 | 3073 | | |
3070 | 3074 | | |
3071 | | - | |
3072 | 3075 | | |
3073 | 3076 | | |
3074 | 3077 | | |
| |||
3107 | 3110 | | |
3108 | 3111 | | |
3109 | 3112 | | |
3110 | | - | |
3111 | 3113 | | |
3112 | 3114 | | |
3113 | 3115 | | |
| |||
3123 | 3125 | | |
3124 | 3126 | | |
3125 | 3127 | | |
3126 | | - | |
3127 | | - | |
3128 | | - | |
3129 | | - | |
3130 | | - | |
3131 | | - | |
3132 | | - | |
3133 | | - | |
3134 | | - | |
3135 | | - | |
3136 | | - | |
3137 | | - | |
3138 | | - | |
3139 | | - | |
3140 | | - | |
3141 | | - | |
3142 | | - | |
3143 | | - | |
3144 | | - | |
3145 | | - | |
3146 | | - | |
3147 | | - | |
3148 | | - | |
3149 | | - | |
3150 | 3128 | | |
3151 | 3129 | | |
3152 | 3130 | | |
3153 | 3131 | | |
3154 | 3132 | | |
3155 | 3133 | | |
| 3134 | + | |
| 3135 | + | |
| 3136 | + | |
3156 | 3137 | | |
3157 | 3138 | | |
3158 | 3139 | | |
| |||
3337 | 3318 | | |
3338 | 3319 | | |
3339 | 3320 | | |
| 3321 | + | |
3340 | 3322 | | |
Lines changed: 42 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2815 | 2815 | | |
2816 | 2816 | | |
2817 | 2817 | | |
| 2818 | + | |
2818 | 2819 | | |
2819 | 2820 | | |
2820 | 2821 | | |
| |||
2829 | 2830 | | |
2830 | 2831 | | |
2831 | 2832 | | |
2832 | | - | |
| 2833 | + | |
| 2834 | + | |
| 2835 | + | |
| 2836 | + | |
| 2837 | + | |
2833 | 2838 | | |
2834 | 2839 | | |
2835 | 2840 | | |
| |||
2839 | 2844 | | |
2840 | 2845 | | |
2841 | 2846 | | |
2842 | | - | |
2843 | | - | |
| 2847 | + | |
| 2848 | + | |
2844 | 2849 | | |
2845 | 2850 | | |
2846 | | - | |
2847 | | - | |
| 2851 | + | |
| 2852 | + | |
| 2853 | + | |
| 2854 | + | |
| 2855 | + | |
| 2856 | + | |
| 2857 | + | |
| 2858 | + | |
| 2859 | + | |
| 2860 | + | |
| 2861 | + | |
| 2862 | + | |
| 2863 | + | |
| 2864 | + | |
| 2865 | + | |
| 2866 | + | |
| 2867 | + | |
| 2868 | + | |
| 2869 | + | |
| 2870 | + | |
| 2871 | + | |
| 2872 | + | |
| 2873 | + | |
| 2874 | + | |
| 2875 | + | |
| 2876 | + | |
| 2877 | + | |
| 2878 | + | |
| 2879 | + | |
| 2880 | + | |
| 2881 | + | |
| 2882 | + | |
| 2883 | + | |
| 2884 | + | |
2848 | 2885 | | |
2849 | 2886 | | |
2850 | 2887 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1409 | 1409 | | |
1410 | 1410 | | |
1411 | 1411 | | |
1412 | | - | |
1413 | | - | |
1414 | 1412 | | |
1415 | 1413 | | |
1416 | 1414 | | |
| |||
1438 | 1436 | | |
1439 | 1437 | | |
1440 | 1438 | | |
1441 | | - | |
1442 | | - | |
1443 | | - | |
1444 | | - | |
1445 | | - | |
1446 | | - | |
1447 | | - | |
1448 | | - | |
1449 | | - | |
1450 | | - | |
1451 | | - | |
| 1439 | + | |
1452 | 1440 | | |
1453 | 1441 | | |
1454 | 1442 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | | - | |
10 | | - | |
| 9 | + | |
| 10 | + | |
11 | 11 | | |
12 | 12 | | |
13 | 13 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
5 | | - | |
| 5 | + | |
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
| |||
Lines changed: 0 additions & 5 deletions
This file was deleted.
Lines changed: 0 additions & 5 deletions
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
8 | | - | |
| 7 | + | |
| 8 | + | |
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
| 13 | + | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
| |||
0 commit comments