Marcin 'Qrczak' Kowalczyk wrote: > Gracjan Polak <[EMAIL PROTECTED]> 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. >
I could have as many dictionaries as there are types. The problem is I get one dictionary for each object which defeats the idea.
Is there any other way to safe some memory when having many same objects? -- Gracjan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
