Change the clock representation to deal with enumerated clocks. Also
change the parser and accept only clock expressions after a when. A clock is now made of 2 idents: one for the clock constructor, and one for the clock variable.
Showing
- src/TODO 17 additions, 14 deletionssrc/TODO
- src/eff.ml 22 additions, 13 deletionssrc/eff.ml
- src/evalClock.ml 92 additions, 58 deletionssrc/evalClock.ml
- src/evalClock.mli 4 additions, 9 deletionssrc/evalClock.mli
- src/evalConst.ml 2 additions, 2 deletionssrc/evalConst.ml
- src/evalType.ml 14 additions, 10 deletionssrc/evalType.ml
- src/getEff.ml 28 additions, 32 deletionssrc/getEff.ml
- src/getEff.mli 2 additions, 2 deletionssrc/getEff.mli
- src/ident.ml 11 additions, 2 deletionssrc/ident.ml
- src/ident.mli 9 additions, 9 deletionssrc/ident.mli
- src/lazyCompiler.ml 4 additions, 4 deletionssrc/lazyCompiler.ml
- src/licDump.ml 33 additions, 24 deletionssrc/licDump.ml
- src/licDump.mli 2 additions, 1 deletionsrc/licDump.mli
- src/parser.mly 23 additions, 7 deletionssrc/parser.mly
- src/parserUtils.ml 6 additions, 1 deletionsrc/parserUtils.ml
- src/predefEvalClock.ml 6 additions, 4 deletionssrc/predefEvalClock.ml
- src/predefEvalClock.mli 2 additions, 2 deletionssrc/predefEvalClock.mli
- src/predefEvalType.ml 2 additions, 2 deletionssrc/predefEvalType.ml
- src/split.ml 4 additions, 5 deletionssrc/split.ml
- src/syntaxTreeCore.ml 4 additions, 4 deletionssrc/syntaxTreeCore.ml
Loading
Please register or sign in to comment