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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
