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 <[email protected]>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:* [email protected] [mailto:[email protected]] > *On Behalf Of *Edsko de Vries > *Sent:* 26 March 2013 15:05 > *To:* [email protected] > *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**** >
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
