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/monomorphise_new.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/monomorphise_new.ml')

diff --git a/src/monomorphise_new.ml b/src/monomorphise_new.ml
index 6bb920da..e7a3528d 100644
--- a/src/monomorphise_new.ml
+++ b/src/monomorphise_new.ml
@@ -1,7 +1,7 @@
 open Parse_ast
 open Ast
 open Ast_util
-open Type_check_new
+open Type_check
 
 let disable_const_propagation = ref false
 let size_set_limit = 8
-- 
cgit v1.2.3