Error messages
francoisthire opened this issue · comments
I just discovered the method Printexc.register_printer in the standard library that allows to register any kind of exception. I believe that using this function could avoid the Errors.ml file that we have in the API. The only thing that is a problem would be the error code. What do you think?