From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada 95 case statement incompatibility?
Date: 1996/08/28
Date: 1996-08-28T00:00:00+00:00 [thread overview]
Message-ID: <dewar.841211969@schonberg> (raw)
In-Reply-To: 4vv4bs$hb8@erlang.praxis.co.uk
Gavin says
"In practice, these problems are not likely to occur in many programs since the
usual approach would be to use an 'others' clause to cover values outside the
subtype. However, I am surprised that this issue has not been mentioned in the
Ada 95 documentation.
"
Exactly, it is quite hard to believe that you found this in a real program,
surely you just figured it out from reading.
There are quite a lot of obscure legality incompatibilities of this type
if you start hunting. The compatibility guide is limited to things that
one expects to be a problem in real life!
next prev parent reply other threads:[~1996-08-28 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-08-27 0:00 Ada 95 case statement incompatibility? Gavin Finnie
1996-08-27 0:00 ` Michael F Brenner
1996-08-28 0:00 ` Robert Dewar
1996-08-28 0:00 ` Norman H. Cohen
1996-08-28 0:00 ` Robert Dewar
1996-08-28 0:00 ` Robert Dewar [this message]
1996-08-28 0:00 ` Gavin Finnie
1996-08-29 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox