One possible approach to this would be to change Syntax 22-3 FROM size_function ::= $bits(expression) | $bits(data_type) TO size_function ::= $bits(expression) | $bits(type_identifier) | $bits(integer_atom_type) This includes both user-defined type names and the built-in ones. It makes clear that a type identifier is legal, rather than relying on a more obscure semantic rule off to the side. We could include the integer_vector_type keywords too, but those will always produce a result of 1, so there isn't much point. Allowing the integer_atom_type makes this less clean syntactically, but I think users would expect them to be allowed. Steven Sharp sharp@cadence.comReceived on Fri Jan 13 11:59:42 2006
This archive was generated by hypermail 2.1.8 : Fri Jan 13 2006 - 12:01:21 PST