package archetype
Archetype language compiler
Install
dune-project
Dependency
Authors
Maintainers
Sources
0.1.8.tar.gz
md5=261a8693f78966153f4ffc4b2ef13fb2
sha512=0a17bab3fb14b092a5cdbd3767db008fca9199140fb81ed330d595696b54a4d93fa3b8cdb58f13b6d127e96b18d3ba6de85e5dc1a9e64a6ae7bd1a0173651382
doc/archetype/Archetype/ParseError/index.html
Module Archetype.ParseErrorSource
This module demonstrates that we can easily generate contextual error message thanks to the introspection API. Indeed, when a parsing error occurs, there exist items in the stack whose analysis is not completed. Therefore, the non terminals of their productions are probably the syntactically classes that are being recognized when the error occurred.
Source
val pop_until :
(Parser.MenhirInterpreter.element -> 'a list) ->
'b Parser.MenhirInterpreter.env ->
'a listSource
val keep_predictions :
Parser.MenhirInterpreter.xsymbol list ->
(Parser.MenhirInterpreter.production * int) ->
Parser.MenhirInterpreter.xsymbol listSource
val element_contains_prediction_items :
Parser.MenhirInterpreter.element ->
Parser.MenhirInterpreter.xsymbol listSource
val find_context :
'a Parser.MenhirInterpreter.checkpoint ->
Parser.MenhirInterpreter.xsymbol listSource
val contextual_error_msg :
PureLexer.Lexer.t ->
'a Parser.MenhirInterpreter.checkpoint ->
(unit -> 'b) ->
'b