From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4fb6ec6cd054de65
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-03-12 03:56:10 PST
From: "George Stevens" <george.stevens@baesystems.com>
Newsgroups: comp.lang.ada
References: <3c8cc63b$1@pull.gecm.com> <3c8dcc9d$1@pull.gecm.com>
 <3c8dda5e$1@pull.gecm.com>
Subject: Re: constrained subtypes
Date: Tue, 12 Mar 2002 11:57:10 -0000
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
NNTP-Posting-Host: wv172947.wloovle.gmuwd.gecm.com
Message-ID: <3c8decd7@pull.gecm.com>
X-Trace: 12 Mar 2002 11:56:07 GMT, wv172947.wloovle.gmuwd.gecm.com
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!sunqbc.risq.qc.ca!newsfeed.mathworks.com!btnet-peer0!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!wv172947.wloovle.gmuwd.gecm.com
Xref: archiver1.google.com comp.lang.ada:21102
Date: 2002-03-12T11:57:10+00:00
List-Id: <comp.lang.ada>


"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?