On Fri, Sep 25, 2015 at 11:01:55AM -0700, Paul Stansifer wrote: > > > > 3. I'm getting some seriously long names, making output rather unreadable. > > The output of some of my tests: > > > > '(λ (x159160161162 : Bool) x159160161162) > > '(λ (x168169170171172 : Bool) x168169170171172) > > '(λ (x178179180181182183 : Bool) x178179180181182183) > > '(λ (x189190191192193194195 : Bool) x189190191192193194195) > > > > Previously, this output was > > > > '(λ (x2 : Bool) x2) > > '(λ (x1 : Bool) x1) > > '(λ (x2 : Bool) x2) > > '(λ (x1 : Bool) x1) > > This would be easy to fix by generating totally fresh names, instead of > keeping around the original. But maybe it would be worth it to make it look > like we did `(gensym original-name)` rather than `(gensym (gensym (gensym > (gensym original-name))))` in cases where names are repeatedly freshened? If possible it would be great to maintain the original name as much as possible. For example, there is only one binder in all the previous expands so it's strange that they all got changed.
But, if not, yes `(gensym original-name)` would be preferable. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
pgpej4dsAwIvS.pgp
Description: PGP signature
