comp.lang.ada
 help / color / mirror / Atom feed
From: "George Stevens" <george.stevens@baesystems.com>
Subject: Re: constrained subtypes
Date: Tue, 12 Mar 2002 11:57:10 -0000
Date: 2002-03-12T11:57:10+00:00	[thread overview]
Message-ID: <3c8decd7@pull.gecm.com> (raw)
In-Reply-To: 3c8dda5e$1@pull.gecm.com


"Martin Dowie" <martin.dowie@nospam.baesystems.com> wrote

> GNAT 3.13p agrees with this one.

Sorry not a news group regular (or indeed Ada regular), not sure what GNAT
3.13p is?

We tried it through the GNAT compiler as well as the Aonix one and it gave
the same error message, suggesting it was indeed a code error rather than a
compiler error.

> Is this because it is an "parenthesized expression", the result of the
> expression being in terms of the parent type "Integer"?

Apparently so, it seems.  The compiler seems to be interpreting it as a
parent type due to the brackets.  Is this a freezing rule situation?

> RM 4.4-ish?

Again, not sure what RM 4.4 is?





  reply	other threads:[~2002-03-12 11:57 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
2002-03-12  9:39 ` George Stevens
2002-03-12 10:38   ` Martin Dowie
2002-03-12 11:57     ` George Stevens [this message]
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