From a15236ea4f1ba84c9351632e9469e1cd34b5375b Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Wed, 20 Oct 2010 14:31:52 -0400
Subject: [PATCH] Fix opt-lambda:. Merge to 5.0.2.

---
 collects/tests/typed-scheme/succeed/opt-lambda.rkt | 9 +++++++++
 collects/typed-scheme/private/prims.rkt            | 1 +
 2 files changed, 10 insertions(+)
 create mode 100644 collects/tests/typed-scheme/succeed/opt-lambda.rkt

diff --git a/collects/tests/typed-scheme/succeed/opt-lambda.rkt b/collects/tests/typed-scheme/succeed/opt-lambda.rkt
new file mode 100644
index 0000000000..5a55dd7bbb
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/opt-lambda.rkt
@@ -0,0 +1,9 @@
+#lang typed/racket
+
+(: opt (case-lambda ( -> Void)
+                    (Integer -> Void)))
+(define opt
+  (opt-lambda: ((n : Integer 0))
+    (display n)))
+(opt)
+(opt 1)
diff --git a/collects/typed-scheme/private/prims.rkt b/collects/typed-scheme/private/prims.rkt
index 92e9247fd2..2f0a636b76 100644
--- a/collects/typed-scheme/private/prims.rkt
+++ b/collects/typed-scheme/private/prims.rkt
@@ -34,6 +34,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
          "base-types.rkt"
          "base-types-extra.rkt"
          racket/flonum ; for for/flvector and for*/flvector
+         mzlib/etc
          (for-syntax 
           syntax/parse
 	  syntax/private/util