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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!caip!clyde!cbatt!cbosgd!ucbvax!SU-SIERRA.ARPA!Mendal
From: Mendal@SU-SIERRA.ARPA (Geoff Mendal)
Newsgroups: net.lang.ada
Subject: Allocator Subtypes Question
Message-ID: <12236430813.14.MENDAL@SU-SIERRA.ARPA>
Date: Fri, 5-Sep-86 02:42:00 EDT
Article-I.D.: SU-SIERR.12236430813.14.MENDAL
Posted: Fri Sep  5 02:42:00 1986
Date-Received: Fri, 5-Sep-86 21:11:15 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

Hello Ada Fans-

We've read LMC-AI 00324/02, and paragraphs 4.8:3-6 of the Language
Reference Manual, but still have a question concerning the behavior
of the following program:

  procedure Main is
    type A is access Integer range -10 .. 15;
    X : A;
  begin
    X := new Natural'(-5);
    ...
  end;

Does evaluation of the allocator raise Constraint_Error or not?
Why or why not.  We would appreciate appropriate LRM references
to back up any "interpretations".  Thanks in advance.

geoff & doug
-------