On 2013-02-06, Rupert Swarbrick <rswarbrick at gmail.com> wrote:
> putting logic about real and complex numbers into the feature system
> is probably Doing It Wrong.
Agreed.
> My proposal is that we allow features to be declared to be
> incompatible.
I'm against it. I'd like to move any inference out of the declaration
system. Also, I agree w/ a comment by Stavros that multiple declarations
should be treated as a conjunction. It is certainly possible that the
conjunction is identically false, but that isn't a problem in the
declaration system.
best,
Robert Dodier