12/08/06
bug 
./objlinux64/lus2lic test_static/cond01.lus -dbg lazyc


12/08/03

./objlinux/lus2lic test_static/predef01.lus
Fatal error: exception Match_failure("objlinux/doNoPoly.ml", 55, 17)


12/08/01 ->
 ./objlinux/lus2lic test_static/predef01.lus -dbg lazyc
*** Error in file "/home/raymond/git/lus2lic/test_static/predef01.lus", line 6, col 6 to 8, token 'map':
*** Lustre::map<<Lustre::or, 42>>: unknown Lustre operator. 
*** Available operators in the current scope are:

----------------------


12/07/30 -> remplacement de GetEff.check_static_arg 
  par une version epurée qui ne fait de cohérence de type
  (cf vielle version check_static_arg_old.ml)
  -> A FAIRE !!

================================================================
- UnifyType.f (BIEN AVANCE)
----------------------------------------------------------------
unifyType : remplacer
   Unif of Eff.type_
par
   Unif of Eff.poly_match
----------------------------------------------------------------
07/12 fait partiellement, au niveau des expressions
----------------------------------------------------------------

================================================================
- Eff : node_exp dans by_pos_op dans val_exp_core
----------------------------------------------------------------
Ca revient à copier la définition d'un noeud partout où
il est utilisé => FAIRE AUTREMENT
----------------------------------------------------------------
----------------------------------------------------------------