Re: exceptions and C functions (was Re: Ada -> C or C++ translator)

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Dale Stanbrough <dale@cs.rmit.edu.au> writes:

> Robert A Duff wrote:
> 
> > It supports the full language, including exceptions, tasking, etc (but
> > not the optional annexes).  (It's not *easy* to translate Ada's
> > exceptions into C, but it is possible.)
> 
> Can Ada exceptions cross C functions? E.g. if an Ada subprogram called
> a C function, which called an Ada subprogram which raised an exception,
> would the exception propagate across the C void?

Yes.

> If they don't (and pragma import of external language elements is 
> basically incompatable with exceptions) then couldn't you just
> translate all Ada subprograms into equivalent C functions but with
> an extra exception paarameter?

Yes, but that wouldn't be very efficient.  Also, part of the goal (not
the *main* goal) is to make the C code somewhat human-readable, so we
don't want to clutter things with extra implicitly-generated parameters
except in cases where we have to.

- Bob