-
- Downloads
Renaming a few identifiers
CALL_BY_NAME -> STRUCT_n STRUCT_EXP_n -> STRUCT_anonymous_n flaged -> flagged
Showing
- src/TAGS 532 additions, 520 deletionssrc/TAGS
- src/compiledData.ml 4 additions, 4 deletionssrc/compiledData.ml
- src/evalConst.ml 5 additions, 5 deletionssrc/evalConst.ml
- src/evalConst.mli 2 additions, 2 deletionssrc/evalConst.mli
- src/expandPack.ml 3 additions, 3 deletionssrc/expandPack.ml
- src/expandPack.mli 5 additions, 5 deletionssrc/expandPack.mli
- src/lazyCompiler.ml 9 additions, 7 deletionssrc/lazyCompiler.ml
- src/lxm.ml 3 additions, 3 deletionssrc/lxm.ml
- src/lxm.mli 3 additions, 3 deletionssrc/lxm.mli
- src/parser.mly 11 additions, 11 deletionssrc/parser.mly
- src/symbolTab.ml 8 additions, 8 deletionssrc/symbolTab.ml
- src/symbolTab.mli 11 additions, 11 deletionssrc/symbolTab.mli
- src/syntaxTab.ml 11 additions, 11 deletionssrc/syntaxTab.ml
- src/syntaxTabUtils.ml 3 additions, 3 deletionssrc/syntaxTabUtils.ml
- src/syntaxTabUtils.mli 2 additions, 2 deletionssrc/syntaxTabUtils.mli
- src/syntaxTree.ml 14 additions, 14 deletionssrc/syntaxTree.ml
- src/syntaxTreeCore.ml 24 additions, 26 deletionssrc/syntaxTreeCore.ml
- src/syntaxTreeDump.ml 28 additions, 35 deletionssrc/syntaxTreeDump.ml
- src/syntaxTreeDump.mli 3 additions, 3 deletionssrc/syntaxTreeDump.mli
- src/version.ml 2 additions, 2 deletionssrc/version.ml
Loading
Please register or sign in to comment