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-Thread: 103376,8332ddd3efd0a65
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news1.google.com!news.germany.com!news.teledata-fn.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 17 Aug 2006 14:03:24 +0200
From: Georg Bauhaus <bauhaus@futureapps.de>
Organization: elsewhere
User-Agent: Thunderbird 1.5.0.5 (Macintosh/20060719)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Enumeration type - GNAT 3.15p bug?
References: <1155815395.237631.224930@m79g2000cwm.googlegroups.com>
In-Reply-To: <1155815395.237631.224930@m79g2000cwm.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <44e45a88$0$6981$9b4e6d93@newsspool1.arcor-online.net>
NNTP-Posting-Date: 17 Aug 2006 14:01:12 CEST
NNTP-Posting-Host: e4460825.newsspool1.arcor-online.net
X-Trace: 
 DXC=bV1XMQ`];;9^8FBo0_81f>ic==]BZ:af>4Fo<]lROoR18kF<OcfhCO;Ec[Ii1>5Gm>PCY\c7>ejV8K<E8GOkmlE8MJK0S?1``X9
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:6241
Date: 2006-08-17T14:01:12+02:00
List-Id: <comp.lang.ada>

Gerd wrote:
>  For the dynamic
> assignment below (line 8) I would expect that an exception is raised,

% ./jenumxa 

raised CONSTRAINT_ERROR : jenumxa.adb:8

% gcc -v
Reading specs from /usr/libexec/gcc/darwin/ppc/3.1/specs
Thread model: posix
Apple Computer, Inc. GCC version 1252, based on gcc version 3.1 20021003 (prerelease)

That compiler is not exactly 3.15p, but from 2002, so I guess
it is of a similar age.

Does passing -gnato (Ada mode) to gnatmake make a difference?


> As far as I know the 3.15p was the last officially released version
> from AdaCore, wasn't it?

No, recent official releaes of GNAT can be found here:
https://libre.adacore.com


> 
>  1: procedure JEnumXa is
>  2:   type ex is (Rot, Gruen, Gelb);
>  3:
>  4:   x : ex;

>  8:     x := ex'VAL(i);
>  9:   end ABC;
> 10: begin
 
> 16:   ABC (99);
> 17: end JEnumXa;
> 

-- Georg