Re: [Haskell-cafe] Re: Global Variables and IO initializers

Benjamin Franksen wrote:

label1 = unique Uniq1 label2 = unique Uniq2 global1 = functionalNewMVar label1 True global2 = functionalNewMVar label1 (117::Int)

No dice. Your example inadvertently shows why: you used label1 when creating both global1 and global2, and now I can write coerce :: Bool -> Int coerce x = putMVar global1 x >> takeMVar global2 (provided I've emptied them first). -- Ben