Hi,
In 7.14 ("Structure expressions"), there is a paragraph that says:
- The type:value specifies an explicit value for a field in the
structure which is equivalent to the type and
has not been set by a field name key above. If the same type key is
mentioned more than once, the last
value is used. The value is evaluated in the context of an assignment to
the matching type.
The first sentence says that the type should be equivalent, not
necessarily the same. However, the second sentence talks about "the same
type key", while is not clear whether it actually means an equivalent
type or "the same" type. I think the sentence should be rephrased to
something like "If several type keys with equivalent types are
specified, the value of the last type key is used".
The same applies to the paragraph 7.13 ("Unpacked array expressions").
--Yulik.
Received on Wed Apr 7 09:48:37 2004
This archive was generated by hypermail 2.1.8 : Wed Apr 07 2004 - 09:48:47 PDT