Runtime (liquidsoap-lang.Liquidsoap

Main script evaluation

exception Error

type stdlib = {

full_term : Liquidsoap_lang_ast.Term.t;
checked_term : Liquidsoap_lang_ast.Term.t;
env : Liquidsoap_lang_types.Typing.env;

}

type append_stdlib = unit -> stdlib

val type_term : 
  ?name:string ->
  ?stdlib:append_stdlib ->
  ?term:Liquidsoap_lang_ast.Term.t ->
  ?ty:Liquidsoap_lang_types.Type.t ->
  ?cache_dirtype:Liquidsoap_lang_cache.Cache.dirtype ->
  cache:bool ->
  trim:bool ->
  lib:bool ->
  Liquidsoap_lang_ast.Parsed_term.t ->
  Liquidsoap_lang_ast.Term.t

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

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

Evaluate a term.

val strict : bool Stdlib.ref

Raise errors for warnings.

val deprecated : bool Stdlib.ref

val raw_errors : bool Stdlib.ref

Raise raw errors.

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

Return the list of external libraries.

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

Load the external libraries.

type diagnostic = {

severity : [ `Warning of string | `Error ];
(*
A warning carries the text raised in strict mode.
*)
code : int;
pos : Liquidsoap_lang_prelude.Pos.t option;
message : Stdlib.Format.formatter -> unit;

}

A language error or warning. message prints what follows the header, and closes the box the header opens.

val describe : 
  lexbuf:Sedlexing.lexbuf option ->
  bt:Stdlib.Printexc.raw_backtrace ->
  exn ->
  diagnostic option

None for exceptions that are not language errors.

val throw : 
  ?formatter:Stdlib.Format.formatter ->
  lexbuf:Sedlexing.lexbuf option ->
  bt:Stdlib.Printexc.raw_backtrace ->
  unit ->
  exn ->
  unit

val program : 
  (unit ->
    Liquidsoap_lang_parser.Parser.token
    * Stdlib.Lexing.position
    * Stdlib.Lexing.position) ->
  Liquidsoap_lang_ast.Parsed_term.t

val interactive : unit -> unit

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

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

Parse a string.

val error_header : 
  formatter:Stdlib.Format.formatter ->
  int ->
  Liquidsoap_lang_prelude.Pos.Option.t ->
  unit

val on_error_print : (formatter:Stdlib.Format.formatter -> exn -> bool) -> unit

Register a printer for exceptions raised by layers above the language, e.g. clock errors from the streaming core. It should return true when it has printed the exception, false to let the next printer try.

val report : 
  ?default:(unit -> 'a) ->
  lexbuf:Sedlexing.lexbuf option ->
  (throw:(bt:Stdlib.Printexc.raw_backtrace -> exn -> unit) -> unit -> 'a) ->
  'a

Report language errors.