From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: setting 'Size and unchecked conversion safe here?
Date: 11 Feb 2005 18:38:09 -0500
Date: 2005-02-11T18:38:09-05:00 [thread overview]
Message-ID: <wcc3bw21xcu.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: mailman.130.1108147882.527.comp.lang.ada@ada-france.org
Marius Amado Alves <amado.alves@netcabo.pt> writes:
> I need to store access-to-subprogram values in a 64-bit modular type.
Why do you want to do that?
>... I
> write
>
> for My_Access_To_Subprogram_Type'Size use 64;
>
> and GNAT warns me about 32 bits being unused. But Unchecked_Conversion
> between the access and the modular works fine. Now, is it working fine
> by chance or by language definition?
The language certainly does not define this to work. It might work on
some (all?) implementations.
What do you mean by "works fine"? Values convert from one to the other
and back, and you get what you started with?
- Bob
next prev parent reply other threads:[~2005-02-11 23:38 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-02-11 18:52 setting 'Size and unchecked conversion safe here? Marius Amado Alves
2005-02-11 19:08 ` Martin Krischik
2005-02-11 20:34 ` tmoran
2005-02-11 22:37 ` Marius Amado Alves
2005-02-11 23:49 ` tmoran
2005-02-12 13:10 ` Marius Amado Alves
2005-02-12 6:55 ` Martin Krischik
2005-02-12 13:30 ` Marius Amado Alves
2005-02-12 14:57 ` Martin Krischik
2005-02-12 16:03 ` Marius Amado Alves
2005-02-12 16:04 ` Marius Amado Alves
2005-02-11 23:38 ` Robert A Duff [this message]
2005-02-12 12:46 ` Marius Amado Alves
2005-02-12 18:05 ` tmoran
2005-02-12 18:29 ` Marius Amado Alves
2005-02-12 19:14 ` Robert A Duff
2005-02-12 19:48 ` Marius Amado Alves
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox