Re: Ada and C++ in the same binary, was: Re: Current status of Ada development for an Android target ?

[Shark8 <onewingedshark@gmail.com>]

On Saturday, June 18, 2016 at 9:44:37 AM UTC-6, Simon Clubley wrote:
> On 2016-06-16, Luke A  Guest wrote:
> > Simon Clubley wrote:
> >> On 2016-06-16, Lucretia wrote:
> >>> Just to update, the FSF GCC 4.9.2, 5.4.0 and 6.1.0 do not compile any of
> >>> the 64 bit targets, they all fail. They are missing patches from Google
> >>> and I don't think they will ever get passed upstream.
> >> 
> >> Thanks for the update Luke.
> >> 
> >> Simon.
> >> 
> >> PS: And thanks for looking.
> >> 
> >
> > A quick way around this is I could build it based on the Google source
> > for4.9 and leave extracting the patches to spot to FSF for later. That
> > would work.
> >
> 
> Thanks Luke, but please don't go to any special effort on my behalf.
> 
> Having thought about the situation, I'm getting nervous once again about
> the "special" :-( situation around Ada compilers given that I'm not
> sure where some of this code might be used in the future.

Well, hopefully Byron will help push the available options up a bit.
 
> My current thinking (as of this morning :-)) is to maybe write the low
> level stuff in C++ (which is the code more likely to be used elsewhere)
> and to do the high level stuff in Ada.

I think I understand what you're saying... but wouldn't that invite errors in the lower levels? I rather like the focus that Ada puts on correctness. (And SPARK is pretty nifty, too.)

> The problem is that I don't have any experience combining C++ and Ada
> code in the same binary; in the past, I've only ever called plain C code
> from Ada.

What about writing it all in Ada and providing an export interface to C++?