From 5e0c0f198ad2fe4d958bb71dbbd7005b6cbced55 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@ccs.neu.edu>
Date: Fri, 11 Jan 2013 17:46:55 -0500
Subject: [PATCH] Fix parsing of `maybe-optimize` result.

Merge to 5.3.2.
(cherry picked from commit 1a678bd5de65aac6e806f6cf220cf0c7d441eeb8)
---
 collects/typed-racket/core.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/typed-racket/core.rkt b/collects/typed-racket/core.rkt
index ed8c4610b3..61cba8a53a 100644
--- a/collects/typed-racket/core.rkt
+++ b/collects/typed-racket/core.rkt
@@ -94,7 +94,7 @@
      (tc-setup
       stx #'form 'top-level body2 void tc-toplevel-form before type
       (with-syntax*
-       ([optimized-body (car (maybe-optimize #`(#,body2)))])
+       ([(optimized-body . _) (maybe-optimize #`(#,body2))])
        (syntax-parse body2
          ;; any of these do not produce an expression to be printed
          [(head:invis-kw . _) (arm #'optimized-body)]