Re: Ada Gems in educational material

["ME" <abcdefg@nonodock.net>]

"Jerry" <lanceboyle@qwest.net> wrote in message 
news:f34a2d2c-879c-415c-ba4e-657195c92c34@34g2000hsz.googlegroups.com...
On Mar 5, 8:48 am, Georg Bauhaus <rm.tsoh-plus.nicif-
bauh...@maps.futureapps.de> wrote:
> Gem #27: Changing Data Representation (Part 1) by Robert Dewar
> explains how to use type derivation if you want to have two
> representations of the same data. The types let you convert
> between an external and an internal representation, say.
>
> http://www.adacore.com/2008/03/03/gem-27/

I wonder if this works on records with discriminants.

Jerry

Yes it does. Tucker Taft showed me how to do it. I used nested discriminated 
records even. The problem is that if you have a whole buffer of ,for 
example,commands to convert i.e. an array you can't do the type conversion 
on the whole array at once.

Ada does not allow this.

There is a lot of flexibility of course you can specify where the 
discriminant goes in the record rep clause and even change the bit order.


Then there are the usual limitations with discriminated records like the 
invariant part must come first etc.