Richard Kenner wrote:
which, contrary to your previous email, is definitely not an erroneous situation. Precision is very important here!Yes, and I'm sorry for the confusion. However, for the purposes of this discussion, there's no difference between erroneous and bounded error: the issue is whether it's right to say that the only "valid" values of the subtype are what's given by its range and that's the case whether an invalid value would be a bounded error or erroneous.
no, there is a big difference x'Valid must work if x is invalid but x'valid is erroneous if x is abnormal
