From: tmoran@bix.com
Subject: Re: record rep on tagged record question
Date: 1997/10/01
Date: 1997-10-01T00:00:00+00:00 [thread overview]
Message-ID: <60tq70$4p7@lotho.delphi.com> (raw)
>Why are you writing a representation clause for a tagged record anyway?
>Are you intending to do some I/O using this type? Have you looked at the
No, I'm doing an API call to the OS, which has definite ideas about
how the record should be structured. And in the real world problem this
example came from, there are discriminants involved which preclude
simply putting everything into an intermediate record, then using that
as the sole new component in the extended record.
This is intended as a 'confirming' record rep clause, since the
compiler in question *seems* to do the expected thing, but it would be
nice to be sure. If 'Position could be used on a type, instead of just
an object, I could make a compile time constraint error test - but it
can't. RM 13.5.1(21) certainly leads me to believe this rep clause
should be legal.
next reply other threads:[~1997-10-01 0:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-10-01 0:00 tmoran [this message]
1997-10-01 0:00 ` record rep on tagged record question Tucker Taft
-- strict thread matches above, loose matches on Subject: below --
1997-09-23 0:00 Tom Moran
1997-09-24 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox