Re: [racket-users] Behavior of nested ellipses

2018-03-28 Thread Justin Pombrio
clear, thanks. I should have looked that up before asking. On Wednesday, March 28, 2018 at 7:59:42 AM UTC-4, Matthew Flatt wrote: > > Just to answer some parts of the original question: > > At Tue, 27 Mar 2018 13:01:54 -0700 (PDT), Justin Pombrio wrote: > > I'm surprised

Re: [racket-users] Behavior of nested ellipses

2018-03-27 Thread Justin Pombrio
3/27/2018 10:01 PM, Justin Pombrio wrote: > >> I'm surprised by the behavior of using a pattern variable under one > >> set of ellipses in the pattern, and under two sets of ellipses in the > >> template: > >> [...] > > BTW, it looks like Macro-By-Examp

[racket-users] Behavior of nested ellipses

2018-03-27 Thread Justin Pombrio
I'm surprised by the behavior of using a pattern variable under one set of ellipses in the pattern, and under two sets of ellipses in the template: #lang racket (require (for-syntax syntax/parse)) (define-syntax (test stx) (syntax-parse stx [(_ (x y ...) ...) #''(top (list (x y) ...)

Re: [racket-users] Redex: difficulty with #refers-to

2017-06-27 Thread Justin Pombrio
On Tuesday, June 27, 2017 at 4:23:35 PM UTC-4, William J. Bowman wrote: > On Tue, Jun 27, 2017 at 09:21:59AM -0700, Justin Pombrio wrote: > > I'm trying to define a language in Redex that includes a list of top-level > > function definitions: > > > > (p ::= &

[racket-users] Redex: difficulty with #refers-to

2017-06-27 Thread Justin Pombrio
I'm trying to define a language in Redex that includes a list of top-level function definitions: (p ::= (prog (defun (x x) e) ... e)) And all function names should be in scope in all function bodies (other things should be in scope as well, but I'm ignoring them here for