From 9a40630785296845010f8074e1d7324a92fb1db2 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Thu, 24 Mar 2011 19:12:10 -0400
Subject: [PATCH] turning off static analysis for the moment

---
 compile.rkt | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/compile.rkt b/compile.rkt
index c61f097..895a325 100644
--- a/compile.rkt
+++ b/compile.rkt
@@ -24,6 +24,9 @@
 
 
 (: -compile (ExpressionCore Target Linkage -> (Listof Statement)))
+;; Generates the instruction-sequence stream.
+;; Note: the toplevel generates the lambda body streams at the head, and then the
+;; rest of the instruction stream.
 (define (-compile exp target linkage)
   (let ([after-lam-bodies (make-label 'afterLamBodies)])
     (statements
@@ -363,12 +366,14 @@
              [(eq? static-knowledge '?)
               (default)]
              [(StaticallyKnownLam? static-knowledge)
-              (unless (= n (StaticallyKnownLam-arity static-knowledge))
+              ;; Currently disabling the static analysis stuff till I get error trapping working first.
+              (default)
+              #;(unless (= n (StaticallyKnownLam-arity static-knowledge))
                 (error 'arity-mismatch "Expected ~s, received ~s" (StaticallyKnownLam-arity static-knowledge)
                        n))
               ;; FIXME: do the arity check here...
               #;(printf "I'm here!\n")
-              (compile-procedure-call/statically-known-lam extended-cenv 
+              #;(compile-procedure-call/statically-known-lam extended-cenv 
                                                            n
                                                            target
                                                            linkage)]))]