Cosmetic change: Handle predef operator clocking in a separate module
PredefEvelClock, in a similar manner as for type checking.
Showing
- src/Makefile 2 additions, 0 deletionssrc/Makefile
- src/evalClock.ml 15 additions, 27 deletionssrc/evalClock.ml
- src/predefEvalClock.ml 33 additions, 38 deletionssrc/predefEvalClock.ml
- src/test/test.res.exp 40 additions, 40 deletionssrc/test/test.res.exp
- src/unifyClock.ml 16 additions, 1 deletionsrc/unifyClock.ml
- src/unifyClock.mli 9 additions, 1 deletionsrc/unifyClock.mli
Loading
Please register or sign in to comment