package wax-lib
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=cc19989d0db930d9300d7356c8f127309424a82767dd3c91ffd19a0bfd20e3a6
sha512=14ff9219dc6c4e8855c3cb895bd1af6fd81d1c521afefe1e7f69208a2e37abc7ec0946f188198a26780aa405fd43a526b938158334a019f7a5d991d8efc437c3
doc/wax-lib.wax/Wax_lang/Recover/index.html
Module Wax_lang.RecoverSource
Sync-token classification for the Wax parser's panic-mode error recovery.
Classify a Wax token for Wax_utils.Parsing.Make.parse_recover: the statement, block, paren and bracket closers and the keywords that begin a new top-level item or statement are resynchronization Boundarys, end-of-input is the Terminal, and everything else is Skipped while scanning for the next boundary. Shared by the CLI and the editor.
Candidate tokens Wax_utils.Parsing.Make.parse_recover may insert in front of an offending token, each paired with the diagnostic to report. For Wax the sole candidate is the statement separator ";": a dropped ; is recovered by inserting one (reported as "Missing ';'") rather than by skipping to a boundary. Passed as its ?insert argument.
The closing-bracket tokens that Wax_utils.Parsing.Make.parse_recover may insert to auto-close a construct left open at end of input, so it still reaches the best-effort AST, each paired with its source spelling (used to build the auto-close quick fix). Passed as its ?closers argument.