diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2015-09-29 06:46:07 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2015-09-29 06:46:07 -0700 |
| commit | 8843aff1cf55256596bce77e90532b1115e8547e (patch) | |
| tree | d4adbd8fd2631869e2dab7a5b8b209fd5a134215 /tests/012/ifa.tl | |
| parent | d20e981aeec0413c01421920d80f5b077ba95769 (diff) | |
| download | txr-8843aff1cf55256596bce77e90532b1115e8547e.tar.gz txr-8843aff1cf55256596bce77e90532b1115e8547e.tar.bz2 txr-8843aff1cf55256596bce77e90532b1115e8547e.zip | |
Additional reductions for and.
* regex.c (reg_optimize): If the empty regex is and-ed with
another regex, that other regex must be nullable, otherwise
the and matches nothing. This is captured in some new
reductions for the and operator.
Diffstat (limited to 'tests/012/ifa.tl')
0 files changed, 0 insertions, 0 deletions