File tree
8 files changed
+58
-74
lines changed- .github/workflows
- ghcide
- test
- ghcide-bench
8 files changed
+58
-74
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
101 | 101 |
| |
102 | 102 |
| |
103 | 103 |
| |
104 |
| - | |
| 104 | + | |
105 | 105 |
| |
106 | 106 |
| |
107 | 107 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
9 | 8 |
| |
10 | 9 |
| |
11 | 10 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
67 | 67 |
| |
68 | 68 |
| |
69 | 69 |
| |
70 |
| - | |
71 |
| - | |
| 70 | + | |
72 | 71 |
| |
73 | 72 |
| |
74 | 73 |
| |
|
Lines changed: 37 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| |||
280 | 280 |
| |
281 | 281 |
| |
282 | 282 |
| |
| 283 | + | |
| 284 | + | |
| 285 | + | |
| 286 | + | |
| 287 | + | |
| 288 | + | |
| 289 | + | |
| 290 | + | |
| 291 | + | |
| 292 | + | |
| 293 | + | |
| 294 | + | |
| 295 | + | |
| 296 | + | |
| 297 | + | |
| 298 | + | |
| 299 | + | |
| 300 | + | |
| 301 | + | |
| 302 | + | |
| 303 | + | |
| 304 | + | |
| 305 | + | |
| 306 | + | |
| 307 | + | |
| 308 | + | |
| 309 | + | |
| 310 | + | |
| 311 | + | |
| 312 | + | |
| 313 | + | |
| 314 | + | |
| 315 | + | |
| 316 | + | |
283 | 317 |
| |
284 | 318 |
| |
285 | 319 |
| |
| |||
301 | 335 |
| |
302 | 336 |
| |
303 | 337 |
| |
| 338 | + | |
304 | 339 |
| |
305 | 340 |
| |
306 | 341 |
| |
| |||
330 | 365 |
| |
331 | 366 |
| |
332 | 367 |
| |
333 |
| - | |
| 368 | + | |
334 | 369 |
| |
335 | 370 |
| |
336 | 371 |
| |
| |||
343 | 378 |
| |
344 | 379 |
| |
345 | 380 |
| |
346 |
| - | |
347 |
| - | |
348 |
| - | |
349 | 381 |
| |
350 | 382 |
| |
351 | 383 |
| |
|
Lines changed: 0 additions & 50 deletions
This file was deleted.
Lines changed: 19 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
84 | 84 |
| |
85 | 85 |
| |
86 | 86 |
| |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
87 | 93 |
| |
88 | 94 |
| |
89 | 95 |
| |
| |||
326 | 332 |
| |
327 | 333 |
| |
328 | 334 |
| |
329 |
| - | |
330 |
| - | |
| 335 | + | |
| 336 | + | |
331 | 337 |
| |
332 | 338 |
| |
333 | 339 |
| |
| |||
459 | 465 |
| |
460 | 466 |
| |
461 | 467 |
| |
462 |
| - | |
| 468 | + | |
463 | 469 |
| |
464 | 470 |
| |
465 | 471 |
| |
| |||
1194 | 1200 |
| |
1195 | 1201 |
| |
1196 | 1202 |
| |
1197 |
| - | |
| 1203 | + | |
1198 | 1204 |
| |
1199 | 1205 |
| |
1200 | 1206 |
| |
| |||
1238 | 1244 |
| |
1239 | 1245 |
| |
1240 | 1246 |
| |
1241 |
| - | |
| 1247 | + | |
1242 | 1248 |
| |
1243 | 1249 |
| |
1244 | 1250 |
| |
| |||
1511 | 1517 |
| |
1512 | 1518 |
| |
1513 | 1519 |
| |
1514 |
| - | |
1515 |
| - | |
| 1520 | + | |
1516 | 1521 |
| |
1517 | 1522 |
| |
1518 | 1523 |
| |
| |||
1589 | 1594 |
| |
1590 | 1595 |
| |
1591 | 1596 |
| |
1592 |
| - | |
| 1597 | + | |
1593 | 1598 |
| |
1594 | 1599 |
| |
1595 | 1600 |
| |
| |||
1602 | 1607 |
| |
1603 | 1608 |
| |
1604 | 1609 |
| |
1605 |
| - | |
| 1610 | + | |
| 1611 | + | |
1606 | 1612 |
| |
1607 |
| - | |
| 1613 | + | |
| 1614 | + | |
1608 | 1615 |
| |
1609 | 1616 |
| |
1610 | 1617 |
| |
| |||
1763 | 1770 |
| |
1764 | 1771 |
| |
1765 | 1772 |
| |
1766 |
| - | |
1767 |
| - | |
| 1773 | + | |
1768 | 1774 |
| |
1769 | 1775 |
| |
1770 | 1776 |
| |
| |||
1812 | 1818 |
| |
1813 | 1819 |
| |
1814 | 1820 |
| |
1815 |
| - | |
| 1821 | + | |
1816 | 1822 |
| |
1817 | 1823 |
| |
1818 | 1824 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
9 | 8 |
| |
10 | 9 |
| |
11 | 10 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
9 | 8 |
| |
10 | 9 |
| |
11 | 10 |
| |
|
0 commit comments