Bug fixes in the handling of abstract constants, that were handled
as extern constants. Also fix a bug in the struct/array expanser: when expanding structured constants into val_exp, I need to add a entry into the type and clock val_exp tables.
Showing
- src/eff.ml 31 additions, 15 deletionssrc/eff.ml
- src/evalClock.ml 1 addition, 2 deletionssrc/evalClock.ml
- src/evalConst.ml 12 additions, 7 deletionssrc/evalConst.ml
- src/evalType.ml 4 additions, 3 deletionssrc/evalType.ml
- src/getEff.ml 10 additions, 15 deletionssrc/getEff.ml
- src/lazyCompiler.ml 82 additions, 33 deletionssrc/lazyCompiler.ml
- src/licDump.ml 16 additions, 15 deletionssrc/licDump.ml
- src/nodesExpand.ml 3 additions, 2 deletionssrc/nodesExpand.ml
- src/parser.mly 1 addition, 1 deletionsrc/parser.mly
- src/split.ml 1 addition, 2 deletionssrc/split.ml
- src/structArrayExpand.ml 83 additions, 33 deletionssrc/structArrayExpand.ml
- src/test/should_work/NONREG/Int.lus 1 addition, 1 deletionsrc/test/should_work/NONREG/Int.lus
- src/test/should_work/Pascal/p.lus 1 addition, 1 deletionsrc/test/should_work/Pascal/p.lus
- src/test/test.res.exp 7 additions, 7 deletionssrc/test/test.res.exp
- src/unifyType.ml 2 additions, 2 deletionssrc/unifyType.ml
Loading
Please register or sign in to comment