Module LibASL.LoadASLSource

Sourcemodule AST = Asl_ast
Sourcemodule TC = Tcheck
Sourceval report_parse_error : (unit -> 'a) -> (unit -> 'a) -> 'a
Sourceval report_type_error : (unit -> 'a) -> (unit -> 'a) -> 'a
Sourceval report_eval_error : (unit -> 'a) -> (unit -> 'a) -> 'a
Sourceval read_file : string -> bool -> bool -> Asl_ast.declaration list

Parse and typecheck ASL file

Sourceval read_spec : string -> bool -> Asl_ast.declaration list
Sourceval parse_file : string -> bool -> bool -> Asl_ast.declaration list

Parse ASL file, but do not typecheck

Sourceval read_impdef : TC.Env.t -> AST.l -> string -> string * AST.expr
Sourceval read_expr : TC.Env.t -> AST.l -> string -> AST.expr
Sourceval read_stmt : TC.Env.t -> string -> AST.stmt