Re: [Haskell-cafe] Space questions about intern and sets

Gracjan Polak writes:

intern :: Ord a => a -> a intern x = unsafePerformIO $ internIO x

iorefset :: Ord a => IORef(Map.Map a a) iorefset = unsafePerformIO $ do newIORef $ Map.empty

It will not work because you can't put values of different types as keys of the same dictionary, as you can't compare them. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/