Ignore:
Timestamp:
Feb 8, 2015, 7:58:55 AM (5 years ago)
Author:
Maxim Reznik
Message:

Declare incomplete types. Add new tests

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/ada-2012/src/ag/down.ag

    r395 r397  
    10131013Rules for access_to_object_definition. :
    10141014(.
    1015       ${subtype_indication.Down} := 0;  --  FIXME
     1015      --  3.2.2 (8)
     1016      Gela.Pass_Utils.Resolve.Shall_Be_Subtype
     1017        (Self.Compilation,
     1018         ${access_to_object_definition.env_in},
     1019         ${subtype_indication.Up},
     1020         ${subtype_indication.Down});
    10161021.)
    10171022
Note: See TracChangeset for help on using the changeset viewer.