It was merged.
Robby
On Wed, Oct 28, 2015 at 10:55 AM, William J. Bowman
wrote:
> 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 beli
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
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:
>
>> compiled-lang-binding-table: contr
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...:
>
> /home/bluephoenix47/workspace/racket/extra-pkgs/redex/
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)
> > '
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
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; ku
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...:
/home/bluephoenix47/workspace/racket/racket/share/extra-pkgs/redex/r
> 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
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 prop
10 matches
Mail list logo
