Robby Findler comments

Results 609 comments of


                                            Robby Findler

Change some `eq?`s in snip handling code.

I'm not sure why we should change an `object=?` into an `eq?`. Maybe lets do the ones that go the other way?

Change some `eq?`s in snip handling code.

Let's merge this after branch day.

Request: once-and-for-all definitions of free-vars, free-in, not-free-in

@wilbowma I think that it may be the case that if you show a simplified example of why these free variable functions are useful in something like the type system...

Request: once-and-for-all definitions of free-vars, free-in, not-free-in

Thanks. Is something like this what you have in mind (to be used in the first case of "X occurs strictly positively in T" in the web.archive.org link)? (perhaps negated?)...

Request: once-and-for-all definitions of free-vars, free-in, not-free-in

Oops, this is probably closer to the code I had in mind: ``` (define-metafunction λL free-in : x e -> boolean [(free-in x x) #t] [(free-in x (e ...)) #t...

test-->>∃ #:steps n passes test if n > than the number of actual reduction steps for a term.

This isn't a complete program so I'm not entirely sure what you mean, but here are two examples, one where it finishes in the bound and one where it doesn't...

test-->>∃ #:steps n passes test if n > than the number of actual reduction steps for a term.

Can you supply some working code to better illustrate what you mean, please?

test-->>∃ #:steps n passes test if n > than the number of actual reduction steps for a term.

The steps argument is more of an upper-bound to avoid running for a long time than it is to count an exact number of steps. One complexity of adding one...

Implement redex-define

If there was a version of `term-let` that was based on `define` instead of `let`, would that be enough to support `redex-define`?

Improve treatment of ellipsis in `define-judgment-form`

I think that the call that raises the error is this one: https://github.com/racket/redex/blob/master/redex-lib/redex/private/judgment-form.rkt#L141