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,b817774a65dfd622
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-03-29 03:30:14 PST
Path: 
 archiver1.google.com!news1.google.com!news.glorb.com!newsrout1.ntli.net!news.ntli.net!newsfeed.vmunix.org!newsfeed.stueberl.de!newsr1.ipcore.viaginterkom.de!news-peer1!btnet-feed3!btnet!carbon.eu.sun.com!new-usenet.uk.sun.com!not-for-mail
From: Ole-Hjalmar Kristensen
 <ole-hjalmar.kristensen@substitute_employer_here.com>
Newsgroups: comp.lang.ada
Subject: sizetest.ads:10:28 non-static expression used in number declaration
Date: 29 Mar 2004 13:13:18 +0200
Organization: Sun Microsystems
Message-ID: <wvbrekrbucs1.fsf@europa1.Norway.Sun.COM>
NNTP-Posting-Host: europa1.norway.sun.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: new-usenet.uk.sun.com 1080558798 20544 129.159.113.161 (29 Mar 2004
 11:13:18 GMT)
X-Complaints-To: usenet@new-usenet.uk.sun.com
NNTP-Posting-Date: 29 Mar 2004 11:13:18 GMT
User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7
Xref: archiver1.google.com comp.lang.ada:6643
Date: 2004-03-29T11:13:18+00:00
List-Id: <comp.lang.ada>


Gnat 3.15p throws out the following error message when confronted with this program:
sizetest.ads:10:28: non-static expression used in number declaration

Kind of weird. If I change constant to constant Integer it compiles without errors.
Any reasonable explanation or compiler bug?
Same error message if I use Foo'size instead.

package Sizetest is

   type Foo is record
      X : Integer;
      Y : Integer;
   end record;

   F : Foo;

   Foo_Size : constant := F'Size;

end Sizetest;

-- 
   C++: The power, elegance and simplicity of a hand grenade.