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-Thread: 103376,9b7d3a51d0d8b6ee
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!v15g2000yqn.googlegroups.com!not-for-mail
From: Martin <martin.dowie@btopenworld.com>
Newsgroups: comp.lang.ada
Subject: Re: Extending discriminant types
Date: Fri, 21 Nov 2008 03:44:04 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <c6566b0a-4d09-4573-a2d0-987ff34a6e63@v15g2000yqn.googlegroups.com>
References: <20081115101632.5f98c596@cube.tz.axivion.com>
 <oiRUk.141685$Mh5.126924@bgtnsc04-news.ops.worldnet.att.net>
	<26f0cb8c-eb3e-4c0d-85d1-f45e2c1ba4c6@j38g2000yqa.googlegroups.com>
	<NZlVk.36083$_Y1.11594@bgtnsc05-news.ops.worldnet.att.net>
NNTP-Posting-Host: 20.133.0.8
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1227267844 18677 127.0.0.1 (21 Nov 2008 11:44:04
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 21 Nov 2008 11:44:04 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: v15g2000yqn.googlegroups.com; posting-host=20.133.0.8;
	posting-account=g4n69woAAACHKbpceNrvOhHWViIbdQ9G
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.0.4)
	Gecko/2008102920 Firefox/3.0.4,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:3700
Date: 2008-11-21T03:44:04-08:00
List-Id: <comp.lang.ada>

On Nov 20, 10:59=A0pm, a...@anon.org (anon) wrote:
[snip]
> Now to the RM.
>
> From the RM 95, Annex N:
>
> 38 =A0 Subtype. =A0A subtype is a type together with a constraint, which
> constrains the values of the subtype to satisfy a certain condition. =A0T=
he
> values of a subtype are a subset of the values of its type.
>
> With that in mind. The definition of the "Base attribute" in Annex K:
>
> 18 =A0 S'Base denotes an unconstrained subtype of the type of S. This
> =A0 =A0 =A0unconstrained subtype is called the base subtype of the type.
> =A0 =A0 =A0See 3.5.
>
> and from RM 3.5
>
> S'Base: =A0denotes an unconstrained subtype of the type of S. This
> =A0 =A0 =A0 =A0 =A0unconstrained subtype is called the base subtype of
> =A0 =A0 =A0 =A0 =A0the type.
>
> Also Annex K says "For every scalar subtype S:" it does not say for
> "For every scalar subtypes S only:".

But the section heading for 3.5 kind of gives it away doesn't
it..."Scalar Types"! If it applied to other kinds of type then it
would be mentioned in those sections.

And why would K(17) have to include the word "only" when it already
includes "scalar"?

None of the other entries in Annex K use "only" to limit their
applicability - they just state what they are applicable to. Would you
really then read on from K(17) and think K(19) "S'Bit_Order For every
specific record subtype S:" means that 'Bit_Order could apply to
something other than a record subtype??? Or K(181) 'Pred applies to
something other than scalars??? etc

Cheers
-- Martin