Re: [racket-users] Redex: call for alpha-equivalence beta testers

I believe I've pushed a fix for this. Thanks for the report! Robby On Tue, Oct 27, 2015 at 10:10 AM, William J. Bowman wrote: > Recently after upgrading from Paul's fork, substitute stopped working > inside my reduction relation. I get the following error: > >>

Re: [racket-users] Redex: call for alpha-equivalence beta testers

Did Paul's work just get merged into the main Redex package, or did this just get pushed to the wrong place? -- William J. Bowman On Wed, Oct 28, 2015 at 10:25:37AM -0500, Robby Findler wrote: > I believe I've pushed a fix for this. Thanks for the report! > > Robby > > On Tue, Oct 27, 2015 at

Re: [racket-users] Redex: call for alpha-equivalence beta testers

Recently after upgrading from Paul's fork, substitute stopped working inside my reduction relation. I get the following error: > compiled-lang-binding-table: contract violation > expected: compiled-lang? > given: #f > context...: > >

Re: [racket-users] Redex: call for alpha-equivalence beta testers

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) > >

Re: [racket-users] Redex: call for alpha-equivalence beta testers

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

Re: [racket-users] Redex: call for alpha-equivalence beta testers

I get this error several times during the final `raco setup`: redex-examples/redex/examples/lazy-with-binding.rkt:30:38: define-language: expected a shadow, nothing, or nonterminal in: (rib x ...) compilation context...:

Re: [racket-users] Redex: call for alpha-equivalence beta testers

I just ported Cur to use this version of Redex (https://github.com/wilbowma/cur/tree/redex-with-binding), and was able to delete and simplify many lines of code and get all tests passing in minutes. Hurrah! Although, I do not have interesting binding structure. A few comments 0. Was very easy;

[racket-users] Redex: call for alpha-equivalence beta testers

Paul Stansifer has been implementing the ideas from his dissertation work in Redex and is now ready to share them with the world. Thanks to Paul, Redex languages now understand binding structure, meaning that if you write a substitution function that just blindly substitutes, it will actually

Re: [racket-users] Redex: call for alpha-equivalence beta testers

> and then get Paul's version: > > cd redex > git remote add paul https://github.com/paulstansifer/redex-1.git > git checkout public > raco setup This didn't quite work for me the first time I tried it, I needed to run `git fetch paul` before the checkout to make it work. Looking forward