Fresh var names : keep only one mechanism to invent var names.
Indeed, having two different mechanisms is bad. In the end, I've kept mine (and not the one of Pascal), because the it was depending on LicPrg.t, which was creating a circular dep (which could of course be fixed, but I am lazy).
Showing
- src/compile.ml 1 addition, 2 deletionssrc/compile.ml
- src/l2lExpandArrays.ml 2 additions, 5 deletionssrc/l2lExpandArrays.ml
- src/l2lExpandMetaOp.ml 2 additions, 4 deletionssrc/l2lExpandMetaOp.ml
- src/l2lOptimIte.ml 2 additions, 2 deletionssrc/l2lOptimIte.ml
- src/l2lSplit.ml 28 additions, 35 deletionssrc/l2lSplit.ml
- src/licName.ml 25 additions, 21 deletionssrc/licName.ml
- src/licName.mli 16 additions, 10 deletionssrc/licName.mli
- src/licPrg.ml 13 additions, 44 deletionssrc/licPrg.ml
- src/licPrg.mli 1 addition, 12 deletionssrc/licPrg.mli
- src/lv6parserUtils.ml 1 addition, 1 deletionsrc/lv6parserUtils.ml
- test/lus2lic.sum 12 additions, 12 deletionstest/lus2lic.sum
- test/lus2lic.time 7 additions, 7 deletionstest/lus2lic.time
Loading
Please register or sign in to comment