On 2013-05-30, Oliver Kullmann <O.Kullmann at swansea.ac.uk> wrote:
> hopefully this wouldn't affect computations with simple sets (we are
> highly dependent on sets constructed from lists, integers, and sets)?
Right -- the general goal is to reinterpret some constructs which are
now undefined. That probably implies that any expression which is now OK
has to continue to yield the same result (except that some expressions
no longer cause errors). However, some results seem to change depending
on whether one considers arguments to be literal set elements or
variables (this is about elementp specifically) -- it seems plausible
that elementp(foo, bar) and 'elementp(foo, bar) could yield different
results for the same foo and bar. I'd like to steer away from that, as
it would be harder to comprehend, but I'm not sure how.
best
Robert Dodier