src/licDump.mli · 0f54289a07cc50368452e11d6d5d2440369957a4 · verimag / synchrone / lustre-v6

16 years ago

Clean-up the Eff.val_exp variant from type information, now that type · d1ffb178

Erwan Jahier authored 16 years ago

info is attached to all  val_exp. Moreover, this allow to perfrom all
the  type checking  in  EvalType.f, instead  of  doin part  of it  in
GetEff.translate_val_exp.

d1ffb178

History

Clean-up the Eff.val_exp variant from type information, now that type

Erwan Jahier authored 16 years ago

info is attached to all  val_exp. Moreover, this allow to perfrom all
the  type checking  in  EvalType.f, instead  of  doin part  of it  in
GetEff.translate_val_exp.