Clean-up the Eff.val_exp variant from type information, now that type
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.
Showing
- src/TODO 0 additions, 6 deletionssrc/TODO
- src/eff.ml 8 additions, 7 deletionssrc/eff.ml
- src/evalClock.ml 3 additions, 3 deletionssrc/evalClock.ml
- src/evalConst.ml 16 additions, 14 deletionssrc/evalConst.ml
- src/evalConst.mli 4 additions, 6 deletionssrc/evalConst.mli
- src/evalType.ml 61 additions, 16 deletionssrc/evalType.ml
- src/getEff.ml 11 additions, 55 deletionssrc/getEff.ml
- src/inline.ml 4 additions, 4 deletionssrc/inline.ml
- src/licDump.ml 11 additions, 6 deletionssrc/licDump.ml
- src/licDump.mli 2 additions, 1 deletionsrc/licDump.mli
- src/structArrayExpand.ml 4 additions, 4 deletionssrc/structArrayExpand.ml
Loading
Please register or sign in to comment