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 o

`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 <-