comp.lang.ada
 help / color / mirror / Atom feed
From: Mendal@SU-SIERRA.ARPA (Geoff Mendal)
Subject: Allocator Subtypes Question
Date: Fri, 5-Sep-86 02:42:00 EDT	[thread overview]
Date: Fri Sep  5 02:42:00 1986
Message-ID: <12236430813.14.MENDAL@SU-SIERRA.ARPA> (raw)

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

             reply	other threads:[~1986-09-05  6:42 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1986-09-05  6:42 Geoff Mendal [this message]
1986-09-05 12:42 ` Allocator Subtypes Question John B. Goodenough
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