From e55f01ec8a3b3e94818d1701e28d1e9fa6343166 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 21 Apr 2017 16:59:34 +0100
Subject: Revert change to check in type_check.ml.

---
 src/type_check.ml | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index f090ef58..c4119281 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -2521,10 +2521,9 @@ let check_def envs def =
 
 
 (*val check : envs ->  tannot defs -> tannot defs*)
-let check envs (Defs defs) =
-  let rec check' envs (Defs defs) k =
-    match defs with
-    | [] -> k ((Defs []), envs)
-    | def::defs -> let (def, envs) = check_def envs def in
-                   check' envs (Defs defs) (fun (Defs defs, envs) -> Defs (def::defs), envs) in
-  check' envs (Defs defs) (fun x -> x)
+let rec check envs (Defs defs) = 
+ match defs with
+   | [] -> (Defs []),envs
+   | def::defs -> let (def, envs) = check_def envs def in
+                  let (Defs defs, envs) = check envs (Defs defs) in
+                  (Defs (def::defs)), envs
-- 
cgit v1.2.3