| 7 Sep 2025 |
 emily | just a more portable blob one | 21:23:27 |
| emily | since you still must go through an unauditable machine-generated C file to start with | 21:23:52 |
| emily | maybe someone could implement an interpreter to run MicroHs to start it off though 🫠| 21:24:16 |
| emily | https://www.joachim-breitner.de/blog/802-More_thoughts_on_a_bootstrappable_GHC
https://elephly.net/posts/2017-01-09-bootstrapping-haskell-part-1.html
| 21:25:12 |
| emily | some background reading for anyone considering embarking on this task | 21:25:25 |
 Alex | In reply to @emilazy:matrix.org
the sad thing about MicroHs is that AFAICT it won't offer a true from-source bootstrap Why not?
It runs fine under Hugs. I've already gotten that working. | 21:28:07 |
| emily | that's promising then | 21:28:22 |
| emily | although it also means maintaining Hugs to keep it working with newer C compilers :) | 21:28:45 |
| emily | but might not be too bad | 21:28:58 |
| emily | the Discourse post I linked implies to me that extensions like implicit parameters are WONTFIX, so there may be politics involved in getting GHC to stop using extensions that MicroHs doesn't want | 21:29:48 |
| Alex | I'd rather avoid it, but forking or preprocessing to handle such extensions isn't out of the question. | 21:30:43 |
| emily | does Hugs even work on x86-64? 🤔 | 21:30:55 |
| emily | that's a pretty large indefinite future workload IMO | 21:31:14 |
