In http://www.eda.org/sv-bc/hm/2040.html Dave suggests
adding simple_type to constant_primary. I agree that
it makes sense to consider types as just another kind
of value.
If so, however, then we should also eliminate $typeof().
Dave gives the example of
if ($typeof(P) == real) // not legal now, but would become so
...
But if simple_type were a constant_primary, then this could
be written more simply (and naturally) as
if (P == real)
...
Keeping $typeof() would be like having a function $valueof()
that could be applied to expressions.
-- Brad
Received on Wed Nov 24 13:29:24 2004
This archive was generated by hypermail 2.1.8 : Wed Nov 24 2004 - 13:29:28 PST