From ed2cf43a1914fb0dc2074c0617130bfea58461c3 Mon Sep 17 00:00:00 2001 From: Benjamin Greenman Date: Sat, 14 Jan 2017 10:56:20 -0500 Subject: [PATCH] regression test for issue #33 (#493) closes #33 --- typed-racket-test/succeed/issue-33.rkt | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 typed-racket-test/succeed/issue-33.rkt diff --git a/typed-racket-test/succeed/issue-33.rkt b/typed-racket-test/succeed/issue-33.rkt new file mode 100644 index 00000000..fe9f308c --- /dev/null +++ b/typed-racket-test/succeed/issue-33.rkt @@ -0,0 +1,17 @@ +#lang typed/racket/base + +;; regression test for issue #33 +;; https://github.com/racket/typed-racket/issues/33 + +;; In 2015, gave the error message: +;; Type Checker: type mismatch +;; expected: (U (List Symbol Any) (List String Symbol)) +;; given: (List String Any) +;; in: (list "foo" (quote bold)) + +(: x (U (List Symbol Any) + (List String Symbol))) +(define x (list "foo" 'bold)) + +(when (and (string? (car x)) (symbol? (cadr x))) + (ann x (List String Symbol)))