11 Dec
2005
11 Dec
'05
5:37 p.m.
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.