From 6033c497951eb51870e8d1327fe76eecad6e102a Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 27 May 2013 11:27:08 -0700 Subject: [PATCH] Add test for duplicate annotations. --- collects/tests/typed-racket/unit-tests/typecheck-tests.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt index 447aa3849d..9a6a7dd4a2 100644 --- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -1647,6 +1647,7 @@ (apply (inst values A B ... B) a b)) (All (A B ...) (A B ... -> (values A B ... B)))) (-polydots (a b) ((list a) (b b) . ->... . (make-ValuesDots (list (-result a)) b 'b)))] + [tc-e/t (ann (ann 'x Symbol) Symbol) -Symbol] ) (test-suite "check-type tests"