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 ::= .... > > (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 > > simplicity): > > > > (prog (defun (x_fun x_param) e_body #:refers-to (shadow x_fun ...)) ... > > e_main)) > This looks ill-formed to me. Inside e_body, there is only one x_fun bound, so > x_fun ... doesn't make > sense. > This would make sense if you had a multi-argument functions, e.g., > (prog (defun (x_fun x ...) e_body #:refers-to (shadow x ...)) ... > e_main)) > > You're trying to express a more complicated binding pattern than merely a > list of binders. > This is expressing that each definition d inside (prog d ...) exports a name > that is bound for all other definitions. > You need #:exports. > Maybe something like > (defun (x_fun x ...) e_body #:refers-to (shadow x ...)) #:exports x_fun > (prog d #:...bind (defs d (shadows defs d)))) > > This may not be quite right yet. > > (Unfortunately, there is a known bug in Redex that #...bind is undocumented, > so you had no way to know about this) > > -- > William J. Bowman
Ah, thanks Will. -- 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 it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.