[Haskell-cafe] Re: Haskell Propeganda

[Ashley Yakeley]

Thomas Davie wrote:
> I'd be interested to see your other examples -- because that error is 
> not happening in Haskell!  You can't argue that Haskell doesn't give you 
> no segfaults, because you can embed a C segfault within Haskell.

This segfaults on my x86_64 Linux box:

   module Main where
   import Data.Typeable
   import Data.IORef
   data T = T
   instance Typeable T where
     typeOf _ = typeOf (undefined :: IORef ())
   main :: IO ()
   main = writeIORef (maybe undefined id (cast T)) ()

You'll note nothing marked "Foreign" or "unsafe", and only the base 
library used. Does the segfault "happen in Haskell" or not?

-- 
Ashley Yakeley