comp.lang.ada
 help / color / mirror / Atom feed
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.




  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