Re: [sv-bc] Mantis 1345: 10.4: "illegal" unique if/case issues

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Mon Feb 20 2006 - 09:04:34 PST
>6. Subject for possible discussion: why should a tool not issue a
warning >if it finds ANY ordering which violates uniqueness (even if it
finds a >different ordering which does not, which probably makes it a
pathological >case anyway)?

The LRM doesn't say a tool can't issue a warning in such a case, it says
it is not required to do so.  Is there any place where the LRM prohibits
a tool from issuing warnings?

-- Brad
Received on Mon Feb 20 09:04:42 2006

This archive was generated by hypermail 2.1.8 : Mon Feb 20 2006 - 09:05:46 PST