correcting bug with cadr: wrong contract type

2012-02-18 22:35:40 -05:00 · 2012-02-18 22:35:40 -05:00 · 1b1d285297
commit 1b1d285297
parent a13274d63b
4 changed files with 6 additions and 2 deletions
--- a/compiler/kernel-primitives.rkt
+++ b/compiler/kernel-primitives.rkt
@ -44,6 +44,9 @@
                                    'make-vector
                                    'equal?
                                    'member
+                                    'memq
+                                    'memv
+                                    'memf
                                    'append
                                    'reverse
                                    'length
--- 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;
--- a/lang/kernel.rkt
+++ b/lang/kernel.rkt
@ -100,6 +100,7 @@
         if
 	 cond
 	 else
+         =>
 	 case
 	 quote
 	 unquote
--- a/version.rkt
+++ b/version.rkt
@ -7,4 +7,4 @@
 (provide version)
 (: version String)

-(define version "1.135")
+(define version "1.137")