diff options
Diffstat (limited to 'bytecomp/transltype.mli')
| -rw-r--r-- | bytecomp/transltype.mli | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/bytecomp/transltype.mli b/bytecomp/transltype.mli index 878625623c..d7bb5e3bd7 100644 --- a/bytecomp/transltype.mli +++ b/bytecomp/transltype.mli @@ -1,20 +1,27 @@ +open Types +open Rtype + exception Not_constant -val run_ident_of_path : Path.t -> Rtype.run_ident -val tree_of_run_ident : Rtype.run_ident -> Outcometree.out_ident +val run_ident_of_path : Path.t -> run_ident +val tree_of_run_ident : run_ident -> Outcometree.out_ident val transl_run_ident_of_path : Path.t -> Lambda.structured_constant type digest = Abstract | Digest of string val type_digest : Env.t -> Path.t -> digest -val run_type_of_typexp : Env.t -> Types.type_expr -> Rtype.run_type +val run_type_of_type_expr : Env.t -> type_expr -> run_type -val transl_run_type : Rtype.run_type -> Lambda.lambda -val tree_of_run_type : Rtype.run_type -> Outcometree.out_type +val transl_run_type : run_type -> Lambda.lambda +val tree_of_run_type : run_type -> Outcometree.out_type -val transl_run_type_of_typexp : Env.t -> Types.type_expr -> Lambda.lambda +val transl_run_type_of_type_expr : Env.t -> type_expr -> Lambda.lambda val rtype_prim : string -> Lambda.lambda -type error = Contains_abstract_type of Types.type_expr * Path.t +type error = Contains_abstract_type of type_expr * Path.t exception Error of error + +val path_of_run_ident : run_ident -> Path.t +val type_expr_of_run_type : Env.t -> run_type -> type_expr + |