Re: Interresting, possibly buggy behavior in GNAT generics w/ expression function.

[Simon Wright <simon@pushface.org>]

"Randy Brukardt" <randy@rrsoftware.com> writes:

> Perhaps you guys would like to do as you are always griping to others
> and provide a complete enough example to see what you are really
> talking about???

I'm not sure whether this is exactly the same:

generic
   type Attribute_Values is (<>);
package Demo is
   function Text (Item : Character) return String;
private
   function Image (Item : Attribute_Values) return String;
   function Image (Item : Positive) return String;
end Demo;

package body Demo is
   function Text (Item : Character) return String is
   begin
      return Image (Integer (Character'Pos (Item)))
        & " "
        & Image (Positive (Character'Pos (Item)));
   end Text;
   function Image (Item : Attribute_Values) return String is
   begin
      return (1 => Character'Val (Attribute_Values'Pos (Item)));
   end Image;
   function Image (Item : Positive) return String is
   begin
      return Positive'Image (Item);
   end Image;
end Demo;

with Demo;
with Ada.Text_IO; use Ada.Text_IO;
procedure Demo_Main is
   package Integers is new Demo (Attribute_Values => Integer);
begin
   Put_Line (Integers.Text ('a'));
end Demo_Main;

outputs

a 97

where we would have expected

 97 97