[Haskell-cafe] Re: syscall, sigpause and EINTR on Mac OSX
Joel Reymont
joelr1 at gmail.com
Sun Dec 11 17:37:12 EST 2005
Oh, right. It does not apply in my case, though, so I thought it was
safe.
I'm not sure what the proper Haskell wording is to explain but it
seems like the type system catches if a user of the library tries to
use two different a's (Child a) and complains. Exactly what I need as
access to children is hidden within my code.
On Dec 11, 2005, at 9:10 PM, Tomasz Zielonka wrote:
> main = do
> putMVar children (["foo", "bar", "baz"])
> l <- takeMVar children
> print (l :: [Integer])
>
> It would be nice if GHC could warn about such situations, at least in
> the most simple, recognizable cases. Seems like a good task for a new
> GHC developer.
--
http://wagerlabs.com/
More information about the Haskell-Cafe
mailing list