Re: [racket-users] [Redex] test-->>E and trace

Robby, Thank you very much! BR, Anton Podkopaev BR, Anton Podkopaev On Wed, Feb 10, 2016 at 4:34 PM, Anton Podkopaev wrote: > Robby, > > Thank you very much! > > BR, > Anton Podkopaev > > On Wed, Feb 10, 2016 at 3:50 PM, Robby Findler < > ro...@eecs.northwestern.edu>

Re: [racket-users] [Redex] test-->>E and trace

Robby, Thank you, it mostly works for my semantics, and I know how to change the algorithm for some corner cases. Then I have one more question --- then I get terms (a result of `find-path'), is there a way to show them (and only them) using GUI tools like `traces' and `stepper'? BR, Anton

Re: [racket-users] [Redex] test-->>E and trace

Sure. The trick is to use the #:reduce argument and then just ignore the actual reduction relation. A revision of the earlier code demonstrates, as below. Robby #lang racket (require redex) (define-language L (n ::= natural)) (define red (reduction-relation L (--> n ,(max 0 (min 20 (+

Re: [racket-users] [Redex] test-->>E and trace

I'm sorry it took me so long to get back to this. I'm not sure there is a good thing to be added to Redex for this problem. Overall, it seems like a graph search problem and there are multiple different strategies depending on properties of the graph that you're searching. It's not too hard to

Re: [racket-users] [Redex] test-->>E and trace

Unfortunately, I need something else, because my semantics is highly non-deterministic, and I want to be able to see only paths, which lead to a certain term. BR, Anton Podkopaev 2015-12-18 20:49 GMT+03:00 Robby Findler : > I think you may want to call

[racket-users] [Redex] test-->>E and trace

Hello, colleagues! Is there any way to get a term trace from successful test-->>E in Redex? BR, Anton Podkopaev, PhD student, SPbSU -- 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

Re: [racket-users] [Redex] test-->>E and trace

The quickest way is to write a macro that expands to trace plus a test. -- Matthias On Dec 18, 2015, at 6:33 AM, Anton Podkopaev wrote: > Hello, colleagues! > > Is there any way to get a term trace from successful test-->>E in Redex? > > BR, > Anton Podkopaev, PhD

Re: [racket-users] [Redex] test-->>E and trace

I think you may want to call apply-reduction-relation* with a #:stop-when argument instead? Robby On Fri, Dec 18, 2015 at 5:33 AM, Anton Podkopaev wrote: > Hello, colleagues! > > Is there any way to get a term trace from successful test-->>E in Redex? > > BR, > Anton