[sv-bc] Comments on SV-BC 254 Aggregate expressions -> constructors

Brad,
 
Good job on consolidating a number of issue into one proposal.
 
In your re-write I think there is one change in wording that I don't agree with. I think there is a substantial difference between the concepts 'right-hand value in an assignment' and 'in the context of an assignment'.

For example, in the declaration below that I consider to be legal:

struct {int A; struct {int a, b;} ab;} a_ab = {1, {2,3}};

both concepts cover the outer braces, but the inner braces {2,3}, are only covered by the concept 'in the context of an assignment'.

Or in a similar example

typedef struct {int value1, value2;} strong_int;

function strong_int foo( input strong_int arg1);
...
endfunction

strong_int A = foo( {1,2} );

The constructor {1,2} is not a right hand value of an assignment, but is in the context of an assignment.

Dave

 
 
David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office: 408 487-7206
Cell: 510 589-2625
Received on Fri Oct 8 16:26:00 2004