From 03eac9472e99e638ffad13f702475a707178b7ad Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 6 May 2008 20:40:38 +0000
Subject: [PATCH] Input checking for require-typed-struct.

svn: r9701
---
 collects/typed-scheme/private/prims.ss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.ss
index e5840ecfb8..6f4784f167 100644
--- 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