From 29ced0b19869db513ff6df738a48aad55664c39a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 9 Nov 2015 18:44:06 +0100 Subject: [PATCH] Fixed type in 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 9df5707f..152feb28 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -2384,7 +2384,7 @@ (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)))] + (t:Un (-val #f) (-pair (one-of/c 'a 'b 'c) (-vec* -Symbol)))] ;; Reject `member` when needle not included in is-equal?'s argument type: [tc-err (member (ann 123 Number) '("bb" "c" "ddd")