Re: GNAT and Dimension Checking

[Anh Vo <anhvofrcaus@gmail.com>]

On Monday, July 2, 2012 1:58:41 PM UTC-7, Adam Beneschan wrote:
> 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

Ah I got it now. Thanks very much Adam.

Anh Vo