RE: How unique is a Unique?

Matthis | Now, from the name "Unique", one would assume that each different identifier | in a compiler run gets a different Unique, even when they are in different | functions or modules. However, I've found some evidence to suggest otherwise. Indeed, that's not so. The thing to read is Section 4 of: http://research.microsoft.com/en-us/um/people/simonpj/papers/inlining/index.... That tells you all about the InScopeSet etc. I hope that helps. If you are still stuck after reading that, ask again. Would you like to record the answers you find somewhere in the GHC Commentary? http://hackage.haskell.org/trac/ghc/wiki/Commentary I imagine you have been looking there for clues anyway? It's a wiki, so you can improve it! thanks Simon