Fix syntax error in ASL

Closes PR 10914
 Merge to v5.0
This commit is contained in:
Matthew Flatt 2010-05-19 15:06:31 -06:00
parent f91836e311
commit 9fc5cbfa2c
2 changed files with 3 additions and 0 deletions

View File

@ -1904,6 +1904,8 @@
(syntax/loc stx (define (name) expr)) (syntax/loc stx (define (name) expr))
(list #'name))] (list #'name))]
[(_ (name) expr ...) [(_ (name) expr ...)
(and (identifier/non-kw? (syntax name))
(ok-definition-context))
(check-single-result-expr (syntax->list (syntax (expr ...))) (check-single-result-expr (syntax->list (syntax (expr ...)))
#f #f
stx stx

View File

@ -10,6 +10,7 @@
(htdp-syntax-test #'(define x)) (htdp-syntax-test #'(define x))
(htdp-syntax-test #'(define x 10 12)) (htdp-syntax-test #'(define x 10 12))
(htdp-syntax-test #'(define (10 y) 12)) (htdp-syntax-test #'(define (10 y) 12))
(htdp-syntax-test #'(define (10) 12))
(htdp-syntax-test #'(define ("x" y) 12)) (htdp-syntax-test #'(define ("x" y) 12))
(htdp-syntax-test #'(define (y 10) 12)) (htdp-syntax-test #'(define (y 10) 12))
(htdp-syntax-test #'(define (y "x") 12)) (htdp-syntax-test #'(define (y "x") 12))