From e0bbc838d512d92c92075f5fe9272a6ec7616760 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Fri, 27 Feb 2015 16:15:55 +0100
Subject: [PATCH] Allow use of declared parameters within parameters

Allow this node :

node f<<m:int; t1: int^m>>(a:int^m) = (o:int^m)
let
o = map<<m>> (+)(a, t1);
tel
---
 compiler/heptagon/analysis/typing.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml
index 78c2e7c..4fbec5a 100644
--- a/compiler/heptagon/analysis/typing.ml
+++ b/compiler/heptagon/analysis/typing.ml
@@ -1213,7 +1213,7 @@ let typing_contract cenv h contract =
 
 let build_node_params cenv l =
   let check_param env p =
-    let ty = check_type cenv p.p_type in
+    let ty = check_type env p.p_type in
     let p = { p with p_type = ty } in
     let n = Names.local_qn p.p_name in
     p, QualEnv.add n ty env