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: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.189.209 with SMTP id gk17mr886596wic.7.1363368872884;
        Fri, 15 Mar 2013 10:34:32 -0700 (PDT)
Path: 
 g1ni67719wig.0!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feeder3.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.86.MISMATCH!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!multikabel.net!newsfeed20.multikabel.net!news.mi.ras.ru!goblin1!goblin2!goblin.stu.neva.ru!feeder.erje.net!us.feeder.erje.net!xmission!newsswitch.lcs.mit.edu!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
Date: Mon, 11 Mar 2013 18:38:27 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcc38w14l5o.fsf@shell01.TheWorld.com>
References: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
 <wccfw017lkv.fsf@shell01.TheWorld.com>
 <ec2783d9-1ae6-419e-97ad-12cb9e6c3d74@googlegroups.com>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
X-Trace: pcls6.std.com 1363041507 9223 192.74.137.71 (11 Mar 2013 22:38:27
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Mon, 11 Mar 2013 22:38:27 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:Kq/Xbg3cZbDbWCliaBPUGlyKEyg=
Content-Type: text/plain; charset=us-ascii
Date: 2013-03-11T18:38:27-04:00
List-Id: <comp.lang.ada>

(Sorry, I didn't mean to send email.)

Anh Vo <anhvofrcaus@gmail.com> writes:

> Thank you for your clarification.

You're welcome.

>...My next question is that should ARM
> mention some thing of that effect regarding subtype predicates.

It's not necessary.  The description of S'Succ makes it clear that it
applies to S'Base, and returns S'Base.  And it says somewhere that the
predicate of a base subtype is True.  And that the values of a subtype
don't care about predicates anyway.

Potentially confusing, perhaps, but I think it's correct.

Now an Ada textbook, on the other hand ...

- Bob