From 1b1d285297fe45b6796c3e05e67dae8c10e0c716 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Sat, 18 Feb 2012 22:35:40 -0500
Subject: [PATCH] correcting bug with cadr: wrong contract type

---
 compiler/kernel-primitives.rkt                 | 3 +++
 js-assembler/runtime-src/baselib-primitives.js | 2 +-
 lang/kernel.rkt                                | 1 +
 version.rkt                                    | 2 +-
 4 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/compiler/kernel-primitives.rkt b/compiler/kernel-primitives.rkt
index ac13bab..6139ee4 100644
--- a/compiler/kernel-primitives.rkt
+++ b/compiler/kernel-primitives.rkt
@@ -44,6 +44,9 @@
                                     'make-vector
                                     'equal?
                                     'member
+                                    'memq
+                                    'memv
+                                    'memf
                                     'append
                                     'reverse
                                     'length
diff --git a/js-assembler/runtime-src/baselib-primitives.js b/js-assembler/runtime-src/baselib-primitives.js
index 81367e4..ae440fa 100644
--- a/js-assembler/runtime-src/baselib-primitives.js
+++ b/js-assembler/runtime-src/baselib-primitives.js
@@ -103,7 +103,7 @@
 	'caarable value');
     var checkCadrPair = baselib.check.makeCheckArgumentType(
 	function(x) {
-	    return isPair(x) && isPair(x.first);
+	    return isPair(x) && isPair(x.rest);
 	},
 	'cadrable value');
     var checkList = baselib.check.checkList;
diff --git a/lang/kernel.rkt b/lang/kernel.rkt
index d954864..fbbf04c 100644
--- a/lang/kernel.rkt
+++ b/lang/kernel.rkt
@@ -100,6 +100,7 @@
          if
 	 cond
 	 else
+         =>
 	 case
 	 quote
 	 unquote
diff --git a/version.rkt b/version.rkt
index 4d46da8..2e59647 100644
--- a/version.rkt
+++ b/version.rkt
@@ -7,4 +7,4 @@
 (provide version)
 (: version String)
 
-(define version "1.135")
+(define version "1.137")