AFAIRE 1.47 KiB
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
----------------------------------------------------------------
----------------------------------------------------------------