package asli

  1. Overview
  2. Docs
module AST = Asl_ast
module TC = Tcheck
val report_parse_error : (unit -> 'a) -> (unit -> 'a) -> 'a
val report_type_error : (unit -> 'a) -> (unit -> 'a) -> 'a
val report_eval_error : (unit -> 'a) -> (unit -> 'a) -> 'a
val read_file : string -> bool -> bool -> Asl_ast.declaration list

Parse and typecheck ASL file

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

Parse ASL file, but do not typecheck

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

Innovation. Community. Security.