I don't think those variables are in the namespace that eval is using. Robby
On Sun, Jul 10, 2016 at 8:29 PM, Alex Knauth <alexan...@knauth.org> wrote: > I'm doing a weird thing. I'm trying to use the lexical information from a > `(quote-syntax here #:local)` syntax object to access local variables. It can > distinguish between bound and unbound identifiers, because it raises normal > unbound identifier errors unbound ones. > > But for the bound ones, I'm getting identifier-out-of-context errors such as > > . x: identifier used out of context > context...: > matching binding...: > matching binding...: > context at layer 1...: > matching binding at layer 1...: > matching binding at layer 1...: in: x > > It looks like this is because it sees a binding in the syntax object, but the > name isn't in the namespace? > > Is that right? Is there a way to fix it? > > #lang racket/base > > (require syntax/strip-context) > > ;; debug-repl/stx : Syntax -> Any > ;; This should use the lexical information from stx to set up a repl > ;; that can access local variables for debugging. It currently fails > ;; with identifier-out-of-context errors. > (define (debug-repl/stx stx) > (define old-eval (current-eval)) > (define (ev e) > (old-eval (replace-context stx e))) > (parameterize ([current-eval ev]) > (read-eval-print-loop))) > > (define (f x y) > ;; x and y are local variables > (debug-repl/stx (quote-syntax here #:local))) > > (f 1 2) > > Alex Knauth > > -- > 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. -- 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.
