Stability of Uniques

[Edsko de Vries]

So is there any way that I can see that an identifier in the renamed AST is
really the same as an identifier in the typechecked AST?


On Wed, Mar 27, 2013 at 1:57 PM, Simon Peyton-Jones
<simonpj at microsoft.com>wrote:

>  Yes, locally-bound uniques change all the time, to maintain scoping
> hygiene.  But top-level things from other modules have uniques that do not
> change.****
>
> ** **
>
> simon****
>
> ** **
>
> *From:* ghc-devs-bounces at haskell.org [mailto:ghc-devs-bounces at haskell.org]
> *On Behalf Of *Edsko de Vries
> *Sent:* 26 March 2013 15:05
> *To:* ghc-devs at haskell.org
> *Subject:* Stability of Uniques****
>
> ** **
>
> Hi all,****
>
> ** **
>
> Consider the very simple test****
>
> ** **
>
>   module Test2 where****
>
>   f = True****
>
> ** **
>
> When walking the AST after renaming I see that f has unique 1912603236 and
> True has unique 905969694. However, when walking the typechecked AST f
> seems to have unique 1627390565 instead. Should I expect that the unique
> associated with identifiers changes between renaming and typechecking? Or
> is there something else that I'm missing?
>
> Thanks!
>
> Edsko****
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130327/9d785ad8/attachment.htm>