Some progress in the non-regression tests: add an EvalNode.f that

currently only evaluates predef nodes.

src/Makefile

@@ -35,6 +35,8 @@ SOURCES =  \
 	./evalConst.ml \
 	./evalType.mli \
 	./evalType.ml \
+	./evalNode.mli \
+	./evalNode.ml \
 	./lazyCompiler.ml \
 	./lazyCompiler.mli \
 	./compile.ml \

src/evalConst.ml

-(** Time-stamp: <modified the 12/02/2008 (at 11:05) by Erwan Jahier> *)
+(** Time-stamp: <modified the 20/02/2008 (at 16:04) by Erwan Jahier> *)
 
 
 open Printf 
@@ -312,8 +312,19 @@ let op_computer (posop : predef_node) (src: Lxm.t)
 		)
 	      | [x] -> type_error [x] "struct type"
 	      | x -> arity_error x "1"
-	  ) |
-	      _ -> assert false
+	  ) 
+	| ITERATOR_n _ -> assert false
+	| MERGE_n _ -> assert false
+	| ARRAY_SLICE_n _ -> assert false
+	| ARRAY_ACCES_n _ -> assert false
+	| PROJ_n _ -> assert false
+	| ARRAY_n -> assert false
+	| TUPLE_n -> assert false
+	| WITH_n -> assert false
+	| CONCAT_n -> assert false
+	| HAT_n -> assert false
+	| FBY_n -> assert false
+	| NULL_exp -> assert false
   )
 
 (*----------------------------------------------------

src/evalNode.ml

+(** Time-stamp: <modified the 20/02/2008 (at 16:06) by Erwan Jahier> *)
+
+
+open SyntaxTree
+open SyntaxTreeCore
+open CompiledData
+
+let rec (f : CompiledData.id_solver -> SyntaxTreeCore.node_exp -> 
+	  CompiledData.node_eff) =
+  fun id_solver ne ->
+    match ne with
+      | CallPreDef predef_node -> PredefEff predef_node
+      | CallUsrDef (idref, static_args) -> assert false
+
+	

src/evalNode.mli

+(** Time-stamp: <modified the 20/02/2008 (at 15:29) by Erwan Jahier> *)
+
+
+val f : CompiledData.id_solver -> SyntaxTreeCore.node_exp -> CompiledData.node_eff

src/lazyCompiler.ml

-(** Time-stamp: <modified the 20/02/2008 (at 15:23) by Erwan Jahier> *)
+(** Time-stamp: <modified the 20/02/2008 (at 15:41) by Erwan Jahier> *)
 
 
 open Lxm
@@ -649,11 +649,9 @@ and (check_static_arg : CompiledData.id_solver ->
 	      TypeStaticArgEff (id, teff)
 
 	| StaticArgNode(ne), StaticParamNode(id,_,_,_)->
-	    finish_me (" node parameter handling ");
-(* 	    let neff = EvalNode.f node_id_solver ne in *)
-(* 	      NodeStaticArgEff (id, neff) *)
-	    assert false
-
+	    let neff = EvalNode.f node_id_solver ne in
+	      NodeStaticArgEff (id, neff)
+		
 
 	| StaticArgType _, StaticParamNode(id,_,_,_) 
 	| StaticArgType _, StaticParamConst(id,_) 
@@ -665,7 +663,7 @@ and (check_static_arg : CompiledData.id_solver ->
 	| StaticArgConst _, StaticParamType(id) 
 	     -> 
 	    finish_me "write a nice error message!";
-	    assert false
+	    assert false (* can it occur? *)
 
     in
       sa_eff

src/test/test.res.exp

@@ -172,11 +172,12 @@ End of Syntax table dump.
 	Exported constants:
 	Exported nodes:
  ### skipping fold_left
+		node dummy::consensus_6_bis = dummy::fold_left<<type bool, type bool, const 6, operator and>>(bool, bool^6) returns (bool) on clock XXX
 
-	XXX LazyCompiler: node parameter handling  ->  finish me!
+		node dummy::consensus_6 = dummy::consensus_6(bool^6) returns (bool) on clock XXX
 
-*** oops: an internal error occurred in file lazyCompiler.ml, line 655, column 5
-*** when compiling lustre program t2.lus
+ ### skipping consensus_bis
+ ### skipping consensus
  
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3  test.lus