From d7ac8055dcec25f7579128398f1fbed262ceea36 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 31 Jul 2017 13:24:24 +0100
Subject: Fixed bug in existential return types

---
 src/type_check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index fea94a90..ba478148 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -1171,7 +1171,7 @@ and tnf_args_eq env arg1 arg2 =
 
 let rec nexp_frees ?exs:(exs=KidSet.empty) (Nexp_aux (nexp, l)) =
   match nexp with
-  | Nexp_id _ -> typ_error l "Unimplemented Nexp_id in nexp_frees ~exs:exs"
+  | Nexp_id _ -> KidSet.empty
   | Nexp_var kid -> KidSet.singleton kid
   | Nexp_constant _ -> KidSet.empty
   | Nexp_times (n1, n2) -> KidSet.union (nexp_frees ~exs:exs n1) (nexp_frees ~exs:exs n2)
-- 
cgit v1.2.3