diff options
author | Adrian Thurston <thurston@complang.org> | 2015-04-30 16:52:19 -0400 |
---|---|---|
committer | Adrian Thurston <thurston@complang.org> | 2015-04-30 16:52:19 -0400 |
commit | 04102c8892ae0fa16c8d9b4f86322b90969e80b8 (patch) | |
tree | fb26c93dab15ca60c53f4b27fd2291bc8e280893 | |
parent | 32263200a9b0637eb8f567f2fbb8580de3f469ac (diff) | |
download | ragel-04102c8892ae0fa16c8d9b4f86322b90969e80b8.tar.gz |
enable the PriorInteraction test for guarded-in priors
Hacked a check for guarded-in priority check. Should do this some other way,
but works for now. If the technique becomes permanent we can fix.
refs #53
-rw-r--r-- | src/fsmap.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/fsmap.cc b/src/fsmap.cc index 6ee2b7c5..b89fe954 100644 --- a/src/fsmap.cc +++ b/src/fsmap.cc @@ -846,13 +846,13 @@ int FsmAp::comparePrior( const PriorTable &priorTable1, const PriorTable &priorT pd2.increment(); /* Keys are the same, check priorities. */ else if ( pd1->desc->priority < pd2->desc->priority ) { - //if ( ctx->nfaTermCheck ) - // throw PriorInteraction(); + if ( pd1->desc->key >= 10000 && ctx->nfaTermCheck ) + throw PriorInteraction(); return -1; } else if ( pd1->desc->priority > pd2->desc->priority ) { - //if ( ctx->nfaTermCheck ) - // throw PriorInteraction(); + if ( pd1->desc->key >= 10000 && ctx->nfaTermCheck ) + throw PriorInteraction(); return 1; } else { |