| 22 Feb 2025 |
 emily | you're saying Nixpkgs gets to maintain yet another GHC build system? :) | 00:26:29 |
 Alex | Unfortunately, that may be the sanest way of booting GHC from source. | 00:30:16 |
| emily | it would be cool if we beat Guix to the punch for a from-source GHC bootstrap (not sure if they've already incorporated MicroHs) | 00:30:46 |
| Alex | Solution: upstream it to GHC :D | 00:30:46 |
 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 |
