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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c6e6cdf6ff50e684
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-02-08 07:59:09 PST
Path: 
 supernews.google.com!sn-xit-02!sn-xit-01!supernews.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!cpk-news-hub1.bbnplanet.com!denver-snf1.gtei.net!news.gtei.net!coop.net!newsfeed1.global.lmco.com!svlnews.lmms.lmco.com!not-for-mail
From: "M. Kotiaho" <kotiaho@m_a_i_l.com>
Newsgroups: comp.lang.ada
Subject: Re: Representation clause for enumeratives
Date: Thu, 08 Feb 2001 09:41:51 -0600
Organization: LMMFC - D
Message-ID: <3A82BE3F.EB695A73@m_a_i_l.com>
References: <95tqbh$ag7$1@nnrp1.deja.com> <95tre2$f33@news.kvaerner.com>
 <95u470$ho1$1@nnrp1.deja.com> <95ua6q$mp4$1@nnrp1.deja.com>
NNTP-Posting-Host: 138.209.253.101
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: Mozilla 4.7 [en] (WinNT; U)
X-Accept-Language: en
Xref: supernews.google.com comp.lang.ada:4999
Date: 2001-02-08T09:41:51-06:00
List-Id: <comp.lang.ada>

Robert Dewar wrote:

> In article <95u470$ho1$1@nnrp1.deja.com>,
>   Sandro Binetti <sandrobinetti@my-deja.com> wrote:
> > In article <95tre2$f33@news.kvaerner.com>,
> >   "Tarjei T. Jensen" <tarjei.jensen@kvaerner.com> wrote:
> > > Have you tried to insert a size directive. e.g
> > >
> > > type TYP_ENUM is (A,B,C);
> > >
> > > for TYP_ENUM'size use 32;
> >
> > Done. But the problem is still the same ...
> > Why?
>
> Presumably a capacity limitation in the compiler you are
> using, not a terribly justifiable one, so you should bring
> this to the attention of the vendor. Most likely the decision
> is to use a signed 32-bit integer to represent enumerations,
> which as you see in this case can be an annoying restriction.
>
> Sent via Deja.com
> http://www.deja.com/

Indeed, GNAT on WinNT (Pentium-II) will allow the following:

    type TYP_ENUM is (A,B,C);

    for TYP_ENUM use(
       -16#8000000000000000#,
        16#00000002#,------#
        16#7FFFFFFFFFFFFFFF#  -- <<<<< NOTICE THIS VALUE !!!
 );

Apparently, GNAT is using a signed 64-bit integer.

Incidently, both compilers are sticking to the
"at least" portion of the implementation advice -- they
just define System.Min_Int and System.Max_Int differently:

(Copied from Lutz Donnerhacke's post)
>Implementation Advice
> 9. The recommended level of support for
enumeration_representation_clauses is:
>      1. An implementation should support at least the internal codes
in the
>         range System.Min_Int..System.Max_Int. An implementation need
not
>         support enumeration_representation_clauses for boolean types.

Markku Kotiaho