25 Aug
2008
25 Aug
'08
12:38 a.m.
On 2008 Aug 25, at 0:33, Ashley Yakeley wrote:
Don Stewart wrote:
You just wrote unsafeCoere# a different way: typeOf T = typeOf (undefined :: IORef ())
Right. It's straightforward to write unsafe segfaulting code in apparently safe Haskell.
typeOf / Typeable is itself an ugly special case, and really should be designed into the language: it's about runtime type information. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH