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 ...)) ...

However, this produces an internal error in Redex:

 second: contract violation
  expected: list?
  given: 'f«0»

Any advice?

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.

Reply via email to