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,9e499c74312ed3f0
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-05-19 15:57:21 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!portc03.blue.aol.com!feed.newsreader.com!uunet!ash.uu.net!world!bobduff
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Static assertions
Sender: bobduff@world.std.com (Robert A Duff)
Message-ID: <wccheyht0aw.fsf@world.std.com>
Date: Sat, 19 May 2001 22:56:55 GMT
References: <9e0pfb$ao9$1@s1.read.news.oleane.net>
	<01HW.B72B716F00032943067E550C@news.pacbell.net>
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: Gnus v5.3/Emacs 19.34
Xref: archiver1.google.com comp.lang.ada:7654
Date: 2001-05-19T22:56:55+00:00
List-Id: <comp.lang.ada>

David Kristola <David95037@See-My.Sig> writes:

> >    subtype Assert is Boolean range True..True;
> Why not
> 
>    Assert_1 : constant Assert := (Integer'Size = 32);

I said in another post that, unfortunately, this is not required to
cause any compile-time or run-time error.  Sigh.

- Bob