12 Dec
2006
12 Dec
'06
7:30 p.m.
On 12/12/06, Alfonso Acosta <alfonso.acosta@gmail.com> wrote:
So it would be great to be able to use unsafeCoerce.
It would be great -- but Typeable is the only way to get *safe* typecasts of this type. Otherwise, you may as well run without a typechecker. -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem