[racket] scoping rules and define-for-syntax

From: Eli Barzilay (eli at barzilay.org)
Date: Sun Jul 25 03:12:15 EDT 2010

On Jul 24, Shriram Krishnamurthi wrote:
> [...]
> This, however, is just an illustrative simplification of my real
> program, which has non-trivial mutually-referential functions.  The
> only solution I have is effectively
>   (define-for-syntax (shell e)
>     (define (f1 e) ...)
>     (define (f3 e) ...)
>     (f3 e))
> which works, but is pretty unsatisfactory.

(See also PR7104 -- it was an issue in the ffi code, which I worked
around with a parameter...)

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the users mailing list.