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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,514627f9964b6e38
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Using the GNAT defined attribute: 'Enum_Rep
Date: 1997/09/08
Message-ID: <EG7Eu3.6Dz@world.std.com>#1/1
X-Deja-AN: 270773951
References: <97082719523509@psavax.pwfl.com>
 <340D6C5D.2E53@pseserv3.fw.hac.com> <dewar.873592148@merv>
Organization: The World Public Access UNIX, Brookline, MA
Newsgroups: comp.lang.ada
Date: 1997-09-08T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <dewar.873592148@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
>The ACVC interpretation (and hence what all Ada compilers do), is that
>if you use an enumeration representation clause, then the representation
>must match that of integers of the same size.

Right, although the RM doesn't say so.  In fact, the RM doesn't say that
the representation of all integer types of a given size has to be the
same.  Probably the RM should have nailed this point down.

In fact, doesn't GNAT use biased representations in some cases?  How
does that affect unch-conv from enum to biased-integer?

- Bob