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!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>
Nf-ID: #R:<12236430813:-1400:ada-uts:4700075:37777777600:398
Nf-From: ada-uts!stt    Sep 10 16:14:00 1986
List-Id: <comp.lang.ada>


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