From 3990b43b6a2cc79c7affa05357d5ca85485a5008 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 8 Jul 2013 21:01:31 -0700 Subject: [PATCH] Add some test cases for plambda fixes that have already been applied. Closes PR 13751. Closes PR 13754. --- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/unit-tests/typecheck-tests.rkt index 7ff1de814c..c93a559412 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -1636,6 +1636,11 @@ (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] + + [tc-err (lambda (x) x) + #:expected (ret (-poly (a) (cl->* (t:-> a a) (t:-> a a a))))] + [tc-err (plambda: (A) ((x : A)) x) + #:expected (ret (list -Symbol -Symbol))] ) (test-suite "check-type tests"