..

test_static/predef01.lus

+
+
+
+node main(x,y: bool^42) returns (o: bool^42);
+let
+	o = map<<or, 42>>(x,y);
+tel

test_static/ts01.lus

+
+-- ok
+
+node ma_macro<<const i : int>>(x: int) returns (y: int);
+let
+   y = i + x;
+tel
+
+node main = ma_macro<<32>>;

test_static/ts02.lus

+
+-- 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>>;

test_static/ts03.lus

+
+-- 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<<+>>;

test_static/ts04.lus

+
+-- 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>>;