Commit 08585b9
authored
Set of extra ignored diagnostics for REPL mode (#1396)
* empty commit
* Add mechanism to ignore diagnostics in certain files; use it to ignore annoying diagnostics in the REPL
* misc cleanup of commented-out code
* Apply the new diagnostic filtering only to interactive REPL; not to [stdin] nor [eval]
* Fix missing addDiagnosticFilter implementation; lint format
* WIP
* Finish; add tests
* revert unnecessary formatting changes1 parent 6681fcd commit 08585b9
File tree
7 files changed
+293
-96
lines changed- src
- test
- tests/repl-ignored-diagnostics
7 files changed
+293
-96
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
197 | 197 | | |
198 | 198 | | |
199 | 199 | | |
200 | | - | |
201 | | - | |
202 | | - | |
203 | | - | |
204 | | - | |
205 | 200 | | |
206 | 201 | | |
207 | 202 | | |
| |||
210 | 205 | | |
211 | 206 | | |
212 | 207 | | |
| 208 | + | |
213 | 209 | | |
214 | 210 | | |
215 | 211 | | |
| |||
225 | 221 | | |
226 | 222 | | |
227 | 223 | | |
| 224 | + | |
228 | 225 | | |
229 | 226 | | |
230 | 227 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
410 | 410 | | |
411 | 411 | | |
412 | 412 | | |
| 413 | + | |
| 414 | + | |
413 | 415 | | |
414 | 416 | | |
415 | 417 | | |
| |||
419 | 421 | | |
420 | 422 | | |
421 | 423 | | |
| 424 | + | |
| 425 | + | |
| 426 | + | |
| 427 | + | |
| 428 | + | |
| 429 | + | |
| 430 | + | |
| 431 | + | |
| 432 | + | |
| 433 | + | |
422 | 434 | | |
423 | 435 | | |
424 | 436 | | |
| |||
516 | 528 | | |
517 | 529 | | |
518 | 530 | | |
519 | | - | |
520 | | - | |
521 | | - | |
522 | | - | |
523 | | - | |
524 | | - | |
| 531 | + | |
| 532 | + | |
| 533 | + | |
| 534 | + | |
| 535 | + | |
| 536 | + | |
| 537 | + | |
| 538 | + | |
| 539 | + | |
| 540 | + | |
| 541 | + | |
| 542 | + | |
525 | 543 | | |
526 | 544 | | |
527 | 545 | | |
528 | | - | |
| 546 | + | |
529 | 547 | | |
530 | 548 | | |
531 | 549 | | |
| |||
804 | 822 | | |
805 | 823 | | |
806 | 824 | | |
807 | | - | |
| 825 | + | |
808 | 826 | | |
809 | 827 | | |
810 | 828 | | |
| |||
963 | 981 | | |
964 | 982 | | |
965 | 983 | | |
966 | | - | |
| 984 | + | |
967 | 985 | | |
968 | 986 | | |
969 | 987 | | |
| |||
1079 | 1097 | | |
1080 | 1098 | | |
1081 | 1099 | | |
1082 | | - | |
| 1100 | + | |
1083 | 1101 | | |
1084 | 1102 | | |
1085 | 1103 | | |
| |||
1141 | 1159 | | |
1142 | 1160 | | |
1143 | 1161 | | |
| 1162 | + | |
| 1163 | + | |
| 1164 | + | |
| 1165 | + | |
1144 | 1166 | | |
1145 | 1167 | | |
1146 | 1168 | | |
| |||
1151 | 1173 | | |
1152 | 1174 | | |
1153 | 1175 | | |
| 1176 | + | |
1154 | 1177 | | |
1155 | 1178 | | |
1156 | 1179 | | |
| |||
1306 | 1329 | | |
1307 | 1330 | | |
1308 | 1331 | | |
1309 | | - | |
| 1332 | + | |
1310 | 1333 | | |
1311 | | - | |
| 1334 | + | |
| 1335 | + | |
| 1336 | + | |
| 1337 | + | |
| 1338 | + | |
| 1339 | + | |
| 1340 | + | |
| 1341 | + | |
1312 | 1342 | | |
1313 | 1343 | | |
1314 | 1344 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
59 | 59 | | |
60 | 60 | | |
61 | 61 | | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
62 | 67 | | |
63 | 68 | | |
64 | 69 | | |
| |||
86 | 91 | | |
87 | 92 | | |
88 | 93 | | |
| 94 | + | |
89 | 95 | | |
90 | 96 | | |
91 | 97 | | |
| |||
103 | 109 | | |
104 | 110 | | |
105 | 111 | | |
| 112 | + | |
| 113 | + | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
106 | 123 | | |
107 | 124 | | |
108 | 125 | | |
| |||
0 commit comments