Re: Weird error with Dynamic_Predicate

["Randy Brukardt" <randy@rrsoftware.com>]

"Adam Beneschan" <adambeneschan@gmail.com> wrote in message 
news:3f9e21b4-868d-44de-9673-824eefb9e79e@googlegroups.com...
> For what it's worth, here's the smallest reduced example I can come up 
> with that gives the same error message:
>
> package Prova is
>   type Identifier_Name is new String with Dynamic_Predicate => true;
>   function Extract_Namespace (Nome : Identifier_Name)
>                               return Identifier_Name;
> end Prova;
>
> package body Prova is
>   function Extract_Namespace (Nome : Identifier_Name)
>                               return Identifier_Name
>   is
>      Idx : Natural := Ada.Strings.Fixed.Index (String (Nome), ".");
>   begin
>      return "ns";
>   end Extract_Namespace;
> end Prova;
>
> This is with GCC 4.5.4 (20120510).

The package body is missing a context clause of Ada.Strings.Fixed. With that 
corrected, it works with the GNAT I'm using for ACATS testing.

Similarly, the OP's code sample compiles without errors with that GNAT.

Ergo, this is a GNAT bug that's been fixed sometime in the past two years. 
The OP needs a compiler upgrade (whether its available at this time is an 
unknown question).

                                 Randy.