From dcecff2c2217f84285b073b99175392aea678065 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 14 Nov 2014 10:41:05 -0500 Subject: [PATCH] Add tests for two closed TR PRs original commit: 89782125883555586ec07645ac798c8e28513ff6 --- .../tests/typed-racket/succeed/pr13870.rkt | 13 +++++++++++++ .../typed-racket/unit-tests/typecheck-tests.rkt | 7 +++++++ 2 files changed, 20 insertions(+) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr13870.rkt diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr13870.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr13870.rkt new file mode 100644 index 00000000..05cdcb9c --- /dev/null +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr13870.rkt @@ -0,0 +1,13 @@ +#lang typed/racket/base + +;; Test for PR 13870 + +(require racket/match) + +(: sum ((Listof Integer) -> Integer)) +(define (sum l) + (match l + [(list) 0] + [(list x xs ...) (+ x (sum xs))])) + +(sum (list 1 2 3)) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 22ae0a4c..434cdb91 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -3343,6 +3343,13 @@ `(li ,elem))) (void)) -Void] + + ;; PR 13653 + [tc-e (let () + (lambda: ((a : Symbol)) + (ann (values a a) (Values Symbol Symbol))) + (void)) + -Void] ) (test-suite