Re: GNAT and Dimension Checking

[Adam Beneschan <adam@irvine.com>]

On Monday, July 2, 2012 1:42:04 PM UTC-7, Anh Vo wrote:
> On Sunday, July 1, 2012 3:44:19 AM UTC-7, (unknown) wrote:

> 
>   type Mks_Type is new Long_Long_Float
>      with
>       Dimension_System => (
>         (Unit_Name => Meter,    Unit_Symbol => 'm',   Dim_Symbol => 'L'),
>         (Unit_Name => Kilogram, Unit_Symbol => "kg",  Dim_Symbol => 'M'),
>         (Unit_Name => Second,   Unit_Symbol => 's',   Dim_Symbol => 'T'),
>         (Unit_Name => Ampere,   Unit_Symbol => 'A',   Dim_Symbol => 'I'),
>         (Unit_Name => Kelvin,   Unit_Symbol => 'K',   Dim_Symbol => "Theta"),
>         (Unit_Name => Mole,     Unit_Symbol => "mol", Dim_Symbol => 'N'),
>         (Unit_Name => Candela,  Unit_Symbol => "cd",  Dim_Symbol => 'J'));
> 
>  Can anyone point me to the ARM 2012 paragraph(s) which supports this syntax in general. Thanks.

13.1.1(38): "Implementations may support implementation-defined aspects. The aspect_specification for an implementation-defined aspect may use an implementation-defined syntax for the aspect_definition, and may follow implementation-defined legality and semantics rules."

                          -- Adam