Module Macro

module Macro: Macro

type 'a conv = 'a Sexp.Annotated.conv

val load_sexp : string -> Sexp.t

load_sexp file like {!Sexp.load_sexp} file, but resolves the macros contained in file.

val load_sexps : string -> Sexp.t list

load_sexps file like {!Sexp.load_sexps} file, but resolves the macros contained in file.

val load_sexp_conv : string -> (Sexp.t -> 'a) -> 'a conv

load_sexp_conv file f uses Macro.load_sexp and converts the result using f.

val load_sexps_conv : string -> (Sexp.t -> 'a) -> 'a conv list

load_sexps_conv file f uses Macro.load_sexps and converts the result using f.

val load_sexp_conv_exn : string -> (Sexp.t -> 'a) -> 'a

load_sexp_conv_exn file f like Macro.load_sexp_conv, but raises an exception in case of conversion error.

val load_sexps_conv_exn : string -> (Sexp.t -> 'a) -> 'a list

load_sexps_conv_exn file f like Macro.load_sexps_conv, but raises an exception in case of conversion error.

module type Sexp_loader = sig .. end

A version of load_sexps that is functorized with respect to the functions that load the sexps from files and the corresponding monad.

module Loader: functor (S : Sexp_loader) -> sig .. end

val add_error_location : string -> exn -> exn