Re: Representation Clauses for tagged types

[tmoran@bix.com]

There was a discussion of this recently, as I recall.
My experience with three MS Windows targeted compilers
is that letting the tag occupy the first 32 bits, works.
   for example_t use record
      x at 4 range ....
But there's surely no guarantee.

> Also, another question concerning this is can
> I force the tag to be a certain bit size.
  The compiler and run-time-system need to put certain
info (probably a pointer) into the tag.  If they need
32 bits, you can't just toss out 29 of them.

But are you sure you need to specify the tag representation
at all?  Presumably you aren't reading in a tagged record and
its tag (which depends on the particular compiler, and quite
likely is in fact an address in RAM) from an external device,
or from a non-Ada program or OS.  Similarly, you probably
don't really want to send the tag to the non-Ada program or
an external device.  How about:
  type X_Values is range 0 .. 31;
  type Actual_Record_Type is record
    X : X_Values;
  end record;
  for Actual_Record_Type use record
    X at 0 range 3 .. 7;
  end record;
  type example_t is tagged record
    Content : Actual_Record_Type;
  end record;
Then in your Ada program you have a tagged type example_t, but
for external use you can do IO or whatever on Content, whose
representation you control.