2008-05-21 Basile Starynkevitch <basile@starynkevitch.net>

	MELT branch merged with trunk r135714

	* gcc/basilys.h: explicit [re-]declaration of fatail_error.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@135715 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 7 insertions, 2 deletions

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 866bd7f98a5..175b3156cd8 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -547,10 +547,10 @@ package Sem_Util is
 
    function Has_Overriding_Initialize (T : Entity_Id) return Boolean;
    --  Predicate to determine whether a controlled type has a user-defined
-   --  initialize procedure, which makes the type not preelaborable.
+   --  Initialize primitive, which makes the type not preelaborable.
 
    function Has_Preelaborable_Initialization (E : Entity_Id) return Boolean;
-   --  Return True iff type E has preelaborable initialisation as defined in
+   --  Return True iff type E has preelaborable initialization as defined in
    --  Ada 2005 (see AI-161 for details of the definition of this attribute).
 
    function Has_Private_Component (Type_Id : Entity_Id) return Boolean;
@@ -611,6 +611,11 @@ package Sem_Util is
    --  N (which is the prefix, e.g. of an indexed component) as an
    --  explicit dereference.
 
+   procedure Inspect_Deferred_Constant_Completion (Decls : List_Id);
+   --  Examine all deferred constants in the declaration list Decls and check
+   --  whether they have been completed by a full constant declaration or an
+   --  Import pragma. Emit the error message if that is not the case.
+
    function Is_AAMP_Float (E : Entity_Id) return Boolean;
    --  Defined for all type entities. Returns True only for the base type
    --  of float types with AAMP format. The particular format is determined