Robby Findler

Yes, I meant syntax/datum! Thanks, duh. When I'm working on this, I use the stacktrace information from syntax errors (that's how I pointed you to the line above) and I...

I would probably define a judgment-form instead of using `,`.

I think a helper judgment form is superior to dipping back into Racket for this problem. Robby On Thu, May 28, 2020 at 8:56 AM Paul Brauner wrote: > Ack....

At some level, the stepper must know if it is stepping a lazy program or not. (At a min, DrRacket can tell it?). Could something be done only for the...

Here's a slightly simpler program with the same bad behavior: ``` #lang racket (require redex/reduction-semantics) (define-language Flow (p ::= ((node x e) ...)) (e ::= x (e e)) (x ::=...

There are a lot of reasons why there might be generation failures. I mean, basically, it is a randomized solver that is going off and searching for solutions and sometimes...

Oh, and if someone actually wants to get dirty working with the solver, I believe that @bfetscher built something to visualize the steps that the solver takes so you can...

Oh, and @bfetscher gave a nice talk about how this all works but I cannot find it online. I stole his slides and gave a version of it here: https://www.youtube.com/watch?v=SEb7FjZwRUk...

How about using `build-derivations`? As for the "try to make as big a derivation as you can", I've long thought that would be nice to have, but it isn't a...

I understand now. Thanks for explaining. It seems to me that this should be either an extension to `test-judgment-holds` or a new form with a name starting something like `test-judgment-...`...