diff options
author | 2013-05-24 21:33:54 -0400 | |
---|---|---|
committer | 2013-05-24 21:46:33 -0400 | |
commit | b2a2c996ad935e87b1f28eb77d12a895986073af (patch) | |
tree | 13f55b5e0e6d57ee87f09d2123b10ebbbfc0473e /Option.hs | |
parent | d4aec55d1c815eb5c9a2264de1d5ca2bad31bf8c (diff) |
Fix bug in parsing of parens in some preferred content expressions. This fixes the behavior of the manual mode group.
The current manual mode preferred content expression is:
"present and (((exclude=*/archive/* and exclude=archive/*) or (not (copies=archive:1 or copies=smallarchive:1))) or (not copies=semitrusted+:1))"
The old matcher misparsed this, to basically:
OR (present and (...)) (not copies=semitrusted+:1))
The paren handling and indeed the whole conversion from tokens to the
matcher was just wrong. The new way may not be the cleverest, but I think
it is correct, and you can see how it pattern matches structurally against
the expressions when parsing them.
That expression is now parsed to:
MAnd (MOp <function>)
(MOr (MOr (MAnd (MOp <function>) (MOp <function>)) (MNot (MOr (MOp <function>) (MOp <function>))))
(MNot (MOp <function>)))
Which appears correct, and behaves correct in testing.
Also threw in a simplifier, so the final generated Matcher has less
unnecessary clutter in it. Mostly so that I could more easily read &
confirm them.
Also, added a simple test of the Matcher to the test suite.
There is a small chance of badly formed preferred content expressions
behaving differently than before due to this rewrite.
Diffstat (limited to 'Option.hs')
0 files changed, 0 insertions, 0 deletions