After some more work, I have completed the second step towards my ocaml bootstrap: compiling the ocaml interpreter writter for the first step to C.
Compilation is hugely inefficient - running the ocaml compiler inside that interpreter can take 45 minutes and more than 1GB stack space for a single file, but the compiler is finally able to compile itself.
Code is at
Things still to be done: rewriting the miniml -> C compiler in another language and bootstrapping ocamllex.

Inscrivez-vous pour prendre part à la conversation

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !