22 lines
564 B
OCaml
22 lines
564 B
OCaml
(** Converts PascaLIGO programs to the Simplified Abstract Syntax Tree. *)
|
|
|
|
open Trace
|
|
open Ast_simplified
|
|
|
|
module Raw = Parser.Pascaligo.AST
|
|
module SMap = Map.String
|
|
|
|
module Errors :
|
|
sig
|
|
val bad_bytes : Location.t -> string -> unit -> error
|
|
end
|
|
|
|
|
|
(** Convert a concrete PascaLIGO expression AST to the simplified expression AST
|
|
used by the compiler. *)
|
|
val simpl_expression : Raw.expr -> expr result
|
|
|
|
(** Convert a concrete PascaLIGO program AST to the simplified program AST used
|
|
by the compiler. *)
|
|
val simpl_program : Raw.ast -> program result
|