diff options
Diffstat (limited to 'src/initial_check.mli')
| -rw-r--r-- | src/initial_check.mli | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/src/initial_check.mli b/src/initial_check.mli index 39b955b5..03b34e78 100644 --- a/src/initial_check.mli +++ b/src/initial_check.mli @@ -1,14 +1,10 @@ -open Type_internal open Ast +open Type_internal +type kind = Type_internal.kind +type typ = Type_internal.t -type 'a envs = 'a * Nameset.t * kind Kindmap.t * t Typmap.t +type envs = Nameset.t * kind Envmap.t * typ Envmap.t +type 'a envs_out = 'a * envs -val to_ast : Nameset.t -> kind Kindmap.t -> t Typmap.t -> tannot def list -> Parse_ast.defs -> tannot defs -(*val to_ast_def : nameset -> kind kindmap -> t typmap -> tannot def list -> Parse_ast.defs -> (annot def) envs * annot def list -val to_ast_fun : nameset -> kind kindmap -> t typmap -> Parse_ast.fundef -> (annot fundef) envs -val to_ast_expr : nameset -> kind kindmap -> t typmap -> Parse_ast.exp -> (annot exp) envs -val to_ast_targ : nameset -> kind kindmap -> t typmap -> Parse_ast.atyp -> (annot typ_arg) envs -val to_ast_typ : nameset -> kind kindmap -> t typmap -> Parse_ast.atyp -> (annot typ) envs -val to_ast_nexp : nameset -> kind kindmap -> t typmap -> Parse_ast.atyp -> (annot nexp) envs -*) +val to_ast : Nameset.t -> kind Envmap.t -> typ Envmap.t -> Parse_ast.defs -> tannot defs |