File tree
76 files changed
+109
-3250
lines changed- .github/workflows
- docs
- contributing
- support
- ghcide
- src/Development/IDE
- Core
- GHC
- Compat
- Import
- LSP
- Plugin/Completions
- Spans
- Types
- test
- exe
- ghcide-bench
- hie-compat
- src-ghc810/Compat
- hls-graph
- hls-plugin-api
- plugins
- hls-eval-plugin/src/Ide/Plugin/Eval
- hls-gadt-plugin/src/Ide/Plugin
- hls-haddock-comments-plugin/src/Ide/Plugin
- HaddockComments
- hls-refactor-plugin/src/Development/IDE
- GHC
- Plugin
- hls-splice-plugin/src/Ide/Plugin
- hls-tactics-plugin
- new
- src/Wingman
- Judgements
- test
- old
- src/Wingman
- Judgements
- test
- test/wrapper
- testdata
- stack-8.10.7
- stack-9.2.5
- stack-with-dist-newstyle
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
76 files changed
+109
-3250
lines changedLines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
47 | 47 |
| |
48 | 48 |
| |
49 | 49 |
| |
50 |
| - | |
51 | 50 |
| |
| 51 | + | |
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
| |||
115 | 115 |
| |
116 | 116 |
| |
117 | 117 |
| |
118 |
| - | |
| 118 | + | |
119 | 119 |
| |
120 | 120 |
| |
121 | 121 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
102 | 102 |
| |
103 | 103 |
| |
104 | 104 |
| |
105 |
| - | |
| 105 | + | |
106 | 106 |
| |
107 | 107 |
| |
108 | 108 |
| |
| |||
117 | 117 |
| |
118 | 118 |
| |
119 | 119 |
| |
120 |
| - | |
| 120 | + | |
121 | 121 |
| |
122 | 122 |
| |
123 | 123 |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
43 |
| - | |
44 |
| - | |
| 43 | + | |
| 44 | + | |
45 | 45 |
| |
46 | 46 |
| |
47 | 47 |
| |
| |||
133 | 133 |
| |
134 | 134 |
| |
135 | 135 |
| |
136 |
| - | |
| 136 | + | |
137 | 137 |
| |
138 | 138 |
| |
139 | 139 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
236 | 236 |
| |
237 | 237 |
| |
238 | 238 |
| |
| 239 | + | |
239 | 240 |
| |
240 | 241 |
| |
241 | 242 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
37 |
| - | |
| 37 | + | |
38 | 38 |
| |
39 | 39 |
| |
40 | 40 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
33 |
| - | |
| 33 | + | |
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
| |||
41 | 41 |
| |
42 | 42 |
| |
43 | 43 |
| |
44 |
| - | |
45 | 44 |
| |
46 | 45 |
| |
47 | 46 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
185 | 185 |
| |
186 | 186 |
| |
187 | 187 |
| |
188 |
| - | |
| 188 | + | |
189 | 189 |
| |
190 | 190 |
| |
191 | 191 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 |
| - | |
| 15 | + | |
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
|
Lines changed: 4 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 |
| - | |
| 16 | + | |
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
| |||
39 | 39 |
| |
40 | 40 |
| |
41 | 41 |
| |
42 |
| - | |
43 | 42 |
| |
44 | 43 |
| |
45 | 44 |
| |
| |||
99 | 98 |
| |
100 | 99 |
| |
101 | 100 |
| |
102 |
| - | |
| 101 | + | |
103 | 102 |
| |
104 | 103 |
| |
105 | 104 |
| |
| |||
224 | 223 |
| |
225 | 224 |
| |
226 | 225 |
| |
| 226 | + | |
227 | 227 |
| |
228 | 228 |
| |
229 | 229 |
| |
230 | 230 |
| |
231 | 231 |
| |
232 |
| - | |
233 |
| - | |
234 |
| - | |
235 | 232 |
| |
236 | 233 |
| |
237 | 234 |
| |
| |||
372 | 369 |
| |
373 | 370 |
| |
374 | 371 |
| |
375 |
| - | |
376 |
| - | |
377 | 372 |
| |
378 |
| - | |
| 373 | + | |
379 | 374 |
| |
380 | 375 |
| |
381 | 376 |
| |
|
Lines changed: 2 additions & 23 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
110 | 110 |
| |
111 | 111 |
| |
112 | 112 |
| |
113 |
| - | |
114 | 113 |
| |
115 | 114 |
| |
116 | 115 |
| |
| |||
121 | 120 |
| |
122 | 121 |
| |
123 | 122 |
| |
124 |
| - | |
125 |
| - | |
126 |
| - | |
127 |
| - | |
128 |
| - | |
129 | 123 |
| |
130 | 124 |
| |
131 | 125 |
| |
| |||
516 | 510 |
| |
517 | 511 |
| |
518 | 512 |
| |
519 |
| - | |
520 | 513 |
| |
521 | 514 |
| |
522 | 515 |
| |
| |||
532 | 525 |
| |
533 | 526 |
| |
534 | 527 |
| |
535 |
| - | |
536 |
| - | |
537 |
| - | |
538 |
| - | |
539 | 528 |
| |
540 | 529 |
| |
541 | 530 |
| |
| |||
684 | 673 |
| |
685 | 674 |
| |
686 | 675 |
| |
687 |
| - | |
688 |
| - | |
689 | 676 |
| |
690 |
| - | |
| 677 | + | |
691 | 678 |
| |
692 | 679 |
| |
693 | 680 |
| |
| |||
830 | 817 |
| |
831 | 818 |
| |
832 | 819 |
| |
833 |
| - | |
834 | 820 |
| |
835 | 821 |
| |
836 | 822 |
| |
| |||
842 | 828 |
| |
843 | 829 |
| |
844 | 830 |
| |
845 |
| - | |
846 |
| - | |
847 |
| - | |
848 | 831 |
| |
849 | 832 |
| |
850 |
| - | |
851 | 833 |
| |
852 | 834 |
| |
853 | 835 |
| |
854 | 836 |
| |
855 | 837 |
| |
856 | 838 |
| |
857 |
| - | |
858 | 839 |
| |
859 | 840 |
| |
860 | 841 |
| |
| |||
1267 | 1248 |
| |
1268 | 1249 |
| |
1269 | 1250 |
| |
1270 |
| - | |
| 1251 | + | |
1271 | 1252 |
| |
1272 |
| - | |
1273 |
| - | |
1274 | 1253 |
| |
1275 | 1254 |
| |
1276 | 1255 |
| |
|
Lines changed: 0 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 |
| - | |
24 | 23 |
| |
25 | 24 |
| |
26 |
| - | |
27 |
| - | |
28 |
| - | |
29 |
| - | |
30 | 25 |
| |
31 | 26 |
| |
32 | 27 |
| |
|
0 commit comments