From 0f9303ec1aeeb7372ee32b45df865a6c7e587367 Mon Sep 17 00:00:00 2001
From: Pascal Raymond <Pascal.Raymond@imag.fr>
Date: Mon, 6 Aug 2012 09:54:14 +0200
Subject: [PATCH] ..

---
 test_static/predef01.lus |  7 +++++++
 test_static/ts01.lus     |  9 +++++++++
 test_static/ts02.lus     | 10 ++++++++++
 test_static/ts03.lus     | 11 +++++++++++
 test_static/ts04.lus     |  9 +++++++++
 5 files changed, 46 insertions(+)
 create mode 100644 test_static/predef01.lus
 create mode 100644 test_static/ts01.lus
 create mode 100644 test_static/ts02.lus
 create mode 100644 test_static/ts03.lus
 create mode 100644 test_static/ts04.lus

diff --git a/test_static/predef01.lus b/test_static/predef01.lus
new file mode 100644
index 00000000..ff456aca
--- /dev/null
+++ b/test_static/predef01.lus
@@ -0,0 +1,7 @@
+
+
+
+node main(x,y: bool^42) returns (o: bool^42);
+let
+	o = map<<or, 42>>(x,y);
+tel
diff --git a/test_static/ts01.lus b/test_static/ts01.lus
new file mode 100644
index 00000000..c1c07f8c
--- /dev/null
+++ b/test_static/ts01.lus
@@ -0,0 +1,9 @@
+
+-- ok
+
+node ma_macro<<const i : int>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+node main = ma_macro<<32>>;
diff --git a/test_static/ts02.lus b/test_static/ts02.lus
new file mode 100644
index 00000000..d13971cc
--- /dev/null
+++ b/test_static/ts02.lus
@@ -0,0 +1,10 @@
+
+-- KO, mais pas où il faudrait ...
+
+node ma_macro<<const i : int>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+-- n.b. ko à l'utilisation uniquement
+node main = ma_macro<<32.0>>;
diff --git a/test_static/ts03.lus b/test_static/ts03.lus
new file mode 100644
index 00000000..f5ab1442
--- /dev/null
+++ b/test_static/ts03.lus
@@ -0,0 +1,11 @@
+
+-- KO 
+
+node ma_macro<<const i : int>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+--*** Bad static argument nature, a constant was expected
+
+node main = ma_macro<<+>>;
diff --git a/test_static/ts04.lus b/test_static/ts04.lus
new file mode 100644
index 00000000..86cd0941
--- /dev/null
+++ b/test_static/ts04.lus
@@ -0,0 +1,9 @@
+
+-- DEVRAIT ETRE KO !
+-- mais aucune verif dans la verfi du 30/07/12
+node ma_macro<<const i : real>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+node main = ma_macro<<32>>;
-- 
GitLab