Hi All,
I am experimenting with the sub-range-binders syntax property.
Given this program:
(define symb? symbol?)
(define-no? symb?)
symb
I want to use DrRacket's renaming facility to rename the symb? in the
second line to sym?.
I expect to get this program:
(define sym? symbol?)
(define-no? sym?)
sym
However I get this:
(define sym? symbol?)
(define-no? sym?)
sym?
(notice the extra ? in the last line).
Is this possible using sub-range-binders ?
/Jens Axel
#lang racket/base
(require (for-syntax racket/base))
(define-syntax (define-no? stx)
(syntax-case stx ()
[(_ id?)
(let ()
(define s (symbol->string (syntax-e #'id?)))
(define l1 (string-length s))
(define l2 (- l1 1))
(define id-str (substring s 0 l2))
(define id (datum->syntax #'id? (string->symbol id-str)))
(syntax-property #`(define #,id id?)
'sub-range-binders (vector (syntax-local-introduce
id)
0 l2 0.5 0.5
(syntax-local-introduce
#'id?)
0 l1 0.5 0.5)))]))
(define symb? symbol?)
(define-no? symb?)
symb
--
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.
