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

Mastodon est un réseau social utilisant des protocoles Web ouverts et des logiciels libres. Tout comme le courriel, il est décentralisé.