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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to