comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Static assertions
Date: Fri, 18 May 2001 01:23:44 GMT
Date: 2001-05-18T01:23:44+00:00	[thread overview]
Message-ID: <wcc8zjvsb4v.fsf@world.std.com> (raw)
In-Reply-To: 9e0pfb$ao9$1@s1.read.news.oleane.net

"Jean-Pierre Rosen" <rosen@adalog.fr> writes:

>    Assert_1 : constant := Boolean'Pos( Assert (Integer'Size=32) );

Interesting.  But shouldn't it be Assert'(...)?
                                        ^ ie a qualified expression

- Bob



  parent reply	other threads:[~2001-05-18  1:23 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-05-17 15:07 Static assertions Jean-Pierre Rosen
2001-05-17 17:44 ` Jeffrey Carter
2001-05-17 19:09   ` Marin David Condic
2001-05-17 22:34     ` Jeffrey Carter
2001-05-18 13:39       ` Marin David Condic
2001-05-18  1:23 ` Robert A Duff [this message]
2001-05-19  7:40 ` David Kristola
2001-05-19 22:56   ` Robert A Duff
2001-05-19  8:36 ` Aaro Koskinen
2001-05-21  7:50   ` Jean-Pierre Rosen
2001-06-12  3:59     ` David Thompson
  -- strict thread matches above, loose matches on Subject: below --
2001-05-18  5:34 Christoph Grein
2001-05-18 13:38 ` Robert A Duff
2001-05-18 16:15   ` Jeffrey Carter
2001-05-18 17:25     ` Ted Dennison
2001-05-18 21:27     ` Robert A Duff
2001-05-18 22:46       ` Jeffrey Carter
2001-05-19 22:53         ` Robert A Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox