Re: [sv-bc] question about the proposal

I think we just have not yet found the right verbiage to express
what we mean. There are two ways context influences an expression.
1) "Type" information can influence constructors,
2) "packed width" information can influence operator sizing.

With default:value, I believe others have become comfortable with
letting the width of each otherwise unmatched field separately
affect the width of a fresh copy of the value expression. I think
that's like "punning" - to make one expression mean two different
things, but I've lost that fight.

However, the notion of "punning" must have irritated folks when
it came to writing default:'{a:1, b:2} and letting this match up
sometimes to one substructure with fields named a & b, sometimes to
another such substructure, and sometimes to an array, for which
a & b are constant expression index positions.

So in short, we intend that "type" should not be imposed on
the default's value (that much must be self-determined). But
so far we're willing to let width affect the operator sizing.

Greg

Francoise Martinolle wrote:
> Why is a default correspondence not considered as an assignment like
> context?
>
> Francoise
> '
Received on Wed Feb 2 10:04:41 2005