Semantics of 'Image and 'Wide_Image on wide enumerations

[Michael R <michael@zanyblue.com>]

Hi Folks,

I'm trying to figure out how to get wide enumeration types to generate
wide images of the values and am not getting results I would expect.
Using the simple 'Image, e.g.,

with Ada.Text_IO;
procedure WEnum1 is
   use Ada.Text_IO;
   type Greek is (α, β, γ);
begin
   Put_Line ("Alpha is " & Greek'Image (α));
end WEnum

Gives, (possibly encoded?):

$ gnatmake -gnat05 -gnatW8 wenum1.adb
gcc -c -gnat05 -gnatW8 wenum1.adb
gnatbind -x wenum1.ali
gnatlink wenum1.ali
$ ./wenum1
Alpha is Α[]

Using 'Wide_Image gives something more reasonable but not the actual
wide characters:

with Ada.Wide_Text_IO;
procedure WEnum2 is
   use Ada.Wide_Text_IO;
   type Greek is (α, β, γ);
begin
   Put_Line ("Alpha is " & Greek'Wide_Image (α));
end WEnum2;

$ gnatmake -gnat05 -gnatW8 wenum2.adb
gcc -c -gnat05 -gnatW8 wenum2.adb
gnatbind -x wenum2.ali
gnatlink wenum2.ali
$ ./wenum2
Alpha is Α

Is this the expected behaviour?  The RM doesn't really say anything
much about such wide values.

Take care,
Michael.