Re: Stability of Uniques

2013-03-29 Thread Edsko de Vries
; > ( f{v a9H} [lid] :: ghc-prim:GHC.Types.Bool{(w) tc 3c} ) > > = {Foo.hs:3:5-8} > > ghc-prim:GHC.Types.True{(w) v 6v} > > <> > > EvBinds{} > > ** ** > > ** ** > > ** ** > > *From:* Edsko de Vries [mailto:edskodevr...@gm

RE: Stability of Uniques

2013-03-27 Thread Simon Peyton-Jones
dskodevr...@gmail.com] Sent: 27 March 2013 14:04 To: Simon Peyton-Jones Cc: ghc-devs@haskell.org Subject: Re: Stability of Uniques 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 P

Re: Stability of Uniques

2013-03-27 Thread Edsko de Vries
things from other modules have uniques that do not > change. > > ** ** > > simon > > ** ** > > *From:* ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] > *On Behalf Of *Edsko de Vries > *Sent:* 26 March 2013 15:05 > *To:* ghc-devs@has

RE: Stability of Uniques

2013-03-27 Thread Simon Peyton-Jones
-devs@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

Stability of Uniques

2013-03-26 Thread Edsko de Vries
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 associa