From 2ae1f5a602f843f9c854de9809916a60ff767cc5 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Sun, 19 May 2013 18:38:22 -0400
Subject: [PATCH] Fix top-level use of classes

---
 .../typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
index e98e6182a7..ed499071be 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
@@ -159,6 +159,12 @@
   (parameterize ([current-orig-stx form])
     (syntax-parse form
       #:literal-sets (kernel-literals)
+      ;; need to special case this
+      ;; FIXME: is there a better way?
+      [stx
+       #:when (syntax-property form 'tr:class)
+       (tc-expr #'stx)]
+
       ;; these forms we have been instructed to ignore
       [stx:ignore^
        (void)]