How unique is a Unique?

[Simon Peyton-Jones]

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.htm
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