From: GOODENOUGH@A.ISI.EDU (John B. Goodenough)
Subject: Re: Allocator Subtypes Question
Date: Fri, 5-Sep-86 08:42:28 EDT [thread overview]
Date: Fri Sep 5 08:42:28 1986
Message-ID: <8609051349.AA14696@ucbvax.Berkeley.EDU> (raw)
In-Reply-To: 12236430813.14.MENDAL@SU-SIERRA.ARPA
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.
-------
next prev parent reply other threads:[~1986-09-05 12:42 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1986-09-05 6:42 Allocator Subtypes Question Geoff Mendal
1986-09-05 12:42 ` John B. Goodenough [this message]
1986-09-05 17:30 ` arny
[not found] <14@<12236430813>
1986-09-10 20:14 ` stt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox