From 9860e02f53499c6ba9f5939290f4b1eba1ae5780 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Le=CC=81onard=20Ge=CC=81rard?= <leonard.gerard@ens.fr>
Date: Wed, 18 Aug 2010 10:13:26 +0200
Subject: [PATCH] Small test for statics, params and consts.

---
 test/good/statics.ept | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 test/good/statics.ept

diff --git a/test/good/statics.ept b/test/good/statics.ept
new file mode 100644
index 0000000..193aba0
--- /dev/null
+++ b/test/good/statics.ept
@@ -0,0 +1,20 @@
+
+const c:int = 3
+
+fun f<<n:int>>() returns (y:int)
+let
+  y = n + 3;
+tel
+
+fun g<<m:int>>() returns (y:int)
+var x:int;
+let
+  x = m + f<<2>>();
+  y = f<<m>>();
+tel
+
+fun h() returns (y:int)
+let
+  y = c + g<<c>>();
+tel
+