| 15 Sep 2025 |
 emily | (it needs Lennart's branch of Hugs right? presumably we could just send PRs and treat that as the upstream) | 13:50:11 |
 Alex | Right now I'm using gcc13Stdenv, so I may need to take a closer look at the error from newer GCCs... | 13:50:16 |
| Alex | In reply to @emilazy:matrix.org
(it needs Lennart's branch of Hugs right? presumably we could just send PRs and treat that as the upstream) Sounds good to me. | 13:50:46 |
| emily | yeah I would prefer a moratorium on adding more GCC 13 at this point :P | 13:50:47 |
| emily | it's not hard to adapt stuff to newer versions | 13:50:54 |
| emily | just slightly tedious sometimes | 13:50:59 |
| Alex | In reply to @emilazy:matrix.org
it's not hard to adapt stuff to newer versions This one's non-trivial... Actually something wrong with Hugs' version of base IIRC (maybe a slightly less old base could be patched in?)
ERROR "libraries/bootlib/Foreign/C/Types.hs":173 - Undefined type constructor "NotReallyAType"
| 13:54:22 |
 John Ericson | Oo Haven caught up in all of this, but I like where things are going | 13:54:21 |
| John Ericson | *haven't | 13:54:25 |
| emily | this is at runtime? | 13:55:12 |
| emily | smells like latent UB in Hugs that's getting exposed | 13:55:23 |
| Alex | Nope, build time. | 13:55:29 |
