Re: Default rep specs for record types - documented??

[Anonymous Coward <bogus_addy@bogus_domain.net>]

In article <meKdnXXIJd6tVPfeRVn-vw@comcast.com>, Steve wrote:
> 
> Look in the Ada 95 LRM section 13, Representation Issues
> 
> Section 13.1 paragraph 19
> 
> If an aspect of representation of an entity is not specified, it is
> chosen by default in an unspecified manner.
> 
> So... if it matters, use a representation clause.

Thanks for the feedback.  Essentially what that is saying is that
there are no guarantees for what to expect from a default
representation.  It bothers me to read this, because it counters my
understanding - and counters what Cohen has written in ADA as a Second
Language.

  Example: Cohen states that enumerated types are guaranteed to have a
  representation that numbers the first element as zero, and increases
  sequentially.  Is this not really guaranteed?

What's disappointing is that rep specs add considerable clutter.
Readable code avoids redundancy, so having default representation
aspects that are guaranteed enable less noisey code.  I'm not looking
forward to rep specing records bit for bit simply to enforce the same
order of elements that's specified in the operation specs.