Input checking for require-typed-struct.

svn: r9701
2008-05-06 20:40:38 +00:00 · 2008-05-06 20:40:38 +00:00 · 03eac9472e
commit 03eac9472e
parent a3d192bc51
1 changed files with 1 additions and 0 deletions
--- a/collects/typed-scheme/private/prims.ss
+++ b/collects/typed-scheme/private/prims.ss
@ -288,6 +288,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
 (define-syntax (require-typed-struct stx)
  (syntax-case stx (:)
    [(_ nm ([fld : ty] ...) lib)
+     (identifier? #'nm)
     (with-syntax* ([(struct-info maker pred sel ...) (build-struct-names #'nm (syntax->list #'(fld ...)) #f #t)]
                    [oty #'(Opaque pred)])
                   #'(begin