Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!columbia!caip!pyrnj!mirror!gabriel!ada-uts!stt
From: stt@ada-uts
Newsgroups: net.lang.ada
Subject: Re: Allocator Subtypes Question
Message-ID: <4700075@ada-uts>
Date: Wed, 10-Sep-86 16:14:00 EDT
Article-I.D.: ada-uts.4700075
Posted: Wed Sep 10 16:14:00 1986
Date-Received: Thu, 11-Sep-86 21:34:58 EDT
References: <14@<12236430813>
Lines: 11
Nf-ID: #R:<12236430813:-1400:ada-uts:4700075:37777777600:398
Nf-From: ada-uts!stt    Sep 10 16:14:00 1986


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. ...