From 33294d0c368e064bbca2730029446bc21af419f2 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Sun, 17 Apr 2011 14:54:01 -0400
Subject: [PATCH] hmm.. the typechecker at this point looks like it's going
 crazy

---
 assemble.rkt  |  4 ++++
 simulator.rkt | 10 +++++++++-
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/assemble.rkt b/assemble.rkt
index fa63f3e..315be00 100644
--- a/assemble.rkt
+++ b/assemble.rkt
@@ -233,6 +233,10 @@ EOF
       [(InstallContinuationMarkEntry!? op)
        empty]
       [(RaiseContextExpectedValuesError!? op)
+       empty]
+      [(RaiseArityMismatchError!? op)
+       empty]
+      [(RaiseOperatorApplicationError!? op)
        empty]))
   
   (unique/eq?
diff --git a/simulator.rkt b/simulator.rkt
index 6de51f7..399684c 100644
--- a/simulator.rkt
+++ b/simulator.rkt
@@ -388,7 +388,15 @@
            (error "context expected ~a values, received ~a values."
                   (RaiseContextExpectedValuesError!-expected op)
                   (machine-argcount m))]
-          )))
+
+	  [(RaiseArityMismatchError!? op)
+	   (error "expects ~s arguments, given ~a"
+		  (RaiseArityMismatchError!-expected op)
+		  (evaluate-oparg m (RaiseArityMismatchError!-received op)))]
+
+	  [(RaiseOperatorApplicationError!? op)
+	   (error "expected procedure, given ~a"
+		  (evaluate-oparg m (RaiseOperatorApplicationError!-operator op)))])))