Commit a5ee00f
1 parent 4a5e00a commit a5ee00f
File tree
8 files changed
+34
-16
lines changed- builder
- modules
- nix
- overlays
- test/ghc-options
8 files changed
+34
-16
lines changedLines changed: 5 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
| 43 | + | |
| 44 | + | |
43 | 45 |
| |
44 | 46 |
| |
45 | 47 |
| |
| |||
180 | 182 |
| |
181 | 183 |
| |
182 | 184 |
| |
| 185 | + | |
183 | 186 |
| |
184 | 187 |
| |
185 |
| - | |
186 |
| - | |
187 | 188 |
| |
188 | 189 |
| |
189 | 190 |
| |
| |||
258 | 259 |
| |
259 | 260 |
| |
260 | 261 |
| |
261 |
| - | |
| 262 | + | |
262 | 263 |
| |
263 | 264 |
| |
264 | 265 |
| |
| |||
336 | 337 |
| |
337 | 338 |
| |
338 | 339 |
| |
339 |
| - | |
| 340 | + | |
340 | 341 |
| |
341 | 342 |
| |
342 | 343 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
19 |
| - | |
20 | 19 |
| |
21 | 20 |
| |
22 | 21 |
| |
| |||
108 | 107 |
| |
109 | 108 |
| |
110 | 109 |
| |
111 |
| - | |
| 110 | + | |
112 | 111 |
| |
113 | 112 |
| |
114 | 113 |
| |
|
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
4 | 13 |
| |
5 | 14 |
| |
6 | 15 |
| |
|
Lines changed: 0 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
136 | 136 |
| |
137 | 137 |
| |
138 | 138 |
| |
139 |
| - | |
140 |
| - | |
141 |
| - | |
142 |
| - | |
143 |
| - | |
144 | 139 |
| |
145 | 140 |
| |
146 | 141 |
| |
|
Lines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
229 | 229 |
| |
230 | 230 |
| |
231 | 231 |
| |
| 232 | + | |
| 233 | + | |
| 234 | + | |
| 235 | + | |
232 | 236 |
| |
233 | 237 |
| |
234 | 238 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
66 | 66 |
| |
67 | 67 |
| |
68 | 68 |
| |
69 |
| - | |
| 69 | + | |
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
73 | 73 |
| |
74 | 74 |
| |
75 |
| - | |
76 |
| - | |
| 75 | + | |
| 76 | + | |
77 | 77 |
| |
78 |
| - | |
| 78 | + | |
79 | 79 |
| |
80 | 80 |
| |
81 | 81 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
588 | 588 |
| |
589 | 589 |
| |
590 | 590 |
| |
| 591 | + | |
| 592 | + | |
591 | 593 |
| |
592 | 594 |
| |
593 | 595 |
| |
|
Lines changed: 9 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
11 |
| - | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
12 | 20 |
| |
13 | 21 |
| |
14 | 22 |
| |
|
0 commit comments