(j3.2006) defining a type with no components

Dan Nagle danlnagle
Thu Apr 17 18:39:36 EDT 2014


Sorry, I was in 14-007.

In 14-007, [71:22] says the component initialization
is a <<constant-expression>>, not an <<initialization-expression>>

Then at [72:17-18] ?any object of the type is initially defined
(16.6.3) or becomes defined as specified in (16.6.5)?

Now the list at 16.6.3 references 16.6.2 (but no_comp isn?t listed
there, unless 14-144 passes).

16.6.5 is the big list of events that cause variables to be defined.

I think we?ve come full circle.

On Apr 17, 2014, at 16:24 , Bill Long <longb at cray.com> wrote:

> On Apr 17, 2014, at 5:15 PM, Dan Nagle <danlnagle at me.com> wrote:
>> Hi,
>> On Apr 17, 2014, at 16:03 , Bill Long <longb at cray.com> wrote:
>>> Is the simple act of including a declaration sufficient to cause
>>> the result to ?be defined by the function??
>> Well, 2.3.5 at [35:8-9] says the <<specification-part>> of a procedure
>> is evaluated when execution involves execution of the procedure.
> I assume [33:7-8].  It says that specification expressions in the <specification-part> are evaluated.  I don?t see any specification expressions.

My bad.


Dan Nagle

More information about the J3 mailing list