From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Passing a String to a C/C++ Subprogram (Special Case)
Date: Fri, 18 Oct 2013 21:11:44 -0500
Date: 2013-10-18T21:11:44-05:00 [thread overview]
Message-ID: <l3spp1$r5i$1@loke.gir.dk> (raw)
In-Reply-To: 50cd020a-480f-4569-990b-b2861f628bc1@googlegroups.com
"Martin" <martin@thedowies.com> wrote in message
news:50cd020a-480f-4569-990b-b2861f628bc1@googlegroups.com...
On Wednesday, October 16, 2013 6:42:29 PM UTC+1, Eryndlia Mavourneen wrote:
...
>> In the Ada95 LRM (I have to use Ada95.), in the introduction to Annex B
>> (B 2/3) it states: "Support for interfacing to any foreign language is
>> optional."
>>
>That looks like Ada2012 RM rather than Ada95 (or Ada2005)
>[http://www.ada-auth.org/standards/12rm/html/RM-B.html].
>
>But I do like the Ada2012 wording...it seems clearer - either the compiler
>has to indicate the lack of support; or exception has to be raised. If
>neither of those occur then your code should work as expected.
This is one of the things that falls under the so-called "Dewar rule": the
Ada Standard never says nonsense (even when it literally does :-). No one
ever thought that all programming languages have to be supported for
interfacing, or that it is acceptable to accept the pragmas without actually
implementing them. Unfortunately, the RM never actually said that. We
figured it was better that it says so explicitly, thus we added some wording
in Ada 2012. (My recollection is that we attempted to do so for Ada 2005,
but put the wording in the wrong place so it didn't appear to apply where it
should have.)
Randy.
next prev parent reply other threads:[~2013-10-19 2:11 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-15 19:54 Passing a String to a C/C++ Subprogram (Special Case) Eryndlia Mavourneen
2013-10-15 20:11 ` Adam Beneschan
2013-10-15 21:02 ` Eryndlia Mavourneen
2013-10-16 7:17 ` Dmitry A. Kazakov
2013-10-16 15:14 ` Jeffrey Carter
2013-10-16 17:32 ` Martin
2013-10-16 17:42 ` Eryndlia Mavourneen
2013-10-16 17:54 ` Martin
2013-10-16 18:13 ` Eryndlia Mavourneen
2013-10-16 19:40 ` Simon Wright
2013-10-16 20:02 ` Eryndlia Mavourneen
2013-10-19 2:11 ` Randy Brukardt [this message]
2013-10-16 19:11 ` Adam Beneschan
2013-10-16 21:31 ` Martin
2013-10-16 21:41 ` Adam Beneschan
2013-10-16 23:15 ` Martin
2013-10-15 20:59 ` Jeffrey Carter
2013-10-15 21:13 ` Eryndlia Mavourneen
2013-10-15 22:19 ` Shark8
2013-10-16 0:00 ` Jeffrey Carter
2013-10-17 9:55 ` Georg Bauhaus
2013-10-16 20:17 ` sbelmont700
2013-10-16 20:48 ` Adam Beneschan
2013-10-17 13:05 ` Eryndlia Mavourneen
2013-10-17 13:58 ` sbelmont700
2013-10-17 16:28 ` Eryndlia Mavourneen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox