This module provides convenient pipes for parsing and dealing with includes.
val syntax_error_ref : bool State.keyA key to determine whether to print a syntax error identifier/reference in Syntax error messages. Mainly useful when debugging syntax error messages.
The interactive prompt key. This is used to determine whether we are parsing in interactive mode, and if so, what prelude to print before parsing each toplevel phrase.
val interactive_prompt_lang : State.t -> string optionA standard implementation for the interactive prompt key/function. When the logic input is set to `Stdin, it will return a prompt string prelude that contains the currently set input language.
val init :
?syntax_error_ref:bool ->
?interactive_prompt:(State.t -> string option) ->
State.t ->
State.tInit a state with all the relevant keys for this pipeline.
val parse_logic :
Dolmen.Std.Statement.t list ->
State.t ->
Logic.language State.file ->
State.t * (State.t -> State.t * Dolmen.Std.Statement.t option)Parsing function. Reads a list of prelude statements, and the state and returns a tuple of the new state (including the detected input language), together with a statement generator.
val parse_response :
Dolmen.Std.Answer.t list ->
State.t ->
Response.language State.file ->
State.t * (State.t -> State.t * Dolmen.Std.Answer.t option)Parsing function. Reads a list of prelude statements, and the state and returns a tuple of the new state (including the detected input language), together with a statement generator.
val expand :
State.t ->
Dolmen.Std.Statement.t ->
State.t
* [ `Ok
| `Gen of
(State.t ->
State.t ->
State.t)
* (State.t ->
State.t * Dolmen.Std.Statement.t option) ]Expand statements (such as includes). Returns the new state, and either:
`Ok , which means the statement can be propagated as is `Gen (flat, g) , if the statement expands into a generator g. The bool flat indicates wether the statements in g should be treated as a single group of statements (with regards to timeouts, etc...), or as a list of independant statements (each with its own timeout...).