File tree
17 files changed
+425
-45
lines changed- core
- src
- error
- eval
- parser
- term
- transform
- typecheck
- lsp/nls/src/requests
17 files changed
+425
-45
lines changedLines changed: 8 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
| 40 | + | |
40 | 41 |
| |
41 | 42 |
| |
42 | 43 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
| 37 | + | |
37 | 38 |
| |
38 | 39 |
| |
39 | 40 |
| |
| |||
79 | 80 |
| |
80 | 81 |
| |
81 | 82 |
| |
| 83 | + | |
82 | 84 |
| |
83 | 85 |
| |
84 | 86 |
| |
|
Lines changed: 44 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| 8 | + | |
8 | 9 |
| |
9 | 10 |
| |
10 | 11 |
| |
| |||
75 | 76 |
| |
76 | 77 |
| |
77 | 78 |
| |
| 79 | + | |
78 | 80 |
| |
79 | 81 |
| |
80 | 82 |
| |
| |||
86 | 88 |
| |
87 | 89 |
| |
88 | 90 |
| |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
89 | 95 |
| |
90 | 96 |
| |
91 | 97 |
| |
| |||
94 | 100 |
| |
95 | 101 |
| |
96 | 102 |
| |
| 103 | + | |
| 104 | + | |
97 | 105 |
| |
98 | 106 |
| |
99 | 107 |
| |
| |||
338 | 346 |
| |
339 | 347 |
| |
340 | 348 |
| |
| 349 | + | |
341 | 350 |
| |
342 | 351 |
| |
343 | 352 |
| |
| 353 | + | |
344 | 354 |
| |
345 | 355 |
| |
346 | 356 |
| |
| |||
354 | 364 |
| |
355 | 365 |
| |
356 | 366 |
| |
| 367 | + | |
| 368 | + | |
| 369 | + | |
| 370 | + | |
357 | 371 |
| |
358 | 372 |
| |
359 | 373 |
| |
| |||
1313 | 1327 |
| |
1314 | 1328 |
| |
1315 | 1329 |
| |
| 1330 | + | |
1316 | 1331 |
| |
1317 | 1332 |
| |
1318 | 1333 |
| |
| |||
1327 | 1342 |
| |
1328 | 1343 |
| |
1329 | 1344 |
| |
| 1345 | + | |
1330 | 1346 |
| |
1331 | 1347 |
| |
1332 |
| - | |
1333 |
| - | |
1334 |
| - | |
1335 |
| - | |
1336 |
| - | |
1337 |
| - | |
1338 |
| - | |
1339 |
| - | |
1340 |
| - | |
1341 |
| - | |
| 1348 | + | |
| 1349 | + | |
| 1350 | + | |
| 1351 | + | |
| 1352 | + | |
| 1353 | + | |
| 1354 | + | |
| 1355 | + | |
| 1356 | + | |
| 1357 | + | |
| 1358 | + | |
| 1359 | + | |
| 1360 | + | |
| 1361 | + | |
| 1362 | + | |
| 1363 | + | |
| 1364 | + | |
| 1365 | + | |
| 1366 | + | |
| 1367 | + | |
| 1368 | + | |
1342 | 1369 |
| |
1343 | 1370 |
| |
1344 | 1371 |
| |
| |||
1374 | 1401 |
| |
1375 | 1402 |
| |
1376 | 1403 |
| |
| 1404 | + | |
| 1405 | + | |
| 1406 | + | |
| 1407 | + | |
1377 | 1408 |
| |
1378 | 1409 |
| |
1379 | 1410 |
| |
| |||
1414 | 1445 |
| |
1415 | 1446 |
| |
1416 | 1447 |
| |
1417 |
| - | |
| 1448 | + | |
1418 | 1449 |
| |
1419 | 1450 |
| |
1420 | 1451 |
| |
| |||
1461 | 1492 |
| |
1462 | 1493 |
| |
1463 | 1494 |
| |
| 1495 | + | |
1464 | 1496 |
| |
1465 | 1497 |
| |
1466 | 1498 |
| |
| |||
1502 | 1534 |
| |
1503 | 1535 |
| |
1504 | 1536 |
| |
| 1537 | + | |
1505 | 1538 |
| |
1506 | 1539 |
| |
1507 | 1540 |
| |
|
Lines changed: 44 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
| |||
18 | 19 |
| |
19 | 20 |
| |
20 | 21 |
| |
| 22 | + | |
21 | 23 |
| |
22 | 24 |
| |
23 | 25 |
| |
| |||
558 | 560 |
| |
559 | 561 |
| |
560 | 562 |
| |
| 563 | + | |
| 564 | + | |
561 | 565 |
| |
562 | 566 |
| |
563 | 567 |
| |
| |||
569 | 573 |
| |
570 | 574 |
| |
571 | 575 |
| |
| 576 | + | |
| 577 | + | |
| 578 | + | |
| 579 | + | |
| 580 | + | |
| 581 | + | |
| 582 | + | |
| 583 | + | |
| 584 | + | |
572 | 585 |
| |
573 | 586 |
| |
574 | 587 |
| |
| |||
2527 | 2540 |
| |
2528 | 2541 |
| |
2529 | 2542 |
| |
| 2543 | + | |
| 2544 | + | |
| 2545 | + | |
| 2546 | + | |
| 2547 | + | |
| 2548 | + | |
| 2549 | + | |
| 2550 | + | |
| 2551 | + | |
| 2552 | + | |
| 2553 | + | |
2530 | 2554 |
| |
2531 | 2555 |
| |
2532 | 2556 |
| |
| |||
2552 | 2576 |
| |
2553 | 2577 |
| |
2554 | 2578 |
| |
| 2579 | + | |
| 2580 | + | |
| 2581 | + | |
| 2582 | + | |
| 2583 | + | |
| 2584 | + | |
| 2585 | + | |
| 2586 | + | |
| 2587 | + | |
| 2588 | + | |
| 2589 | + | |
| 2590 | + | |
| 2591 | + | |
| 2592 | + | |
| 2593 | + | |
| 2594 | + | |
| 2595 | + | |
| 2596 | + | |
| 2597 | + | |
| 2598 | + | |
2555 | 2599 |
| |
2556 | 2600 |
| |
2557 | 2601 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
785 | 785 |
| |
786 | 786 |
| |
787 | 787 |
| |
788 |
| - | |
| 788 | + | |
789 | 789 |
| |
790 | 790 |
| |
791 | 791 |
| |
| |||
1159 | 1159 |
| |
1160 | 1160 |
| |
1161 | 1161 |
| |
1162 |
| - | |
| 1162 | + | |
1163 | 1163 |
| |
1164 | 1164 |
| |
1165 | 1165 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
| 12 | + | |
12 | 13 |
| |
13 | 14 |
| |
14 | 15 |
| |
|
0 commit comments