Hello Luke,

Luke A. Guest wrote:
> Can anyone give me a pointer here? I'm totally new to this :/

> a-exexpr.adb:39:06: "Ada.Exceptions.Exception_Propagation" is not a
> predefined library unit
> a-exexpr.adb:39:06: "Ada.Exceptions (body)" depends on
> "Ada.Exceptions.Exception_Propagation (body)"
> a-exexpr.adb:39:06: "Ada.Exceptions.Exception_Propagation (body)"
> depends on "Ada.Exceptions.Exception_Propagation (spec)"

 We discussed this internally a bit.

 The compiler is looking for the spec of Ada.Exceptions.Exception_Propagation
 in a separate file (which would be a-exexpr.ads) because you are trying to
 add a child of it.

 This won't work, as there is indeed no such file today because this
 unit is provided as a subunit of ada.exceptions (package bla is ... end; 
 package body bla is separate;)

 What you probably could do instead is to define a System unit
 (e.g. System.GCC_Exceptions or System.Unwind_Control or ...) 
 to hold the low level unwinder type definitions.  That would allow
 reuse from other units, which might become of interest in the not so
 distant future.

 In case you don't already know about it, gnatmake -a is a very convenient
 device to experiment with alternate/extra Ada runtime units (accounts for
 variants in the current directory, for example).

 Olivier




Reply via email to