From: Corey Minyard <minyard@acm.org>
Subject: Representation clause in records?
Date: 1999/02/05
Date: 1999-02-05T00:00:00+00:00 [thread overview]
Message-ID: <m2iudgijh1.fsf@wf-rch.cirr.com> (raw)
In section 3.8 of the RM we see:
(1) A record object is a composite object consisting of named
components. The value of a record object is a composite value
consisting of the values of the components.
Syntax
(2) record_type_definition ::= [[abstract] tagged] [limited] record_definition
(3) record_definition ::=
record
component_list
end record
| null record
(4) component_list ::=
component_item {component_item}
| {component_item} variant_part
| null;
(5) component_item ::= component_declaration | representation_clause
(6) component_declaration ::=
defining_identifier_list : component_definition [:= default_expression];
I am playing around with ASIS and I was to the point of handling the
representation clause here. My question is: What is the representation
clause specified in (5)? I have it from a reliable source that the
following is not legal:
package Test1 is
type T1 is record
A : Integer;
for A'Size use 32;
end record;
end Test1;
So what is the RM saying here? ASIS seems to allow something of this
affect, but I didn't find any text in the RM section that talked about
this construct.
--
Corey Minyard Internet: minyard@acm.org
Work: minyard@nortelnetworks.com UUCP: minyard@wf-rch.cirr.com
next reply other threads:[~1999-02-05 0:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-02-05 0:00 Corey Minyard [this message]
1999-02-05 0:00 ` Representation clause in records? Keith Thompson
1999-02-06 0:00 ` Steven Hovater
1999-02-06 0:00 ` Keith Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox