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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
Path: 
 buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!fx30.iad.POSTED!not-for-mail
From: Shark8 <OneWingedShark@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64;
 rv:34.0) Gecko/20100101 Thunderbird/34.0a1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Ada 2012 Corrigendum
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <nRsQv.117415$412.60522@fx30.iad>
X-Complaints-To: abuse@teranews.com
NNTP-Posting-Date: Fri, 12 Sep 2014 02:26:27 UTC
Organization: TeraNews.com
Date: Thu, 11 Sep 2014 20:26:35 -0700
X-Received-Bytes: 1694
X-Received-Body-CRC: 1225161562
X-Original-Bytes: 1711
Xref: number.nntp.dca.giganews.com comp.lang.ada:188976
Date: 2014-09-11T20:26:35-07:00
List-Id: <comp.lang.ada>

Is it possible to add in new aspects, or no?

Two that I think would be useful would be:
(1) "Delayed_Representation" for enumerations which would allow the 
following, which is not currently possible due to freezing:

Package Ex1 is
   -- Statuses for drives.
   Type General_Status is (Unmounted, Standby, Ready, Busy, Unknown)
   with Delayed_Representation;

   -- Statuses for non-removable drives.
   Subtype HD_Status is General_Status range Standby..Unknown;

Private
   For General_Status use (
      Unmounted => 2#0000#,
      Standby   => 2#0001#,
      Ready     => 2#0011#,
      Busy      => 2#0101#,
      Unknown   => 2#1111#
    );
End Ex1;

(2) An aspect indicating a function which is not-only pure, but static 
-- intended to be computed at compile-time; this could, for example, be 
used to make the formulae in the endian-independent paper ( 
http://www.sigada.org/ada_letters/sept2005/Endian-Independent%20Paper.pdf ) 
directly usable.

Or should I submit these as AI entries? (In either case, what should I 
do to get these addressed?)