From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: To collection (GNAT bug)
Date: Wed, 04 Oct 2006 11:27:15 +0200
Date: 2006-10-04T11:20:37+02:00 [thread overview]
Message-ID: <1159954035.16821.10.camel@localhost> (raw)
In-Reply-To: <1ulni4ytiwx9b$.h3yhtyxju4op.dlg@40tude.net>
On Wed, 2006-10-04 at 10:01 +0200, Dmitry A. Kazakov wrote:
> ARM does not prohibit reasonable implementations of Unchecked_Conversion.
> OK, it does not enforce them either.
I guess that the makers of GNAT might argue that their
compiler handles internal representations of objects
in a quite reasonable way, that is, reasonable as considered
by their Ada customers and by a compiler back-end writer.
If you would like to have user level internal data structure
representation interfaces for arrays, pointers, etc.,
how do you envision a suitably modified Ada compiler to guarantee
separate compilation, optimization, and LRM-correct
behavior in the presence of user-defined internal representations?
Georg
next prev parent reply other threads:[~2006-10-04 9:27 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
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 [this message]
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