Understand how the compiler works

Instead of simply getting an evaluation from the compiler (in the Toplevel), what would be the simplest way (for a better understanding) to see how the evaluation is done ?

And how to get a usable “typed answer” from the compiler, instead of some lines of text ? (Valid sig or error message)

I simply know where are located the compiler key components, but I have no experience with them and would like to have a soft landing.

1 Like

If you want a step-by-step interpreter ocamli might be a good option.

1 Like