[sv-bc] question about array and struct literals


Subject: [sv-bc] question about array and struct literals
From: Paul Graham (pgraham@cadence.com)
Date: Thu Dec 18 2003 - 12:12:59 PST


In drafte 2 there is a possible inconsistency in the treatment of type:value
members in array and struct literals.

Section 7.14 says that a type:value member appearing in an array context is
resolved by a possibly recursive traversal of the type hierarchy.

Section 7.15 says that a type:value member appearing in a struct context
is resolved by matching a struct element. It doesn't say whether this
traversal can be recursive.

It would make sense to treat type:value differently in array and struct
contexts, but I'd like to be sure that this is the intent.

Paul



This archive was generated by hypermail 2b28 : Thu Dec 18 2003 - 12:13:35 PST