File tree
26 files changed
+30
-426
lines changed- ghcide
- session-loader/Development/IDE
- src/Development/IDE
- Core
- GHC
- Compat
- Plugin
- Completions
- Spans
- Types
- plugins
- hls-class-plugin/src/Ide/Plugin/Class
- hls-eval-plugin/src/Ide/Plugin/Eval
- hls-explicit-imports-plugin/src/Ide/Plugin
- hls-gadt-plugin/src/Ide/Plugin
- hls-refactor-plugin/src/Development/IDE
- GHC
- Plugin
- CodeAction
- hls-retrie-plugin/src/Ide/Plugin
- hls-splice-plugin/src/Ide/Plugin
26 files changed
+30
-426
lines changedLines changed: 0 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
888 | 888 |
| |
889 | 889 |
| |
890 | 890 |
| |
891 |
| - | |
892 | 891 |
| |
893 |
| - | |
894 |
| - | |
895 |
| - | |
896 | 892 |
| |
897 | 893 |
| |
898 | 894 |
| |
|
Lines changed: 2 additions & 24 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
112 | 112 |
| |
113 | 113 |
| |
114 | 114 |
| |
| 115 | + | |
| 116 | + | |
115 | 117 |
| |
116 | 118 |
| |
117 | 119 |
| |
| |||
120 | 122 |
| |
121 | 123 |
| |
122 | 124 |
| |
123 |
| - | |
124 |
| - | |
125 |
| - | |
126 |
| - | |
127 |
| - | |
128 |
| - | |
129 | 125 |
| |
130 | 126 |
| |
131 | 127 |
| |
| |||
470 | 466 |
| |
471 | 467 |
| |
472 | 468 |
| |
473 |
| - | |
474 | 469 |
| |
475 |
| - | |
476 | 470 |
| |
477 | 471 |
| |
478 | 472 |
| |
| |||
522 | 516 |
| |
523 | 517 |
| |
524 | 518 |
| |
525 |
| - | |
526 |
| - | |
527 | 519 |
| |
528 |
| - | |
529 |
| - | |
530 | 520 |
| |
531 |
| - | |
532 | 521 |
| |
533 |
| - | |
534 |
| - | |
535 |
| - | |
536 | 522 |
| |
537 | 523 |
| |
538 | 524 |
| |
| |||
1167 | 1153 |
| |
1168 | 1154 |
| |
1169 | 1155 |
| |
1170 |
| - | |
1171 | 1156 |
| |
1172 |
| - | |
1173 |
| - | |
1174 |
| - | |
1175 | 1157 |
| |
1176 | 1158 |
| |
1177 | 1159 |
| |
| |||
1517 | 1499 |
| |
1518 | 1500 |
| |
1519 | 1501 |
| |
1520 |
| - | |
1521 | 1502 |
| |
1522 | 1503 |
| |
1523 | 1504 |
| |
1524 | 1505 |
| |
1525 | 1506 |
| |
1526 | 1507 |
| |
1527 |
| - | |
1528 |
| - | |
1529 |
| - | |
1530 | 1508 |
| |
1531 | 1509 |
| |
1532 | 1510 |
| |
|
Lines changed: 6 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
| 22 | + | |
22 | 23 |
| |
23 | 24 |
| |
24 | 25 |
| |
25 |
| - | |
26 |
| - | |
27 |
| - | |
28 |
| - | |
29 |
| - | |
30 |
| - | |
31 |
| - | |
32 | 26 |
| |
33 | 27 |
| |
34 | 28 |
| |
| |||
49 | 43 |
| |
50 | 44 |
| |
51 | 45 |
| |
52 |
| - | |
53 |
| - | |
54 |
| - | |
55 |
| - | |
56 |
| - | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
57 | 49 |
| |
58 | 50 |
| |
| 51 | + | |
59 | 52 |
| |
60 | 53 |
| |
61 | 54 |
| |
62 | 55 |
| |
63 | 56 |
| |
64 | 57 |
| |
65 | 58 |
| |
| 59 | + | |
66 | 60 |
| |
67 |
| - | |
68 |
| - | |
69 |
| - | |
70 | 61 |
| |
71 | 62 |
| |
72 | 63 |
|
Lines changed: 6 additions & 54 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
102 | 102 |
| |
103 | 103 |
| |
104 | 104 |
| |
105 |
| - | |
106 | 105 |
| |
107 |
| - | |
108 | 106 |
| |
109 | 107 |
| |
110 | 108 |
| |
| |||
167 | 165 |
| |
168 | 166 |
| |
169 | 167 |
| |
| 168 | + | |
170 | 169 |
| |
171 | 170 |
| |
| 171 | + | |
| 172 | + | |
| 173 | + | |
| 174 | + | |
172 | 175 |
| |
173 | 176 |
| |
174 | 177 |
| |
| |||
188 | 191 |
| |
189 | 192 |
| |
190 | 193 |
| |
191 |
| - | |
192 |
| - | |
193 |
| - | |
194 |
| - | |
195 |
| - | |
196 |
| - | |
197 |
| - | |
198 |
| - | |
199 |
| - | |
200 |
| - | |
201 |
| - | |
202 |
| - | |
203 | 194 |
| |
204 | 195 |
| |
205 | 196 |
| |
| |||
230 | 221 |
| |
231 | 222 |
| |
232 | 223 |
| |
233 |
| - | |
234 | 224 |
| |
235 |
| - | |
236 |
| - | |
237 |
| - | |
238 | 225 |
| |
239 | 226 |
| |
240 | 227 |
| |
| |||
258 | 245 |
| |
259 | 246 |
| |
260 | 247 |
| |
261 |
| - | |
262 | 248 |
| |
263 |
| - | |
264 |
| - | |
265 |
| - | |
266 | 249 |
| |
267 | 250 |
| |
268 | 251 |
| |
| |||
272 | 255 |
| |
273 | 256 |
| |
274 | 257 |
| |
275 |
| - | |
276 | 258 |
| |
277 |
| - | |
278 |
| - | |
279 |
| - | |
280 | 259 |
| |
281 | 260 |
| |
282 | 261 |
| |
| |||
291 | 270 |
| |
292 | 271 |
| |
293 | 272 |
| |
294 |
| - | |
295 | 273 |
| |
296 |
| - | |
297 |
| - | |
298 |
| - | |
299 | 274 |
| |
300 | 275 |
| |
301 |
| - | |
302 | 276 |
| |
303 | 277 |
| |
304 | 278 |
| |
305 |
| - | |
306 |
| - | |
307 |
| - | |
308 | 279 |
| |
309 | 280 |
| |
310 | 281 |
| |
311 |
| - | |
312 | 282 |
| |
313 | 283 |
| |
314 |
| - | |
315 |
| - | |
316 |
| - | |
317 |
| - | |
318 | 284 |
| |
319 |
| - | |
320 | 285 |
| |
321 |
| - | |
322 |
| - | |
323 |
| - | |
324 | 286 |
| |
325 |
| - | |
326 | 287 |
| |
327 |
| - | |
328 |
| - | |
329 |
| - | |
330 | 288 |
| |
331 | 289 |
| |
332 | 290 |
| |
| |||
508 | 466 |
| |
509 | 467 |
| |
510 | 468 |
| |
511 |
| - | |
512 | 469 |
| |
513 |
| - | |
514 | 470 |
| |
515 | 471 |
| |
516 |
| - | |
517 |
| - | |
| 472 | + | |
518 | 473 |
| |
519 |
| - | |
520 |
| - | |
521 |
| - |
Lines changed: 0 additions & 36 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
382 | 382 |
| |
383 | 383 |
| |
384 | 384 |
| |
385 |
| - | |
386 |
| - | |
387 |
| - | |
388 | 385 |
| |
389 | 386 |
| |
390 | 387 |
| |
| |||
739 | 736 |
| |
740 | 737 |
| |
741 | 738 |
| |
742 |
| - | |
743 | 739 |
| |
744 |
| - | |
745 |
| - | |
746 |
| - | |
747 | 740 |
| |
748 | 741 |
| |
749 | 742 |
| |
| |||
757 | 750 |
| |
758 | 751 |
| |
759 | 752 |
| |
760 |
| - | |
761 | 753 |
| |
762 |
| - | |
763 | 754 |
| |
764 | 755 |
| |
765 | 756 |
| |
766 |
| - | |
767 |
| - | |
768 |
| - | |
769 |
| - | |
770 |
| - | |
771 |
| - | |
772 |
| - | |
773 |
| - | |
774 |
| - | |
775 |
| - | |
776 |
| - | |
777 |
| - | |
778 |
| - | |
779 |
| - | |
780 |
| - | |
781 |
| - | |
782 |
| - | |
783 |
| - | |
784 |
| - | |
785 |
| - | |
786 |
| - | |
787 |
| - | |
788 |
| - | |
789 |
| - | |
790 |
| - | |
791 |
| - | |
792 |
| - | |
793 | 757 |
| |
794 | 758 |
| |
795 | 759 |
| |
|
Lines changed: 0 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
79 | 79 |
| |
80 | 80 |
| |
81 | 81 |
| |
82 |
| - | |
83 | 82 |
| |
84 |
| - | |
85 |
| - | |
86 |
| - | |
87 | 83 |
| |
88 | 84 |
| |
89 | 85 |
| |
| |||
135 | 131 |
| |
136 | 132 |
| |
137 | 133 |
| |
138 |
| - | |
139 | 134 |
| |
140 | 135 |
| |
141 | 136 |
| |
142 | 137 |
| |
143 | 138 |
| |
144 | 139 |
| |
145 | 140 |
| |
146 |
| - | |
147 |
| - | |
148 |
| - | |
149 |
| - | |
150 |
| - | |
151 |
| - | |
152 |
| - | |
153 |
| - | |
154 | 141 |
| |
155 | 142 |
|
Lines changed: 0 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
105 | 105 |
| |
106 | 106 |
| |
107 | 107 |
| |
108 |
| - | |
109 | 108 |
| |
110 |
| - | |
111 |
| - | |
112 |
| - | |
113 | 109 |
| |
114 | 110 |
| |
115 | 111 |
| |
116 | 112 |
| |
117 | 113 |
| |
118 | 114 |
| |
119 |
| - | |
120 | 115 |
| |
121 |
| - | |
122 |
| - | |
123 |
| - | |
124 | 116 |
| |
125 | 117 |
| |
126 | 118 |
| |
|
0 commit comments