syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

undollar into a particular lexical context

This commit is contained in:
Sam Caldwell 2016-02-02 18:05:59 -05:00
parent 2884806378
commit 5d28e73849
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
prospect/actor.rkt
View File

@ -22,6 +22,8 @@
;;----------------------------------------
(struct-out actor-state)
pretty-print-actor-state
(for-syntax analyze-pattern)
)
(require (for-syntax racket/base))
@ -707,9 +709,9 @@
(and (identifier? stx)
(char=? (string-ref (symbol->string (syntax-e stx)) 0) #\$)))
(define (undollar stx)
(define (undollar stx ctx)
(and (dollar-id? stx)
(datum->syntax stx (string->symbol (substring (symbol->string (syntax-e stx)) 1)))))
(datum->syntax ctx (string->symbol (substring (symbol->string (syntax-e stx)) 1)))))
;; Syntax -> (Values Projection AssertionSetPattern MatchPattern (ListOf Identifier))
(define (analyze-pattern outer-expr-stx pat-stx0)
@ -723,7 +725,7 @@
[$v
(dollar-id? #'$v)
(with-syntax [(v (undollar #'$v))]
(with-syntax [(v (undollar #'$v outer-expr-stx))]
(values #'(?!)
#'?
#'v