Allocator Subtypes Question

Article View: net.lang.ada

Article #942

#942

From: Geoff Mendal
Date: Fri, 05 Sep 1986 06:42

20 lines
1065 bytes

Hello Ada Fans-

We've read LMC-AI 00324/02, and paragraphs 4.8:3-6 of the Language
Reference Manual, but still have a question concerning the behavior
of the following program:

  procedure Main is
    type A is access Integer range -10 .. 15;
    X : A;
  begin
    X := new Natural'(-5);
    ...
  end;

Does evaluation of the allocator raise Constraint_Error or not?
Why or why not.  We would appreciate appropriate LRM references
to back up any "interpretations".  Thanks in advance.

geoff & doug
-------

Technical Details

Message-ID: <12236430813.14.MENDAL@SU-SIERRA.ARPA>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!caip!clyde!cbatt!cbosgd!ucbvax!SU-SIERRA.ARPA!Mendal

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!caip!clyde!cbatt!cbosgd!ucbvax!SU-SIERRA.ARPA!Mendal
From: Mendal@SU-SIERRA.ARPA (Geoff Mendal)
Newsgroups: net.lang.ada
Subject: Allocator Subtypes Question
Message-ID: <12236430813.14.MENDAL@SU-SIERRA.ARPA>
Date: Fri, 5-Sep-86 02:42:00 EDT
Article-I.D.: SU-SIERR.12236430813.14.MENDAL
Posted: Fri Sep  5 02:42:00 1986
Date-Received: Fri, 5-Sep-86 21:11:15 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 20