API.Setup
val init :
?flags:flags ->
?state:state_descriptor ->
?quotations:quotations_descriptor ->
?hoas:hoas_descriptor ->
?calc:calc_descriptor ->
builtins:builtins list ->
?file_resolver:( ?cwd:string -> unit:string -> unit -> string ) ->
?legacy_parser:bool ->
unit ->
elpi
Initialize ELPI.
init
must be called before invoking the parser.
Set tracing options. trace argv
can be called before Execute
. returns options not known to the trace system.
val set_warn : ( ?loc:Ast.Loc.t -> string -> unit ) -> unit
Override default runtime error functions (they call exit)
val set_error : ( ?loc:Ast.Loc.t -> string -> 'a ) -> unit
val set_anomaly : ( ?loc:Ast.Loc.t -> string -> 'a ) -> unit
val set_type_error : ( ?loc:Ast.Loc.t -> string -> 'a ) -> unit