From 6428ff81f09108a2b229690164d3b03b5d308c13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Thu, 17 Mar 2011 17:12:16 +0100
Subject: [PATCH] array1 testing.

---
 test/good/array1.ept | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/test/good/array1.ept b/test/good/array1.ept
index 143ba5d..526ec44 100644
--- a/test/good/array1.ept
+++ b/test/good/array1.ept
@@ -1,5 +1,5 @@
-const n:int = 42
-const m:int = 52
+const n:int = 10
+const m:int = 10
 
 node concatenate(a:int^n; b:int^m) returns (o1, o2: int^(n+m))
 let
@@ -41,3 +41,13 @@ node constant(a,b:int) returns (o:int^4)
 let
   o = [a,b,a,b];
 tel
+
+
+node test1() returns (r1,r2: int^3)
+var x,y : int^10; z,t : int^20;
+let
+  x = ten(3);
+  y = ten(4);
+  (z,t) = concatenate(x,y);
+  (r1,r2) = slicing(x);
+tel