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,a79ba897d64210ea X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread1.news.pas.earthlink.net.POSTED!a6202946!not-for-mail From: "Jeffrey R. Carter" Organization: jrcarter at acm dot org User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.12) Gecko/20050915 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: TYPE'Size in static expression References: <4358A12B.4030601@dif.andthis.um.es> <435CBDDF.3040607@dif.andthis.um.es> In-Reply-To: <435CBDDF.3040607@dif.andthis.um.es> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Mon, 24 Oct 2005 19:15:56 GMT NNTP-Posting-Host: 67.3.220.215 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.news.pas.earthlink.net 1130181356 67.3.220.215 (Mon, 24 Oct 2005 12:15:56 PDT) NNTP-Posting-Date: Mon, 24 Oct 2005 12:15:56 PDT Xref: g2news1.google.com comp.lang.ada:5909 Date: 2005-10-24T19:15:56+00:00 List-Id: Francisco J. Montoya wrote: > That, indeed, solved my problem, but I still do not finish in > understanding why what I wrote did not work. The expression I wrote is > supposed to be of "Universal Integer Type", isn't it? So adding the > explicit type "Integer" to the constant definition should not make much > difference. Named numbers must be static. 'Size is only static for certain types. 'Size is never static for generic formal types. Typed constants, on the other hand, need not be static. That's why "constant Integer :=" works here, but "constant :=" doesn't. -- Jeff Carter "Ditto, you provincial putz?" Blazing Saddles 86