Gabriel Scherer

I tried to check out your branch(es) and I do ``` make configure-ocaml cd interpreter/ opam exec --switch=4.09.0 -- make ``` The latter step gets the following build error: ```...

I started working on this and pushed a first commit in the 4.09 branch of my local github fork: https://github.com/gasche/camlboot/tree/4.09

I pushed a few more changes, now the interpreter compiles fine with OCaml 4.09. After running `make ocaml-generated-files` in the root directory, I can now run `make run` from `interpreter/`,...

There are three versions at play: - the version of OCaml used to execute (compile) our interpreter: the Interpreter Version, IV - the version of OCaml whose parser we execute...

Note: I said earlier that the crash you observed was probably coming from an AST version mismatch, but in fact I don't think so anymore. The AST differences between 4.07...

@roptat I'm now at the point where `make run RUNARGS="-help"` succeeds in interpreting the compiler sources enough to print the help message. I'll keep digging a bit to see if...

Now I can run `make run RUNARGS="-nostdlib -nopervasives -i test.ml"`: basic type-checking (in the interpreted compiler) appears to work correctly.

I didn't know about CITATION.cff, thanks for the pointer! Regarding academic citations: we did submit a paper describing the Camlboot design, which is currently under review at the [](https://programming-conference.org/) journal....

OCaml supports recursive values that are not functions, like ```ocaml type obj = { self : obj } let rec obj = { self = obj } ``` (This is...

You mention the interest of a "version of Cmm where integers are not yet tagged". What about the Clambda representation, which is just one step up in terms of abstraction?...