From 8a11fc71eb94aa9cba3c455268051cb7f490760b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Thu, 14 Mar 2019 12:30:51 +0100
Subject: [PATCH] Removed non-applied type_constructor, single parameter for
 lambda expression.

---
 Typecheck2.ml  | 3 +--
 Typecheck2.mli | 3 +--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/Typecheck2.ml b/Typecheck2.ml
index 5c432f2e8..914bfd779 100644
--- a/Typecheck2.ml
+++ b/Typecheck2.ml
@@ -41,7 +41,6 @@ module O = struct
   | TypeApp  of type_constructor * (type_expr list)
   | Function of { arg: type_expr; ret: type_expr }
   | Ref      of type_expr
-  | TC       of type_constructor
   | String
   | Int
   | Unit
@@ -68,7 +67,7 @@ module O = struct
   and decl = { var: typed_var; value: expr; orig: asttodo }
 
   and lambda = {
-      parameters:   typed_var SMap.t;
+      parameter:    typed_var;
       declarations: decl list;
       instructions: instr list;
       result:       expr;
diff --git a/Typecheck2.mli b/Typecheck2.mli
index 1f14aba31..e301a5d0b 100644
--- a/Typecheck2.mli
+++ b/Typecheck2.mli
@@ -41,7 +41,6 @@ module O : sig
   | TypeApp  of type_constructor * (type_expr list)
   | Function of { arg: type_expr; ret: type_expr }
   | Ref      of type_expr
-  | TC       of type_constructor
   | String
   | Int
   | Unit
@@ -68,7 +67,7 @@ module O : sig
   and decl = { var: typed_var; value: expr; orig: asttodo }
 
   and lambda = {
-      parameters:   typed_var SMap.t;
+      parameter:    typed_var;
       declarations: decl list;
       instructions: instr list;
       result:       expr;