Module Mreader_recover.Make

Parameters

module Recovery : sig ... end
module Dump : sig ... end

Signature

type 'a candidate = {
  1. line : int;
  2. min_col : int;
  3. max_col : int;
  4. env : 'a Parser.env;
}
type 'a candidates = {
  1. popped : Parser.xsymbol list;
  2. shifted : Parser.xsymbol option;
  3. final : 'a option;
  4. candidates : 'a candidate list;
}
val attempt : 'a candidates -> (Parser.token * Lexing.position * Lexing.position) -> [> `Accept of 'a | `Fail | `Ok of 'a Parser.checkpoint * 'a Parser.env ]
val generate : 'a Parser.env -> 'a candidates