Re: core dumps when making use of IORefs

1999-09-22 Thread Hannah Schroeter
Hello! On Tue, Sep 14, 1999 at 12:43:11AM -0700, Simon Peyton-Jones wrote: {-# notInline test #-} test :: IORef [a] test = unsafePerformIO $ newIORef [] main = do writeIORef test [42] bang - readIORef test print (bang :: [Char]) [...] Hmmm. The type of test should

`forall' subtelties (was: Re: core dumps when making use of IORefs)

1999-09-22 Thread Michael Weber
On Wed, Sep 22, 1999 at 00:36:27 +0200, Hannah Schroeter wrote: On Tue, Sep 14, 1999 at 12:43:11AM -0700, Simon Peyton-Jones wrote: {-# notInline test #-} test :: IORef [a] test = unsafePerformIO $ newIORef [] main = do writeIORef test [42] bang - readIORef test