diff --git a/collects/lang/private/teach.rkt b/collects/lang/private/teach.rkt index f6547a4490..2b18ed4c6e 100644 --- a/collects/lang/private/teach.rkt +++ b/collects/lang/private/teach.rkt @@ -1904,6 +1904,8 @@ (syntax/loc stx (define (name) expr)) (list #'name))] [(_ (name) expr ...) + (and (identifier/non-kw? (syntax name)) + (ok-definition-context)) (check-single-result-expr (syntax->list (syntax (expr ...))) #f stx diff --git a/collects/tests/racket/beg-adv.rktl b/collects/tests/racket/beg-adv.rktl index edfe0e1a0e..6f9579568d 100644 --- a/collects/tests/racket/beg-adv.rktl +++ b/collects/tests/racket/beg-adv.rktl @@ -10,6 +10,7 @@ (htdp-syntax-test #'(define x)) (htdp-syntax-test #'(define x 10 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 (y 10) 12)) (htdp-syntax-test #'(define (y "x") 12))