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

SUBTYPEP-TOO-VAGUE (initial draft)



AND, OR and NOT are only messy to deal with if any of the type
specifiers involved use SATISFIES.  Otherwise they are well defined.
I think you should remove AND, OR and NOT from the "exceptions list."