Re: Semantics of 'Image and 'Wide_Image on wide enumerations

[Adam Beneschan <adam@irvine.com>]

On Dec 3, 12:25 pm, Michael R <mich...@zanyblue.com> wrote:
> 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?

I think that 'Image, 'Wide_Image, and 'Wide_Wide_Image of enumerations
(other than character literals) put the output in upper case, where
there is an upper case.  So what you're seeing is an upper-case alpha,
which looks just like an A.

                        -- Adam