> But if simple_type were a constant_primary, then this could
> be written more simply (and naturally) as
>
> if (P == real)
But then equality would be apparently intransitive:
3.14159 == real
real == 2.71828
3.14159 != 2.71828
(I say "apparently" because you can view these as distinct "=="
operators with different type profiles.)
Yet $typeof(3.14159) == $typeof(2.71828).
Paul
Received on Wed Nov 24 13:38:19 2004
This archive was generated by hypermail 2.1.8 : Wed Nov 24 2004 - 13:38:52 PST