LazyCompiler.test:
Do not test nodes with static params as it is too difficult to do from the top-level automatically. Indeed, it would require to build effective static arg before, which would require to make node_check mutually recursive with type_check and co. Its not worth the trouble, as such node can be tested anyway if used. LazyCompiler.solve_node_idref: compile (with the new function check_static_arg) static params instead of ignoring them. EvalConst.eval_const -> EvalConst.f for simplicity and homogeneity with the naming scheme used in EvalType.
Showing
- src/Makefile 1 addition, 1 deletionsrc/Makefile
- src/compiledData.ml 2 additions, 2 deletionssrc/compiledData.ml
- src/evalConst.ml 8 additions, 8 deletionssrc/evalConst.ml
- src/evalConst.mli 2 additions, 3 deletionssrc/evalConst.mli
- src/lazyCompiler.ml 98 additions, 24 deletionssrc/lazyCompiler.ml
- src/syntaxTreeCore.ml 8 additions, 8 deletionssrc/syntaxTreeCore.ml
- src/test/Makefile 6 additions, 0 deletionssrc/test/Makefile
- src/test/test.res.exp 9 additions, 4 deletionssrc/test/test.res.exp
Loading
Please register or sign in to comment