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)) However, this produces an internal error in Redex: ../../../../../usr/share/racket/pkgs/redex-lib/redex/private/reduction-semantics.rkt:2710:7: 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.