Remove all references to Ident.idref from Lic.
BTW, put everything that concerns node environement into the new IdSolver module (from the Lic module).
Showing
- Makefile 1 addition, 1 deletionMakefile
- src/ast2lic.ml 22 additions, 24 deletionssrc/ast2lic.ml
- src/ast2lic.mli 6 additions, 6 deletionssrc/ast2lic.mli
- src/errors.ml 2 additions, 2 deletionssrc/errors.ml
- src/evalClock.ml 12 additions, 13 deletionssrc/evalClock.ml
- src/evalClock.mli 2 additions, 2 deletionssrc/evalClock.mli
- src/evalConst.ml 8 additions, 7 deletionssrc/evalConst.ml
- src/evalConst.mli 11 additions, 11 deletionssrc/evalConst.mli
- src/evalType.ml 25 additions, 30 deletionssrc/evalType.ml
- src/evalType.mli 3 additions, 3 deletionssrc/evalType.mli
- src/idSolver.ml 98 additions, 0 deletionssrc/idSolver.ml
- src/lic.ml 13 additions, 116 deletionssrc/lic.ml
- src/licDump.ml 2 additions, 8 deletionssrc/licDump.ml
- src/licEvalClock.ml 2 additions, 2 deletionssrc/licEvalClock.ml
- src/licEvalClock.mli 2 additions, 2 deletionssrc/licEvalClock.mli
- src/licEvalConst.ml 2 additions, 2 deletionssrc/licEvalConst.ml
- src/licEvalConst.mli 2 additions, 2 deletionssrc/licEvalConst.mli
- src/licEvalType.ml 12 additions, 12 deletionssrc/licEvalType.ml
- src/licEvalType.mli 4 additions, 4 deletionssrc/licEvalType.mli
- src/licTab.ml 12 additions, 10 deletionssrc/licTab.ml
Loading
Please register or sign in to comment