Format strings and the OCaml compiler error messages

I am currently trying my hand at writing down my weekly activity on the OCaml compiler as blog post on the Cambium team blog:

http://gallium.inria.fr/blog/florian-weekly-2023-04-03

This week the main and only topics is some ongoing work on mine on an alternative handling for partial error messages in the compiler. The medium-term objective is to move slowly towards machine-readable error message by making that all the type used in error report internally in the compiler are serializable. This has lead towards a fun path of implementing an alternative format string interpreter that you can see in action at GitHub - Octachron/format-doc: Alternative interpreter for OCaml format strings .

7 Likes