I’ve never used the GNAT dimension system, so I do not know whether there are any changes.
I also do not see any ambitions to use any such method of unit checking. See the poll:
Not a single answer.
Isn’t Unit_Name, Unit_Symbol, Dim_Symbol the correct order? That’s how it appears in all the examples I’ve seen.
It is, but the attribute Dimension_System seems to want more than one unit in a positional aggregate. This seems to be another deficiency in this method: Is there a syntax defined for the attribute?