
29 Sep
2010
29 Sep
'10
4:54 a.m.
Hi all, I'm wondering if there is a way to get an hashcode from references (IORef or STRef)? I have looked in the library and a little in the sources of GHC but haven't found anything allowing to do this. I'm generating Haskell code from the Isabelle/HOL proof assistant, which generate "generic" code for other langages too which all have this notion, and I would so need an equivalent in Haskell. Have you any hint on how to achieve this, or even if it is possible? Mathieu