lazyCompiler.mli

(** Time-stamp: <modified the 19/12/2007 (at 09:50) by Erwan Jahier> *)


(** A lazy compiler is an internal structure that contains tables
    storing compiled entities (types, const, node). At the beginning
    (on creation), it only contains empty tables. But then, one when
    ask for a type, a const, or a node, the tables are filled in.
*)
type t

(* Create en lazy compiler. *)
val create : SyntaxTab.t -> t

(** Compiles one type. 

    nb: modifies its first argument!
 *)
val do_type : t -> Ident.long -> Lxm.t -> CompiledData.type_eff

(** Compiles one provided type *)
val do_prov_type : t -> Ident.long -> Lxm.t -> CompiledData.type_eff
(* val do_prov_const : t -> Ident.long -> Lxm.t -> CompiledData.type_eff *)

(** Compiles one node *)
val do_node : t -> CompiledData.node_key -> CompiledData.node_eff


(* Test/debug des types et constantes statiques associées *)
val test_types : t -> unit