From eafdb183738b03042923ae7bf9274402abb263b9 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 31 Jul 2017 13:33:43 +0100
Subject: Removed redundant code in infer_funapp'

---
 src/type_check.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index ba478148..383b6b45 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -2444,10 +2444,6 @@ and infer_funapp' l env f (typq, f_typ) xs ret_ctx_typ =
              | [], None -> env
              | _, Some enc ->
                 let env = List.fold_left (fun env kid -> Env.add_typ_var kid BK_nat env) env ex_kids in
-                typ_debug "UV nexping";
-                let fold_exs env (kid, nexp) = if not (is_bound kid env) then env else uv_nexp_constraint env (kid, nexp) in
-                let env = List.fold_left fold_exs env (KBindings.bindings unifiers) in
-                typ_debug "UV nexped";
                 Env.add_constraint enc env
            in
            all_unifiers := merge_uvars l !all_unifiers unifiers;
-- 
cgit v1.2.3