| 7 Sep 2025 |
 sterni (he/him) | can't believe we're on track to get this done in under a year | 19:36:22 |
 emily | all I want for Christmas is someone to make Hadrian cross work | 20:20:27 |
| emily | except not so quickly that I feel like I wasted all that time | 20:20:40 |
 Alex | At this point, would it be less effort to compile GHC with MicroHs?
(I haven't been trying in a while, need to revisit it when I get the time.) | 20:21:21 |
| emily | I doubt it, since I sorted the LLVM patches in a few days but AFAIK MicroHs is lacking several major type system extensions to even think about compiling GHC? | 20:22:23 |
| Alex | Last I checked, the main limitation was DataKinds being missing + a lot of GHC-specific code like the fast strings. | 20:24:09 |
| Alex | I'm willing to rewrite the type checker if necessary, and the GHC problems can probably be fixed with a lot of tedious CPP. | 20:25:06 |
|  Ari Ade Supriyatna joined the room. | 20:26:56 |
 Artem | often times, GHC HEAD can't be compiled with a GHC just out of the support window (last three releases or so). I'd expect it to be a non-trivial projecct to make MHS compile GHC.. | 20:32:24 |
| Artem | * often times, GHC HEAD can't be compiled with a GHC just out of the support window (last three releases or so). I'd expect it to be a non-trivial project to make MHS compile GHC... | 20:32:37 |
