Re: Basic issue with dotted notation and tagged types

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 22.10.12 12:52, Marius Amado-Alves wrote:
>> RM2005 4.1.3 (9.2/2): "The designator of the subprogram shall not be the
>> same as that of a component of the tagged type visible at the point of
>> the selected_component."
> 
> Hmm... shouldn't the compiler complain then? (about the program above)

Maybe this piece of 2012 support is not yet implemented. With some changes,

with Ada.Text_IO;

    procedure Test2 is

       package IO renames Ada.Text_IO;

       -- type T is tagged;
       -- function F (E : T'Class) return Character;

       package Wrap is

          type T
             is tagged record
             F : Character := 'A';
          end record;

          function F
            (E : T'Class; Dummy : Boolean) -- or E : T; ...
            return T
             is (T'(F => 'B'));

       end wrap;


       E : Wrap.T;
       C : Character := E.F; -- The function or the field?
    begin
       IO.Put (C);
       E := E.F (Dummy => True);
    end;

I get

GNAT GPL 2012 (20120509)
Copyright 1992-2012, Free Software Foundation, Inc.

Compiling: test2.adb (source file time stamp: 2012-10-22 10:31:50)

    29.        E := E.F (Dummy => True);
                     |
        >>> name in call is not a callable entity

 30 lines: 1 error
gnatmake: "test2.adb" compilation error