Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!A.ISI.EDU!GOODENOUGH
From: GOODENOUGH@A.ISI.EDU (John B. Goodenough)
Newsgroups: net.lang.ada
Subject: Re: Allocator Subtypes Question
Message-ID: <8609051349.AA14696@ucbvax.Berkeley.EDU>
Date: Fri, 5-Sep-86 08:42:28 EDT
Article-I.D.: ucbvax.8609051349.AA14696
Posted: Fri Sep  5 08:42:28 1986
Date-Received: Fri, 5-Sep-86 22:14:29 EDT
References: <12236430813.14.MENDAL@SU-SIERRA.ARPA>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 8

With respect to the question, does 

	X := new Natural'(-5);

raise CONSTTRAINT_ERROR, the answer is yes.  4.8(6) says the qualified
expression, Natural'(-5), is evaluated, and its evaluation raises
CONSTRAINT_ERROR [4.7(3)] regardless of what the designated subtype is.
-------