Development Log

  • GNAT Pro
    Dec 7th, 2016

    Ada issue AI12-0131, inheritance of Pre’Class
    AI12-0131, which is part of the Ada 2012 corrigendum 1, specifies that Pre'Class shall not be specified for an overriding primitive subprogram of a tagged type T unless the Pre'Class aspect is specified for the corresponding primitive subprogram of some ancestor of T.