In the LicDump, always print the package name of constants, in order
to avoid name clashes in the lic.
Showing
- src/compiledData.ml 2 additions, 1 deletionsrc/compiledData.ml
- src/evalClock.ml 2 additions, 1 deletionsrc/evalClock.ml
- src/evalType.ml 3 additions, 2 deletionssrc/evalType.ml
- src/getEff.ml 20 additions, 1 deletionsrc/getEff.ml
- src/global.ml 1 addition, 1 deletionsrc/global.ml
- src/ident.ml 5 additions, 1 deletionsrc/ident.ml
- src/ident.mli 2 additions, 1 deletionsrc/ident.mli
- src/lazyCompiler.ml 1 addition, 1 deletionsrc/lazyCompiler.ml
- src/licDump.ml 8 additions, 1 deletionsrc/licDump.ml
- src/licDump.mli 1 addition, 1 deletionsrc/licDump.mli
- src/symbolTab.ml 22 additions, 13 deletionssrc/symbolTab.ml
- src/symbolTab.mli 9 additions, 5 deletionssrc/symbolTab.mli
- src/syntaxTab.ml 7 additions, 7 deletionssrc/syntaxTab.ml
- src/test/should_work/NONREG/packed_cst.lus 19 additions, 0 deletionssrc/test/should_work/NONREG/packed_cst.lus
- src/test/test.res.exp 130 additions, 120 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment