sml-typed-abts icon indicating copy to clipboard operation
sml-typed-abts copied to clipboard
verified publisher icon RedPRL

Error messages are intolerable

Open jonsterling opened this issue 9 years ago • 0 comments

The error messages that are emitted from this library are simply impossible to debug. James has made progress by adding a BadMetasubst exception, which is good; we should go even further and ensure that all errors that can be emitted by this library are specified in this style, with printable descriptions, etc.

jonsterling avatar Mar 29 '17 12:03 jonsterling