Add test for duplicate annotations.

2013-05-27 11:27:08 -07:00 · 2013-05-27 11:27:08 -07:00 · 6033c49795
commit 6033c49795
parent 4a328ecd0b
1 changed files with 1 additions and 0 deletions
--- 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"