Fix several bugs in static argument handling, in particular when
parametric nodes (or predef iterators) are nested. Before, nested iterators were handles as follows : a source-level (i.e., not compiled) alias node was created on-the-fly, and then compiled. But this way to proceed was buggy for static args coming from nested iterators or nested parametric nodes. Now, I rely on Inline.iterators to get rid of iterators (the iterator inlining is now recursive).
Showing
- src/Makefile 2 additions, 2 deletionssrc/Makefile
- src/eff.ml 21 additions, 6 deletionssrc/eff.ml
- src/evalClock.ml 2 additions, 3 deletionssrc/evalClock.ml
- src/getEff.ml 35 additions, 79 deletionssrc/getEff.ml
- src/getEff.mli 1 addition, 1 deletionsrc/getEff.mli
- src/ident.ml 1 addition, 1 deletionsrc/ident.ml
- src/inline.ml 93 additions, 71 deletionssrc/inline.ml
- src/inline.mli 4 additions, 3 deletionssrc/inline.mli
- src/lazyCompiler.ml 420 additions, 299 deletionssrc/lazyCompiler.ml
- src/licDump.ml 11 additions, 10 deletionssrc/licDump.ml
- src/licDump.mli 2 additions, 1 deletionsrc/licDump.mli
- src/main.ml 2 additions, 2 deletionssrc/main.ml
- src/name.ml 5 additions, 9 deletionssrc/name.ml
- src/name.mli 2 additions, 2 deletionssrc/name.mli
- src/polymorphism.ml 9 additions, 15 deletionssrc/polymorphism.ml
- src/polymorphism.mli 5 additions, 8 deletionssrc/polymorphism.mli
- src/predefEvalType.ml 6 additions, 6 deletionssrc/predefEvalType.ml
- src/split.ml 45 additions, 40 deletionssrc/split.ml
- src/split.mli 9 additions, 5 deletionssrc/split.mli
- src/structArrayExpand.ml 1 addition, 1 deletionsrc/structArrayExpand.ml
Loading
Please register or sign in to comment