From 7a5a8311b9d7d095a161f0fd4441f9255e11f18a Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Tue, 29 Mar 2011 21:58:07 -0400
Subject: [PATCH] debuggin

---
 compile.rkt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compile.rkt b/compile.rkt
index 9792799..6d62720 100644
--- a/compile.rkt
+++ b/compile.rkt
@@ -763,7 +763,7 @@
 
 
 (: extract-static-knowledge (Expression CompileTimeEnvironment ->  
-                                            CompileTimeEnvironmentEntry))
+                                        CompileTimeEnvironmentEntry))
 ;; Statically determines what we know about exp, given the compile time environment.
 (define (extract-static-knowledge exp cenv)
   (cond
@@ -774,9 +774,12 @@
     [(and (LocalRef? exp) 
           (not (LocalRef-unbox? exp)))
      (let ([entry (list-ref cenv (LocalRef-depth exp))])
+       (printf "~s\n" entry)
        (cond
          [(StaticallyKnownLam? entry)
           entry]
+         [(Const? entry)
+          entry]
          [else
           '?]))]
     [(ToplevelRef? exp)