comp.lang.ada
 help / color / mirror / Atom feed
From: anh_vo@udlp.com (Anh_Vo)
Subject: Re: constrained subtypes
Date: 11 Mar 2002 13:05:58 -0800
Date: 2002-03-11T21:05:59+00:00	[thread overview]
Message-ID: <5a59d6a9.0203111305.4db3321f@posting.google.com> (raw)
In-Reply-To: 3c8cc63b$1@pull.gecm.com

"George Stevens" <george.stevens@baesystems.com> wrote in message news:<3c8cc63b$1@pull.gecm.com>...
> We're trying to use subtypes of base integer, constraining them 1 .. 8
> (i.e. static values)
> When we use these types in a case statement, covering values 1 - 8, the
> Aonix Ada compiler (7.1.2) complains that we haven't defined "others".
> However, we shouldn't need to, as all cases are within the constrained
> limits.  I've looked at Programming in Ada 95 - Barnes (p106) which seems to
> suggest that we're doing the right thing language-wise, so long as the range
> limits are static types.
> 
> Is this a compiler funny or an Ada funny?

Neither is with information given. That leaves to the third source.
Please post the source codes, so others can have a chance to look at
them. In fact, this post did not contain enough information to draw
any conclusion.

A. Vo



  parent reply	other threads:[~2002-03-11 21:05 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-03-11 15:00 constrained subtypes George Stevens
2002-03-11 16:16 ` Stephen Leake
2002-03-11 16:50 ` Jeffrey Carter
2002-03-11 21:05 ` Anh_Vo [this message]
2002-03-12  9:39 ` George Stevens
2002-03-12 10:38   ` Martin Dowie
2002-03-12 11:57     ` George Stevens
2002-03-12 12:02       ` Martin Dowie
2002-03-12 12:03       ` Martin Dowie
2002-03-12 16:42   ` Jeffrey Carter
2002-03-13 22:09 ` Wannabe h4x0r
  -- strict thread matches above, loose matches on Subject: below --
2002-03-12  7:59 Christoph Grein
2002-03-12 10:37 Christoph Grein
2002-03-13  6:22 Christoph Grein
2002-03-13 14:18 ` Robert Dewar
2002-03-14 11:01 Christoph Grein
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox