Thanks for trying it out! It's exciting to have a user! The broken example is now fixed on GitHub.
On Thursday, September 24, 2015 at 5:07:22 PM UTC-4, William J. Bowman wrote: > ... > > 1. It was not obvious to me that /binding-pattern/ was not just a > grammar but a pattern. I tried to specify binding with: > > #:binding-forms (Π (x : t) t #:refers-to x), > > but this caused problems until I changed it to: > > #:binding-forms (Π (x : t_0) t_1 #:refers-to x) That should probably be emphasized more in the documentation. A problem that I have encountered in general is that bugs caused by /binding-pattern/s failing to match are hard to track down. > 2. default-lang was not properly linked in at least one place in the > documentation (in the explanation of default-equiv). Odd. I think that it might be the case that parameter definitions are handled differently by Scribble. > > 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? Thanks, Paul -- 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.
