fix two more non-regression tests.

src/TODO

@@ -31,6 +31,8 @@ implicite. Autorise-t'on ce genre de truc ?
 
 * Ident.idref : a remettre dans SyntaxTree ?
 
+* verifier que chacun des exemples du repertoire "should_fail" à une
+correspondance dans le manuel, et reciproquement...
 
 ***********************************************************************************
 *** a faire

src/test/should_work/demo/tranche.lus → src/test/should_fail/semantics/tranche.lus

@@ -5,7 +5,8 @@ type
 const 
  n : t;
  m = n[3][2];
- s : t2;
+
+ s :  t2;
  o = s[9][8][7][6]; 
 
 node tranche(a: bool^3) returns (res: bool);

src/test/should_work/to_sort_out/record.lus → src/test/should_fail/syntax/record.lus

 type 
-	struct = {a: int; b: {a: int; b:int}};
-	struct2 = {a: real; b: {a: real; b:real}};
+
+  struct1 = {a: int; b: real};
+  struct2 = {a: real; b: struct1};
+
+  -- does not work in ocaml either...
+  struct2bis = {a: real; b: {a: real; b:real}};
 
 node record(a: struct2) returns (b: struct);
 	let

src/test/should_work/to_sort_out/asservi.lus

@@ -2,13 +2,13 @@ type pendule;
 
 const T=0.1; L=2.0; G=10.0; 
 
-function sin(x:real) returns (y:real);
+extern function sin(x:real) returns (y:real);
 
-function cos(x:real) returns (y:real);
+extern function cos(x:real) returns (y:real);
 
-function sqrt(x:real) returns (y:real);
+extern function sqrt(x:real) returns (y:real);
 
-function make_pend(x0,y0,x,y:real) returns (p:pendule);
+extern function make_pend(x0,y0,x,y:real) returns (p:pendule);
 
 node I(dx:real) returns (x:real); --un integrateur
 -------------------------------------------------------------

src/test/should_work/to_sort_out/const2.lus

@@ -2,8 +2,11 @@ const
 -- Ylv6:  const2 Error : at `->' in file `const2.lus' (l.15/c.24)  : not allowed in constant expression.
 
   e3 = true when false -> true;
-
-
+  M = 3;
+  P= 2;
+  N = M*P;
+  O= M;
+  c10=12;
 
 type
   t1 = int;