diff options
| author | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2002-10-01 12:49:20 +0000 |
|---|---|---|
| committer | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2002-10-01 12:49:20 +0000 |
| commit | 19e8e771ad0b0ea97b02bbd004c5f6a8d94bd1f3 (patch) | |
| tree | 1875ea97b4091eaeffdf90a61b89a03c3e86a137 /bytecomp/transltype.mli | |
| parent | b4923502419129073d232f368f4c9fa7673fbe64 (diff) | |
| download | ocaml-dynamics.tar.gz | |
restart developpingdynamics
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dynamics@5152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 + |