Support custom printer for typing errors

Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

BSD 2-Clause "Simplified" License

80 stars 17 forks source link

Support custom printer for typing errors #218

Open Halbaroth opened 5 months ago

Halbaroth commented 5 months ago

This issue is just a remainder to implement support for custom printers for typing errors. Basically, I would like to print my own error messages for errors added to the type err of the functor Ttf_intf.