Development Log

  • GNAT Pro
    Dec 1st, 2016

    Constraint checks removed from tagged membership
    The compiler was generating unnecessary run-time checks (i.e. checks that cannot fail) for expressions like "X in T'Class". The same was true of type conversions like "T'Class (X)". These checks are now removed.