reason 3.0.4 · OCaml Package

module I = Reason_parser.MenhirInterpreter

module Lexer_impl = Reason_lexer

type token = Reason_parser.token

type tracking_supplier = {

mutable last_token : (token * Lexing.position * Lexing.position) option;
get_token : unit -> token * Lexing.position * Lexing.position;

}

val lexbuf_to_supplier : Lexing.lexbuf -> tracking_supplier

val read : tracking_supplier -> token * Lexing.position * Lexing.position

val last_token_loc : tracking_supplier -> Migrate_parsetree.Ast_404.Location.t

val stack : 'a I.checkpoint -> I.stack

val state : 'a I.checkpoint -> int

val normalize_checkpoint : 'a I.checkpoint -> 'a I.checkpoint

val offer_normalize : 
  'a I.checkpoint ->
  (I.token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a I.checkpoint

val commit_invalid_docstrings : (string * Location.t) list -> unit

val handle_other : tracking_supplier -> 'a I.checkpoint -> 'a

val handle_inputs_needed : 
  tracking_supplier ->
  ((string * Location.t) list * 'a I.checkpoint) list ->
  'a

val initial_run : (Lexing.position -> 'a I.checkpoint) -> Lexing.lexbuf -> 'a

val implementation : Lexing.lexbuf -> Ast_404.Parsetree.structure

val interface : Lexing.lexbuf -> Ast_404.Parsetree.signature

val core_type : Lexing.lexbuf -> Ast_404.Parsetree.core_type

val toplevel_phrase : Lexing.lexbuf -> Ast_404.Parsetree.toplevel_phrase

val use_file : Lexing.lexbuf -> Ast_404.Parsetree.toplevel_phrase list

val skip_phrase : Lexing.lexbuf -> unit

val maybe_skip_phrase : Lexing.lexbuf -> unit

val safeguard_parsing : Lexing.lexbuf -> (unit -> 'a) -> 'a

val format_interface_with_comments : 
  (Migrate_parsetree__Ast_404.Parsetree.signature_item list
   * Reason_pprint_ast.commentWithCategory) ->
  Format.formatter ->
  unit

val format_implementation_with_comments : 
  (Migrate_parsetree__Ast_404.Parsetree.structure_item list
   * Reason_pprint_ast.commentWithCategory) ->
  Format.formatter ->
  unit

package reason