From: stt@ada-uts
Subject: Re: Allocator Subtypes Question
Date: Wed, 10-Sep-86 16:14:00 EDT [thread overview]
Date: Wed Sep 10 16:14:00 1986
Message-ID: <4700075@ada-uts> (raw)
In-Reply-To: 14@<12236430813
Definitely a constraint error:
LRM 4.8:6
For the evaluation of an allocator, ... the evaluation of
the qualified expression is performed first. ...
LRM 4.7:3
... The evaluation of a qualified expression evaluates the operand
and checks that its value belongs to the subtype denoted by the
type mark. The exception CONSTRAINT_ERROR is raised if this check
fails. ...
next parent reply other threads:[~1986-09-10 20:14 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <14@<12236430813>
1986-09-10 20:14 ` stt [this message]
1986-09-05 6:42 Allocator Subtypes Question Geoff Mendal
1986-09-05 12:42 ` John B. Goodenough
1986-09-05 17:30 ` arny
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox