From 9ee67ed106808b5e82d5942e4d782fbf8cd133cd Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 17 Jan 2014 19:53:33 +0000
Subject: Type check through type definitions and val specifications, building
 definition environment. Skipping function definition, let bind, and
 expression checking for this commit (to come).

---
 src/initial_check.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/initial_check.mli')

diff --git a/src/initial_check.mli b/src/initial_check.mli
index 03b34e78..fd9444da 100644
--- a/src/initial_check.mli
+++ b/src/initial_check.mli
@@ -4,7 +4,7 @@ open Type_internal
 type kind = Type_internal.kind
 type typ = Type_internal.t
 
-type envs = Nameset.t * kind Envmap.t * typ Envmap.t
+type envs = Nameset.t * kind Envmap.t * tannot Envmap.t
 type 'a envs_out = 'a * envs
 
-val to_ast : Nameset.t -> kind Envmap.t -> typ Envmap.t -> Parse_ast.defs -> tannot defs
+val to_ast : Nameset.t -> kind Envmap.t -> tannot Envmap.t -> Parse_ast.defs -> tannot defs * kind Envmap.t
-- 
cgit v1.2.3