On Friday, September 25, 2015, Paul Stansifer <paul.stansi...@gmail.com> wrote:
> 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. Could one formulate a reliable test case for binding via a pattern matching form somehow? And then maybe provide some convenience from the redex testing library? > > > > 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. There may be a missing for-label require. Where is the specific problem? > > > > > 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? I think so. > > 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.
