Add a --expand-nodes option.
Showing
- src/Makefile 2 additions, 0 deletionssrc/Makefile
- src/TODO 4 additions, 1 deletionsrc/TODO
- src/compile.ml 2 additions, 1 deletionsrc/compile.ml
- src/eff.ml 1 addition, 1 deletionsrc/eff.ml
- src/global.ml 3 additions, 5 deletionssrc/global.ml
- src/inline.ml 7 additions, 7 deletionssrc/inline.ml
- src/lazyCompiler.ml 35 additions, 14 deletionssrc/lazyCompiler.ml
- src/lazyCompiler.mli 2 additions, 1 deletionsrc/lazyCompiler.mli
- src/main.ml 7 additions, 5 deletionssrc/main.ml
- src/nodesExpand.ml 294 additions, 0 deletionssrc/nodesExpand.ml
- src/nodesExpand.mli 5 additions, 0 deletionssrc/nodesExpand.mli
- src/split.mli 2 additions, 2 deletionssrc/split.mli
- src/test/should_work/NONREG/test_node_expand.lus 18 additions, 0 deletionssrc/test/should_work/NONREG/test_node_expand.lus
- src/test/should_work/NONREG/test_node_expand2.lus 24 additions, 0 deletionssrc/test/should_work/NONREG/test_node_expand2.lus
- src/test/test.res.exp 74 additions, 6 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment