Instanciate models using a call by name strategy (instead of a call
by position). Rename ExpandPack into InstanciateModel.
Showing
- src/Makefile 2 additions, 2 deletionssrc/Makefile
- src/expandPack.ml 0 additions, 171 deletionssrc/expandPack.ml
- src/instanciateModel.ml 165 additions, 0 deletionssrc/instanciateModel.ml
- src/instanciateModel.mli 4 additions, 4 deletionssrc/instanciateModel.mli
- src/lexer.mll 1 addition, 0 deletionssrc/lexer.mll
- src/main.ml 2 additions, 2 deletionssrc/main.ml
- src/parser.mly 55 additions, 1 deletionsrc/parser.mly
- src/solveIdent.ml 26 additions, 11 deletionssrc/solveIdent.ml
- src/syntaxTab.ml 3 additions, 3 deletionssrc/syntaxTab.ml
- src/syntaxTabUtils.mli 2 additions, 9 deletionssrc/syntaxTabUtils.mli
- src/syntaxTree.ml 2 additions, 2 deletionssrc/syntaxTree.ml
- src/syntaxTreeCore.ml 1 addition, 1 deletionsrc/syntaxTreeCore.ml
- src/syntaxTreeDump.ml 8 additions, 8 deletionssrc/syntaxTreeDump.ml
- src/test/should_work/NONREG/Int.lus 1 addition, 1 deletionsrc/test/should_work/NONREG/Int.lus
- src/test/should_work/NONREG/model.lus 1 addition, 1 deletionsrc/test/should_work/NONREG/model.lus
- src/test/should_work/Pascal/newpacks.lus 3 additions, 8 deletionssrc/test/should_work/Pascal/newpacks.lus
- src/test/should_work/Pascal/p.lus 7 additions, 7 deletionssrc/test/should_work/Pascal/p.lus
- src/test/should_work/Pascal/packs.lus 3 additions, 3 deletionssrc/test/should_work/Pascal/packs.lus
- src/test/should_work/packEnvTest/Condact.lus 1 addition, 1 deletionsrc/test/should_work/packEnvTest/Condact.lus
- src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus 6 additions, 1 deletion...k/packEnvTest/contractForElementSelectionInArray/main.lus
Loading
Please register or sign in to comment