Cosmetic change: change the CompiledData.clock_eff to what was called
clock_info, and therefore also remove clock_info. The rationale of this change is that it makes things slightly simpler, and more homogeneous with what is done in type checking.
Showing
- src/compiledData.ml 3 additions, 2 deletionssrc/compiledData.ml
- src/compiledDataDump.ml 15 additions, 5 deletionssrc/compiledDataDump.ml
- src/evalClock.ml 41 additions, 46 deletionssrc/evalClock.ml
- src/evalClock.mli 4 additions, 4 deletionssrc/evalClock.mli
- src/getEff.ml 8 additions, 7 deletionssrc/getEff.ml
- src/getEff.mli 2 additions, 2 deletionssrc/getEff.mli
- src/lazyCompiler.ml 2 additions, 2 deletionssrc/lazyCompiler.ml
- src/unifyClock.ml 24 additions, 46 deletionssrc/unifyClock.ml
- src/unifyClock.mli 6 additions, 17 deletionssrc/unifyClock.mli
Loading
Please register or sign in to comment