Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Convenience module to generate readable error messages.
An error reporter is a parser which reparses the input stream, extracts the failed code snippet and prints the error nicely formatted.
For semantic errors, the module needs support from the user to convert a semantic error into a pretty print document.
module type FAILED_PARSER = sig ... end
Needed functions from a failed parser i.e. a parser which has failed either with a syntax error or a semantic error.
module Make (Parser : FAILED_PARSER) : sig ... end
Generate the error reporter from a failed parser.