Development Log

  • GNAT Pro
    Oct 2nd, 2017

    Dimension specifications for integer types
    When the root type of a dimensioned system is an integer type, the compiler now accepts dimension specifications that are other than nonnegative integers. Operations with fractional exponents on integer values are in general meaningless, but the dimensional analysis can still perform useful static checks on the code.