Re: How to get a compilation error

["Gautier Write-only-address" <gautier_niouzes@hotmail.com>]

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

>To get an error, do the following:
>subtype Assert is boolean range True..True;
>Check : constant := Assert'Pos(96 rem Chunk_Bits = 0)
>
>Since Check is a named number, an invalid value will result in a compile 
>time error (new in 95).

Interesting to observe that neither GNAT 3.13p nor OA 7.2.1
says anything against
------------------------------------------------------
procedure xxx is

  subtype Assert is Boolean range True..True;
  Check1 : constant := Assert'Pos(True) ;
  Check2 : constant := Assert'Pos(False) ;

begin
  null;
end;
------------------------------------------------------
;-)
______________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/e3d.htm

NB: Do not answer to sender address, visit the Web site!
    Ne r�pondez pas � l'exp�diteur, visitez le site ouaibe!


_________________________________________________________________
Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp