From a14c066d0c152584cc8799580c2a5fe401f110d0 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 21 Jul 2017 18:30:08 +0100
Subject: Everything moved to new typechecker

Modified initial_check.ml so it no longer requires type_internal. It's
still needs cleaned up in a few ways. Most of the things it's trying
to do could be done nicer if we took some time to re-factor it, and
some of the things should just be handled by the main typechecker,
leaving it as a think layer between the parse_ast and the ast.

Now that's done everything can be switched to the new typechecker and
the _new suffixes were deleted from everything except the
monomorphisation pass because I don't know the status of that.
---
 src/initial_check.mli | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

(limited to 'src/initial_check.mli')

diff --git a/src/initial_check.mli b/src/initial_check.mli
index 5e4b7e77..063a0131 100644
--- a/src/initial_check.mli
+++ b/src/initial_check.mli
@@ -41,13 +41,8 @@
 (**************************************************************************)
 
 open Ast
-open Type_internal
-type kind = Type_internal.kind
-type typ = Type_internal.t
 
-(*Envs is a tuple of used names (currently unused), map from id to kind, default order for vector types and literal vectors *)
-type envs = Nameset.t * kind Envmap.t * Ast.order 
-type 'a envs_out = 'a * envs
+val process_ast : Parse_ast.defs -> unit defs
 
-val to_ast : Nameset.t -> kind Envmap.t -> Ast.order -> Parse_ast.defs -> tannot defs * kind Envmap.t * Ast.order
-val to_ast_exp : kind Envmap.t -> Ast.order -> Parse_ast.exp -> Type_internal.tannot Ast.exp
+
+                                        
-- 
cgit v1.2.3