On Mon, 2006-01-16 at 19:03 -0500, uwcssa wrote:
> Fine. The rest documentation says:" For now, the test only uses
> restriction clauses (those in restrictinfo_list). --Nels, Dec '92",
> however, I understand it as being overridden by the
> followup, which is:"XXX as of 7.1, equivalence class info *is*
> available. Consider
> improving this code as foreseen by Nels."
All readers are invited to solve the problem.
Currently we add only implied equality conditions, so enhancing the
optimizer to cope with inequalities seems possible.
Best Regards, Simon Riggs