From ca4a358280f60de94c8c20c4e51586cecd3ee96c Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@hashcollision.org>
Date: Tue, 23 Oct 2012 17:58:01 -0600
Subject: [PATCH] trying to specialize the type to avoid Any, which is causing
 issues

---
 compiler/bootstrapped-primitives.rkt | 2 +-
 make/make.rkt                        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/bootstrapped-primitives.rkt b/compiler/bootstrapped-primitives.rkt
index 726e699..3717f6a 100644
--- a/compiler/bootstrapped-primitives.rkt
+++ b/compiler/bootstrapped-primitives.rkt
@@ -14,7 +14,7 @@
 (require/typed "../parameters.rkt"
                (current-defined-name (Parameterof (U Symbol LamPositionalName))))
 (require/typed "../parser/parse-bytecode.rkt"
-               (parse-bytecode (Any -> Expression)))
+               (parse-bytecode (Compiled-Expression -> Expression)))
 
 
 
diff --git a/make/make.rkt b/make/make.rkt
index 3ce0210..52dd1f2 100644
--- a/make/make.rkt
+++ b/make/make.rkt
@@ -19,7 +19,7 @@
                [log-debug (String -> Void)])
 
 (require/typed "../parser/parse-bytecode.rkt"
-               [parse-bytecode (Any -> Expression)])
+               [parse-bytecode ((U Path Input-Port) -> Expression)])
 
 (require/typed "../get-module-bytecode.rkt"
                [get-module-bytecode ((U String Path Input-Port) -> Bytes)])