-
Erwan Jahier authored
nodes (e.g., map<<+,2>>). While fixing that, I put all the functions that deals with polymorphism into a new (Eponymous) dedicated module. The idea to be able to expand polymorphic node is basically the same, as the one for printing polymorphic nodes: we need to wait until the type is instanciated (in GetEff). That delay is implemented by using a stack of nodes.
Erwan Jahier authorednodes (e.g., map<<+,2>>). While fixing that, I put all the functions that deals with polymorphism into a new (Eponymous) dedicated module. The idea to be able to expand polymorphic node is basically the same, as the one for printing polymorphic nodes: we need to wait until the type is instanciated (in GetEff). That delay is implemented by using a stack of nodes.
licDump.mli 1.07 KiB
(** Time-stamp: <modified the 11/12/2008 (at 15:30) by Erwan Jahier> *)
val string_of_node_key_rec : Eff.node_key -> string
val node_of_node_exp_eff: Eff.node_exp -> string
val string_of_const_eff : Eff.const -> string
val string_of_leff : Eff.left -> string
val string_of_type_eff : Eff.type_ -> string
val string_of_type_eff4msg : Eff.type_ -> string
val string_of_type_eff_list : Eff.type_ list -> string
val type_eff_list_to_string :Eff.type_ list -> string
val type_decl: Ident.long -> Eff.type_ -> string
val const_decl: Ident.long -> Eff.const -> string
val string_of_var_info_eff: Eff.var_info -> string
val string_of_var_info_eff4msg: Eff.var_info -> string
val type_string_of_var_info_eff: Eff.var_info -> string
val string_of_slice_info_eff : Eff.slice_info -> string
(* Dump all the aliases that were introduced during the compilation process *)
val dump_type_alias : out_channel -> unit
(* used for error msgs *)
val string_of_clock_exp : SyntaxTreeCore.clock_exp -> string
val string_of_clock2 : Eff.clock -> string
val string_of_val_exp_eff : Eff.val_exp -> string