How unique is a Unique?

[Simon Peyton-Jones]

| However, one thing will probably not be answered there, since it is more of an
| implementation issue: Is there any function that will guarantee all Uniques in
| a CoreExpr will be completely unique? This is stronger than de-shadowing,
| since I also want Uniques in completely different branches of the expression
| to be different.

Not at the moment.

| I need this, since I want to keep a global table with a mapping from a Unique
| to some values (mostly related to naming). I might be able to pull this off
| with some hard thinking and non-unique Uniques, but it would help a lot if I
| didn't need to.
| 
| If there isn't, I'll probably write something up (shouldn't be too hard I
| guess). Would there be any interest to include this in the GHC API? Or is the
| GHC API limited to what GHC itself uses?

I think the best way would be to make a new package that depends on the GHC package.  That's what Cabal is so good for!

Simon