comp.lang.ada
 help / color / mirror / Atom feed
From: "Frank J. Lhota" <flhota.NOSPAM@ll.mit.edu>
Subject: Re: To collection (GNAT bug)
Date: Mon, 02 Oct 2006 09:02:57 -0400
Date: 2006-10-02T09:02:57-04:00	[thread overview]
Message-ID: <w88Ug.2615$O5.2150@llslave.llan.ll.mit.edu> (raw)
In-Reply-To: <no%Tg.220117$1i1.171314@attbi_s72>

Jeffrey R. Carter wrote:
> Frank J. Lhota wrote:
> 
> Since you can instantiate System.Address_To_Access_Conversions with type 
> String, I don't see how its access type can be any different than one 
> you declare yourself.
> 

It can have pragmas and representation clauses needed to make sure that 
the To_Pointer and To_Address functions are meaningful. For example, the 
GNAT version of this package includes the representation clause

      for Object_Pointer'Size use Standard'Address_Size;

which precludes implementing Object_Pointer as a "fat" pointer.



  reply	other threads:[~2006-10-02 13:02 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-09-30 19:46 To collection (GNAT bug) Dmitry A. Kazakov
2006-10-01  1:21 ` Jeffrey R. Carter
2006-10-01  8:00   ` Dmitry A. Kazakov
2006-10-01 19:23     ` Jeffrey R. Carter
2006-10-01 22:33       ` Frank J. Lhota
2006-10-02  3:08         ` Jeffrey R. Carter
2006-10-02 13:02           ` Frank J. Lhota [this message]
2006-10-02 19:50             ` Jeffrey R. Carter
2006-10-02  8:23       ` Dmitry A. Kazakov
2006-10-02 13:06         ` Frank J. Lhota
2006-10-02 13:43           ` Dmitry A. Kazakov
2006-10-04 17:18             ` Adam Beneschan
2006-10-04 18:51               ` Dmitry A. Kazakov
2006-10-02 19:45         ` Jeffrey R. Carter
2006-10-03  8:36           ` Dmitry A. Kazakov
2006-10-03 19:10             ` Jeffrey R. Carter
2006-10-04  8:01               ` Dmitry A. Kazakov
2006-10-04  9:27                 ` Georg Bauhaus
2006-10-04 12:10                   ` Dmitry A. Kazakov
replies disabled

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