My suggestion is to make $typeof a constant_primary, and make simple_type a constant_primary too. Then, param_expression can simply be just mintypmax_expression, and then we can get rid of the whole list_of_type_assignments production.
This also takes care of one of the issues raised in # 119 http://www.eda.org/svdb/bug_view_page.php?bug_id=119, allowing $typeof as part of a constant function.
And this also take care the the following example
generate if ($typeof(P) == real)
...
endgenerate
So the sematics of $typeof and simple_type as constant primaries can now be thought of a datatype called 'type' with the only valid operations being comparison and parameter assignment.
Dave
-----Original Message-----
From: Paul Graham [mailto:pgraham@cadence.com]
Sent: Wednesday, October 06, 2004 12:53 PM
To: Rich, Dave
Cc: sv-bc@eda.org
Subject: Re: [sv-bc] A question regarding the proposal for issue # 91
A parameter type can be specified using $typeof. Since a param_expression is either a data_type or a mintypmax_expression, then which category does $typeof belong to?
Paul
Received on Wed Oct 6 13:41:23 2004
This archive was generated by hypermail 2.1.8 : Wed Oct 06 2004 - 13:41:29 PDT