From d3aff063f657531f9632cd453b0437422ddc1827 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 30 Oct 2015 15:00:06 +0100 Subject: [PATCH] Fixed yet another typo in member and assoc tests. --- typed-racket-test/unit-tests/typecheck-tests.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt index db9f8184..9df5707f 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -2381,7 +2381,7 @@ (-pair (one-of/c 'a 'b 'c) (-lst (one-of/c 'a 'b 'c))))] [tc-e (assoc 3 '((a . #(a)) (b . #(b)) (c . #(c))) - (lambda: ([s1 : (U Number Symbol String)] [s2 : String]) + (lambda: ([s1 : (U Number Symbol String)] [s2 : Symbol]) (= (string-length (format "~a" s1)) (string-length (symbol->string s2))))) (t:Un (-val #f) (-pair (one-of/c 'a 'b 'c) (-vec -Symbol)))]