21 Nov
2006
21 Nov
'06
6:18 p.m.
On 21 Nov 2006 15:41:01 -0500, kahl@cas.mcmaster.ca
Or as a hint that we should introduce a ``pseudo-polymorphic pseudo-function''
safeCoerce :: a -> b
which can only be used if a and b have the same representation, as mandated by the language definition?
It wouldn't be unreasonable for the compiler to provide instances of
TypeEq for newtypes and product types.
--
Taral