Hello,
I'm trying to update some code to the new expander. The below code works on
6.2 but fails on the new expander with an unbound identifier error.
#lang racket
(require (for-syntax syntax/parse))
;; a standard context for identifiers
(define-for-syntax ctx #'ctx)
;; create an ID with the context `ctx`, and the current
;; expander mark (so that the mark is canceled later),
;; and the location loc
(define-for-syntax (make-id loc)
(syntax-local-introduce
(datum->syntax ctx 'id loc)))
;; This introduces a binding
(define-syntax (def stx)
(syntax-parse stx
[(def)
(with-syntax ([id (make-id #'here)])
#'(define id 5))]))
;; this attempts to use the binding introduced by `def`
(define-syntax (use stx)
(syntax-parse stx
[(use)
(with-syntax ([id (make-id #'here)])
#'id)]))
;; this works
#;
(begin
(def)
(use))
;; this fails
(let ()
(def)
(use))
--
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.
