Module Frontend.Input_warnings

A module to contain the mutable state used to track warnings from the parser and lexer.

val init : unit -> unit

As something of a hack, Input_warnings keeps track of which warnings the lexer has emitted as a form of hidden state, which must be initialized and collected.

val collect : unit -> Warnings.t list

Returns all of the warnings issued since init was called.

val add_warning : Middle.Location_span.t -> string -> unit

Add a generic warning string to the current list

val empty : string -> unit

Register that an empty file is being parsed

val future_keyword : string -> string -> (Stdlib.Lexing.position * Stdlib.Lexing.position) -> unit

Warn on a keyword which will be reserved in the future