From: Wilhelm Spickermann <wilhelm.spickermann@t-online.de>
To: comp.lang.ada@ada.eu.org
Subject: Re: How to get a compilation error
Date: Fri, 16 Nov 2001 10:44:24 +0100
Date: 2001-11-16T10:44:24+01:00 [thread overview]
Message-ID: <mailman.1005904012.23693.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: <9t2i83$7j2$1@s1.read.news.oleane.net>
--On Freitag, November 16, 2001 09:19:11 +0100 Jean-Pierre Rosen
<rosen@adalog.fr> wrote:
> That's right... try:
> Check : constant := Assert'Pos(Assert(96 rem Chunk_Bits = 0))
Thats it! Thank You.
Wilhelm
PS: I had tried this after Your first mail and thought it
wouldn´t work, because gnat told me "non-static expression used
in number declaration". Well, I should have read all the 3 error
messages from gnat: it was only a follow-up-error of "static
expression raises ""Constraint_Error""".
next prev parent reply other threads:[~2001-11-16 9:44 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-15 14:16 How to get a compilation error Wilhelm Spickermann
2001-11-15 15:06 ` Martin Dowie
2001-11-15 15:09 ` Jean-Pierre Rosen
2001-11-15 17:38 ` Wilhelm Spickermann
2001-11-16 8:19 ` Jean-Pierre Rosen
2001-11-16 9:44 ` Wilhelm Spickermann [this message]
2001-11-16 10:22 ` Pi
2001-11-16 17:27 ` Wilhelm Spickermann
2001-11-15 23:49 ` martin.m.dowie
2001-11-16 9:05 ` Wilhelm Spickermann
2001-11-15 17:47 ` Wilhelm Spickermann
-- strict thread matches above, loose matches on Subject: below --
2001-11-16 8:23 Gautier Write-only-address
[not found] <mailman.1005975714.13778.comp.lang.ada@ada.eu.org>
2001-11-17 11:32 ` Preben Randhol
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox