A new implementation of EvalClock, that is more general.
Not yet implemented (assert false): iterators, struct Add a UnifyClock module, and rename Unify into UnifyType. nb : a lot of test are now broken, because - the clock checking is now plugged ;-) - iterators, struct are not yet implemented
Showing
- src/Makefile 4 additions, 2 deletionssrc/Makefile
- src/TODO 9 additions, 4 deletionssrc/TODO
- src/evalClock.ml 254 additions, 283 deletionssrc/evalClock.ml
- src/evalClock.mli 4 additions, 7 deletionssrc/evalClock.mli
- src/evalType.ml 9 additions, 9 deletionssrc/evalType.ml
- src/getEff.ml 5 additions, 5 deletionssrc/getEff.ml
- src/lazyCompiler.ml 5 additions, 5 deletionssrc/lazyCompiler.ml
- src/main.ml 2 additions, 2 deletionssrc/main.ml
- src/predefEvalType.ml 4 additions, 4 deletionssrc/predefEvalType.ml
- src/predefSemantics.ml 4 additions, 4 deletionssrc/predefSemantics.ml
- src/test/should_work/NONREG/PCOND.lus 8 additions, 3 deletionssrc/test/should_work/NONREG/PCOND.lus
- src/test/should_work/NONREG/Watch.lus 5 additions, 4 deletionssrc/test/should_work/NONREG/Watch.lus
- src/test/should_work/call/bad_call02.lus 1 addition, 1 deletionsrc/test/should_work/call/bad_call02.lus
- src/test/should_work/clock/clock.lus 23 additions, 14 deletionssrc/test/should_work/clock/clock.lus
- src/test/should_work/packEnvTest/Condact.lus 1 addition, 1 deletionsrc/test/should_work/packEnvTest/Condact.lus
- src/test/test.res.exp 139 additions, 2645 deletionssrc/test/test.res.exp
- src/unifyClock.ml 119 additions, 0 deletionssrc/unifyClock.ml
- src/unifyClock.mli 48 additions, 0 deletionssrc/unifyClock.mli
- src/unifyType.ml 2 additions, 5 deletionssrc/unifyType.ml
- src/unifyType.mli 0 additions, 0 deletionssrc/unifyType.mli
Loading
Please register or sign in to comment