From 9fc5cbfa2c352eca7c71c003bd94311a40f05031 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 19 May 2010 15:06:31 -0600 Subject: [PATCH] Fix syntax error in ASL Closes PR 10914 Merge to v5.0 --- collects/lang/private/teach.rkt | 2 ++ collects/tests/racket/beg-adv.rktl | 1 + 2 files changed, 3 insertions(+) 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))