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] [EMAIL PROTECTED] system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED] electrical and computer engineering, carnegie mellon university KF8NH _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
