Module Wax_lang.RecoverSource

Classify a Wax token for Wax_wasm.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_wasm.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_wasm.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. Passed as its ?closers argument.