Re: sub conditionals_true_when (@@) [PATCH]

[Tom Tromey]

>>>>> "Richard" == Richard Boulton <address@hidden> writes:

Richard>2001-06-06  Richard Boulton  <address@hidden>
Richard>
Richard>        * (conditionals_true_when): Pass first parameters by reference,
Richard>        avoiding bug which put all parameters in @CONDS instead of 
@WHENS.
Richard>        Report by Kalle Olavi Niemitalo.
Richard>        Take a single WHEN instead of an array of WHENS.
Richard>        Remove FIXME; can't now have an empty @WHENS.
Richard>        * (conditional_is_redundant): New sub.
Richard>        * (variable_conditions_reduce): Check whether each condition is
Richard>        implied by any of the other conditions (other those already
Richard>        discarded), rather than checking only against those already
Richard>        considered (and kept).  Also, fix sense of check: was keeping
Richard>        tautologous terms instead of discarding them.  Use
Richard>        conditional_is_redundant instead of conditionals_true_when.
Richard>        * tests/Makefile.am (TESTS): Added cond11.test and cond12.test.
Richard>        * tests/cond11.test: New file.
Richard>        * tests/cond12.test: New file.


I'm checking this in.  I fixed a couple minor problems in the tests
and some of the formatting.  Thanks for writing this patch.  Sorry it
took so long; the paperwork process is annoying but required.

Tom