Hashcode for reference

Mathieu Giorgino giorgino at irit.fr
Wed Sep 29 04:54:30 EDT 2010

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?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20100929/eaf6eba5/attachment-0001.html

More information about the Glasgow-haskell-users mailing list