From 1ac5a2ba305fab23606f1e86e05c2b3b41e273e6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 29 Oct 2015 16:35:36 +0100 Subject: [PATCH] Fixed assoc-with-is-equal-argument test, it was using a customized version of assoc that got removed, changed it to use the actual assoc. --- .../succeed/assoc-with-is-equal-argument.rkt | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/typed-racket-test/succeed/assoc-with-is-equal-argument.rkt b/typed-racket-test/succeed/assoc-with-is-equal-argument.rkt index ead8f9da..ff8eacc3 100644 --- a/typed-racket-test/succeed/assoc-with-is-equal-argument.rkt +++ b/typed-racket-test/succeed/assoc-with-is-equal-argument.rkt @@ -8,15 +8,15 @@ (let ([needle : Integer ;; Use a random needle to prevent some optimizations (but not all) (floor (inexact->exact (* (random) 200)))]) - (assoc3 needle - (ann (map (λ ([x : Integer]) (cons x (format "~a" x))) (range 1000)) - (Listof (Pairof Integer String))) - (λ ([x : Integer] [y : Integer]) - ;; Check the needle is always the first argument - (check-equal? x needle) - ;; Check y = needle implies x = needle - (check-true (or (not (= y needle)) (= x needle))) - (= x y)))) + (assoc needle + (ann (map (λ ([x : Integer]) (cons x (format "~a" x))) (range 1000)) + (Listof (Pairof Integer String))) + (λ ([x : Integer] [y : Integer]) + ;; Check the needle is always the first argument + (check-equal? x needle) + ;; Check y = needle implies x = needle + (check-true (or (not (= y needle)) (= x needle))) + (= x y)))) ;; Test that the third is-equal? argument is taken into account. If it is taken ;; into account, it will return '("c" . 2). If it isn't, it will return