comp.lang.ada
 help / color / mirror / Atom feed
From: Wilhelm Spickermann <wilhelm.spickermann@t-online.de>
To: comp.lang.ada@ada.eu.org
Subject: Re: How to get a compilation error
Date: Thu, 15 Nov 2001 18:47:20 +0100
Date: 2001-11-15T18:47:20+01:00	[thread overview]
Message-ID: <mailman.1005881935.15819.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: <3bf3d68c$1@pull.gecm.com>



--On Donnerstag, November 15, 2001 15:06:41 +0000 Martin Dowie 
<martin.dowie@nospam.baesystems.com> wrote:

> Could try:
>
>    type A_Valid_Range is range 0 .. 0;
>
>    My_Check : constant A_Valid_Range :=
>       A_Valid_Range (96 mod (Integer'Min (32,
> System.Max_Binary_Modulus / 2)));
>
> This will probably raise a warning rather than an error though.
> Some compilers will let you specify that warning are to be
> treated as errors.

Yes, thank you. But it would be nice to be sure, that the guys 
using a package cannot get it to work, if it would fail in their 
environment.

Wilhelm




  parent reply	other threads:[~2001-11-15 17:47 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
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 [this message]
  -- 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