[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: sub conditionals_true_when (@@) [PATCH]

From: Tom Tromey
Subject: Re: sub conditionals_true_when (@@) [PATCH]
Date: 01 Jul 2001 17:13:08 -0600

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

Richard>2001-06-06  Richard Boulton  <address@hidden>
Richard>        * (conditionals_true_when): Pass first parameters by reference,
Richard>        avoiding bug which put all parameters in @CONDS instead of 
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/ (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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]