Merge pull request #2859 from nanoant/patch/norewrite-pragma

{.noRewrite.} pragma for term rewriting
This commit is contained in:
Andreas Rumpf 2015-06-05 12:53:15 +02:00
commit f8326ad4c0
6 changed files with 21 additions and 8 deletions

View file

@ -423,6 +423,7 @@ type
# but unfortunately it has measurable impact for compilation
# efficiency
nfTransf, # node has been transformed
nfNoRewrite # node should not be transformed anymore
nfSem # node has been checked for semantics
nfLL # node has gone through lambda lifting
nfDotField # the call can use a dot operator