| 22 Feb 2025 |
 Janus | In reply to @alex:tunstall.xyz
Unfortunately, that may be the sanest way of booting GHC from source. but doesn't GHC have DataKinds and Type families? how could microhs compile that? | 03:38:05 |
| Janus | I mean the source itself uses those extensions | 03:38:42 |
 emily | I assumed it would go via old GHC. | 03:50:31 |
| emily | btw, it's not clear to me how MicroHs really achieves "source bootstrapping" | 03:52:33 |
| emily | it seems like you're still basically running a binary blob of combinators derived from Haskell source? | 03:52:43 |
| Janus | you can compile it with hugs | 03:52:49 |
| emily | it's just that there's a simple C runtime to run that binary blob | 03:52:52 |
| Janus | you don't have to use the shipped c | 03:52:57 |
 Tristan Ross | I've spent a bit of time working on redoing my GHC LLVM bump PR. One thing I have ran into is it looks like the bootstrap GHC for 8.10 would need to be compiled with the LLVM bump flag to not use LLVM versions < 14. The hope is to move everything to at least LLVM 15 since that'll be sitting in nixpkgs for the next few releases and give us time. Hopefully this MicroHs stuff makes the PR more workable. | 03:53:04 |
| emily | ah, right. | 03:53:26 |
| emily | I saw that being said here but forgot :) | 03:53:26 |
| Janus | In reply to @emilazy:matrix.org
I assumed it would go via old GHC. I would think so to, but it Alex didn't mention that , so it sounds like that's not the plan | 03:54:47 |
| emily | it doesn't seem out of the question for augustss to just go and implement every relevant GHC extension :) | 03:58:42 |
| Janus | the fact that e.g. recordDotSyntax is always on and can't be turned off means that lots of code isn't compatible | 04:37:06 |
| Janus | I've just removed NonDecresingSyntax use from happy to make it compatible | 04:37:25 |
 Alex |
it sounds like [going via old GHC] is not the plan
I'd rather not because of old LLVM and worse support for old arches, but if nothing else works I will. | 04:38:47 |
| Alex | *
it sounds like [going via old GHC] is not the plan
I'd rather not because of old LLVM and worse support for exotic arches, but if nothing else works I will. | 04:39:01 |
| Janus | In reply to @emilazy:matrix.org
it doesn't seem out of the question for augustss to just go and implement every relevant GHC extension :) also , I think augustss might have some strong views on some of these newer extensions. I don't feel like digging now but it might be in the talks he did | 04:39:08 |
| Janus | are you coming to zurihac ? augustss is going to be there this year | 04:39:37 |
