https://github.com/EasyCrypt/easycrypt
Revision 212f33b13bfb2b166095f7961908026a74748d64 authored by Pierre-Yves Strub on 21 August 2015, 15:23:06 UTC, committed by Pierre-Yves Strub on 21 August 2015, 15:23:06 UTC
Work for types, operators, predicates, modules and module types. The syntax is: - `clone ... rename [class1, ...] "regexp" to "subst" ...` - `clone ... rename "regexp" to "subst" ...` where `class_i` is in `type`, `op`, `pred`, `module` and `module type`. The `rename` clause applies the regexp to all the object names of the cloned theories, whose class matches one of the given classes (or regardless of the object class if no classes are given). If the regexp matches, the new object name is given by the substitution pattern. Once a rename clause matches, no more renaming is performed for the object (i.e. the mechanism as a first match semantics). See the PCRE documentation for help about the regexp and substitution syntax. Note that the $0 substitution pattern is forbidden. [close #17182]. Reopen the ticket is more renaming mechanisms are needed.
1 parent f14beaa
Tip revision: 212f33b13bfb2b166095f7961908026a74748d64 authored by Pierre-Yves Strub on 21 August 2015, 15:23:06 UTC
cloning: regexp based renamings
cloning: regexp based renamings
Tip revision: 212f33b
| File | Mode | Size |
|---|---|---|
| config | ||
| examples | ||
| lint | ||
| packaging | ||
| proofgeneral | ||
| scripts | ||
| src | ||
| system | ||
| tests | ||
| theories | ||
| .gitignore | -rw-r--r-- | 450 bytes |
| .merlin | -rw-r--r-- | 217 bytes |
| COPYRIGHT | -rw-r--r-- | 466 bytes |
| COPYRIGHT.yaml | -rw-r--r-- | 474 bytes |
| MANIFEST | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 5.9 KB |
| Makefile.system | -rw-r--r-- | 478 bytes |
| README.md | -rw-r--r-- | 9.9 KB |
| _tags | -rw-r--r-- | 757 bytes |
| myocamlbuild.ml | -rw-r--r-- | 2.3 KB |
Computing file changes ...
