Module Liquidsoap_lang.Runtime

Main script evaluation

exception Error
type stdlib = {
  1. full_term : Term.t;
  2. checked_term : Term.t;
  3. env : Typing.env;
}
type append_stdlib = unit -> stdlib
val type_term : ?name:string -> ?stdlib:append_stdlib -> ?term:Term.t -> ?ty:Type.t -> ?cache_dirtype:Cache.dirtype -> cache:bool -> trim:bool -> lib:bool -> Parsed_term.t -> Term.t

Typecheck a term and return it. Might return a cached value!

val eval_term : ?name:string -> toplevel:bool -> Term.t -> Value.t

Evaluate a term.

val strict : bool Stdlib.ref

Raise errors for warnings.

val libs : ?stdlib:string -> ?error_on_no_stdlib:bool -> ?deprecated:bool -> unit -> string list

Return the list of external libraries.

val load_libs : ?stdlib:string -> unit -> unit

Load the external libraries.

val throw : ?formatter:Stdlib.Format.formatter -> lexbuf:Sedlexing.lexbuf option -> unit -> exn -> unit
val program : (unit -> Parser.token * Stdlib.Lexing.position * Stdlib.Lexing.position) -> Parsed_term.t
val interactive : unit -> unit

Interactive loop: read from command line, eval, print and loop.

val parse : string -> Parsed_term.t * Term.t

Parse a string.

val error_header : formatter:Stdlib.Format.formatter -> int -> Pos.Option.t -> unit
val report : ?default:(unit -> 'a) -> lexbuf:Sedlexing.lexbuf option -> (throw:(exn -> unit) -> unit -> 'a) -> 'a

Report language errors.