File tree
17 files changed
+3
-281
lines changed- src
- Compiler
- Checking
- Driver
- Facilities
- Optimize
- SyntaxTree
- TypedTree
- Utilities
- FSharp.Core
17 files changed
+3
-281
lines changedLines changed: 0 additions & 25 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
920 | 920 |
| |
921 | 921 |
| |
922 | 922 |
| |
923 |
| - | |
924 |
| - | |
925 |
| - | |
926 |
| - | |
927 |
| - | |
928 | 923 |
| |
929 | 924 |
| |
930 | 925 |
| |
| |||
1142 | 1137 |
| |
1143 | 1138 |
| |
1144 | 1139 |
| |
1145 |
| - | |
1146 |
| - | |
1147 |
| - | |
1148 |
| - | |
1149 |
| - | |
1150 |
| - | |
1151 |
| - | |
1152 | 1140 |
| |
1153 | 1141 |
| |
1154 | 1142 |
| |
| |||
1196 | 1184 |
| |
1197 | 1185 |
| |
1198 | 1186 |
| |
1199 |
| - | |
1200 |
| - | |
1201 |
| - | |
1202 | 1187 |
| |
1203 | 1188 |
| |
1204 | 1189 |
| |
| |||
1417 | 1402 |
| |
1418 | 1403 |
| |
1419 | 1404 |
| |
1420 |
| - | |
1421 |
| - | |
1422 |
| - | |
1423 |
| - | |
1424 |
| - | |
1425 |
| - | |
1426 |
| - | |
1427 |
| - | |
1428 |
| - | |
1429 |
| - | |
1430 | 1405 |
| |
1431 | 1406 |
| |
1432 | 1407 |
| |
|
Lines changed: 0 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2614 | 2614 |
| |
2615 | 2615 |
| |
2616 | 2616 |
| |
2617 |
| - | |
2618 |
| - | |
2619 |
| - | |
2620 |
| - | |
2621 | 2617 |
| |
2622 | 2618 |
| |
2623 |
| - | |
2624 | 2619 |
| |
2625 | 2620 |
| |
2626 | 2621 |
| |
| |||
12386 | 12381 |
| |
12387 | 12382 |
| |
12388 | 12383 |
| |
12389 |
| - | |
12390 |
| - | |
12391 |
| - | |
12392 | 12384 |
| |
12393 |
| - | |
12394 | 12385 |
| |
12395 | 12386 |
| |
12396 | 12387 |
| |
|
Lines changed: 1 addition & 20 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1058 | 1058 |
| |
1059 | 1059 |
| |
1060 | 1060 |
| |
1061 |
| - | |
1062 |
| - | |
1063 |
| - | |
1064 |
| - | |
1065 | 1061 |
| |
1066 | 1062 |
| |
1067 | 1063 |
| |
| |||
2895 | 2891 |
| |
2896 | 2892 |
| |
2897 | 2893 |
| |
2898 |
| - | |
2899 |
| - | |
2900 |
| - | |
2901 |
| - | |
| 2894 | + | |
2902 | 2895 |
| |
2903 | 2896 |
| |
2904 | 2897 |
| |
2905 | 2898 |
| |
2906 |
| - | |
2907 |
| - | |
2908 |
| - | |
2909 |
| - | |
2910 |
| - | |
2911 |
| - | |
2912 |
| - | |
2913 |
| - | |
2914 | 2899 |
| |
2915 | 2900 |
| |
2916 | 2901 |
| |
| |||
2971 | 2956 |
| |
2972 | 2957 |
| |
2973 | 2958 |
| |
2974 |
| - | |
2975 | 2959 |
| |
2976 | 2960 |
| |
2977 | 2961 |
| |
2978 |
| - | |
2979 |
| - | |
2980 |
| - | |
2981 | 2962 |
| |
2982 | 2963 |
| |
2983 | 2964 |
| |
|
Lines changed: 0 additions & 20 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
430 | 430 |
| |
431 | 431 |
| |
432 | 432 |
| |
433 |
| - | |
434 |
| - | |
435 |
| - | |
436 |
| - | |
437 |
| - | |
438 |
| - | |
439 | 433 |
| |
440 |
| - | |
441 | 434 |
| |
442 | 435 |
| |
443 | 436 |
| |
| |||
1371 | 1364 |
| |
1372 | 1365 |
| |
1373 | 1366 |
| |
1374 |
| - | |
1375 |
| - | |
1376 |
| - | |
1377 |
| - | |
1378 |
| - | |
1379 |
| - | |
1380 | 1367 |
| |
1381 | 1368 |
| |
1382 | 1369 |
| |
| |||
1943 | 1930 |
| |
1944 | 1931 |
| |
1945 | 1932 |
| |
1946 |
| - | |
1947 |
| - | |
1948 |
| - | |
1949 |
| - | |
1950 |
| - | |
1951 |
| - | |
1952 |
| - | |
1953 | 1933 |
| |
1954 | 1934 |
| |
1955 | 1935 |
| |
|
Lines changed: 0 additions & 53 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
735 | 735 |
| |
736 | 736 |
| |
737 | 737 |
| |
738 |
| - | |
739 |
| - | |
740 |
| - | |
741 |
| - | |
742 |
| - | |
743 |
| - | |
744 |
| - | |
745 |
| - | |
746 |
| - | |
747 |
| - | |
748 |
| - | |
749 |
| - | |
750 |
| - | |
751 |
| - | |
752 |
| - | |
753 |
| - | |
754 |
| - | |
755 |
| - | |
756 |
| - | |
757 |
| - | |
758 | 738 |
| |
759 | 739 |
| |
760 | 740 |
| |
| |||
806 | 786 |
| |
807 | 787 |
| |
808 | 788 |
| |
809 |
| - | |
810 |
| - | |
811 |
| - | |
812 |
| - | |
813 |
| - | |
814 |
| - | |
815 |
| - | |
816 |
| - | |
817 |
| - | |
818 |
| - | |
819 |
| - | |
820 | 789 |
| |
821 | 790 |
| |
822 | 791 |
| |
| |||
1272 | 1241 |
| |
1273 | 1242 |
| |
1274 | 1243 |
| |
1275 |
| - | |
1276 |
| - | |
1277 |
| - | |
1278 |
| - | |
1279 |
| - | |
1280 |
| - | |
1281 |
| - | |
1282 |
| - | |
1283 |
| - | |
1284 |
| - | |
1285 |
| - | |
1286 |
| - | |
1287 |
| - | |
1288 |
| - | |
1289 |
| - | |
1290 |
| - | |
1291 |
| - | |
1292 |
| - | |
1293 |
| - | |
1294 | 1244 |
| |
1295 | 1245 |
| |
1296 | 1246 |
| |
| |||
1343 | 1293 |
| |
1344 | 1294 |
| |
1345 | 1295 |
| |
1346 |
| - | |
1347 |
| - | |
1348 |
| - | |
1349 | 1296 |
| |
1350 | 1297 |
| |
1351 | 1298 |
| |
|
Lines changed: 0 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2144 | 2144 |
| |
2145 | 2145 |
| |
2146 | 2146 |
| |
2147 |
| - | |
2148 |
| - | |
2149 |
| - | |
2150 |
| - | |
2151 | 2147 |
| |
2152 | 2148 |
| |
2153 | 2149 |
| |
|
Lines changed: 0 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2336 | 2336 |
| |
2337 | 2337 |
| |
2338 | 2338 |
| |
2339 |
| - | |
2340 |
| - | |
2341 |
| - | |
2342 |
| - | |
2343 |
| - | |
2344 |
| - | |
2345 | 2339 |
| |
2346 | 2340 |
| |
2347 | 2341 |
| |
| |||
2374 | 2368 |
| |
2375 | 2369 |
| |
2376 | 2370 |
| |
2377 |
| - | |
2378 | 2371 |
| |
2379 | 2372 |
| |
2380 | 2373 |
| |
|
Lines changed: 0 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
229 | 229 |
| |
230 | 230 |
| |
231 | 231 |
| |
232 |
| - | |
233 |
| - | |
234 |
| - | |
235 | 232 |
| |
236 |
| - | |
237 | 233 |
| |
238 | 234 |
| |
239 | 235 |
| |
|
Lines changed: 0 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2521 | 2521 |
| |
2522 | 2522 |
| |
2523 | 2523 |
| |
2524 |
| - | |
2525 |
| - | |
2526 |
| - | |
2527 |
| - | |
2528 |
| - | |
2529 |
| - | |
2530 |
| - | |
2531 | 2524 |
| |
2532 | 2525 |
| |
2533 | 2526 |
| |
|
Lines changed: 0 additions & 40 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
118 | 118 |
| |
119 | 119 |
| |
120 | 120 |
| |
121 |
| - | |
122 |
| - | |
123 |
| - | |
124 |
| - | |
125 |
| - | |
126 |
| - | |
127 |
| - | |
128 |
| - | |
129 |
| - | |
130 |
| - | |
131 |
| - | |
132 |
| - | |
133 |
| - | |
134 |
| - | |
135 |
| - | |
136 |
| - | |
137 |
| - | |
138 |
| - | |
139 |
| - | |
140 |
| - | |
141 |
| - | |
142 |
| - | |
143 |
| - | |
144 |
| - | |
145 |
| - | |
146 |
| - | |
147 |
| - | |
148 |
| - | |
149 |
| - | |
150 |
| - | |
151 |
| - | |
152 |
| - | |
153 |
| - | |
154 |
| - | |
155 |
| - | |
156 |
| - | |
157 |
| - | |
158 |
| - | |
159 |
| - | |
160 |
| - | |
161 | 121 |
| |
162 | 122 |
| |
163 | 123 |
| |
|
Lines changed: 0 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
854 | 854 |
| |
855 | 855 |
| |
856 | 856 |
| |
857 |
| - | |
858 |
| - | |
859 |
| - | |
860 | 857 |
| |
861 | 858 |
| |
862 | 859 |
| |
| |||
919 | 916 |
| |
920 | 917 |
| |
921 | 918 |
| |
922 |
| - | |
923 |
| - | |
924 |
| - | |
925 | 919 |
| |
926 | 920 |
| |
927 | 921 |
| |
|
Lines changed: 0 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
374 | 374 |
| |
375 | 375 |
| |
376 | 376 |
| |
377 |
| - | |
378 |
| - | |
379 |
| - | |
380 |
| - | |
381 | 377 |
| |
382 | 378 |
| |
383 | 379 |
| |
|
0 commit comments