| 5 Dec 2025 |
 maralorn | Magnus: I agree. You might consider switching to 9.12 where this problem does not happen. | 13:24:07 |
| maralorn | The root cause resides somewhere around apply-refact I think where for some reason the decision was made to skip support for 9.10. Although I am not familiar with the details. | 13:24:54 |
 Magnus | What's the state of 9.12 in 25.11? | 13:28:36 |
| Magnus | maralorn: yes, I didn't really understand the details for that either. | 13:29:42 |
| maralorn | Support is not as broad or good as 9.10 but I am using 9.12 in multiple projects and it‘s working fine. | 13:30:26 |
| Magnus | All right, it's worth a try... I was so very happy to find that 9.10.3 worked so well with our projects at work. I ended up removing a bunch of overlays and stuff, and no breakages at all...until I started writing code that is 😞 | 13:31:45 |
| maralorn | I mean you can still use hlint. Just not in hls I guess. | 13:33:13 |
 emily | time to bump to 9.12 on unstable? :D | 13:35:00 |
 Wolfgang Walther | That's tied to Stackage Nightly becoming Stackage 25 | 13:35:51 |
 teo (they/he) | From working on the work codebase's upgrade to 9.12, my impression is that there are very few breaking changes there | 13:36:00 |
| maralorn | I doesn’t have to be. That’s just our policy. | 13:36:30 |
| maralorn | * It doesn’t have to be. That’s just our policy. | 13:36:37 |
| Wolfgang Walther | yeah, that's what I meant. It'd be odd to select the default packages from Stackage LTS 24, which is tied to GHC 9.10, but to use 9.12 as the default for them, though. | 13:38:12 |
| Wolfgang Walther | I mean... we can already switch to Stackage Nightly on unstable, until it becomes LTS 25, though. Would give us a head start on the migration. | 13:39:06 |
| Magnus | maralorn: it didn't even take that long to build that modified HLS 😄 and it is much more stable... as in it's been running without crashing for several minutes 😁 | 13:40:21 |
| Magnus | Sounds like that's something worth taking a closer look at then. That's very good to know. | 13:41:05 |
