From 2785e6f950776652d8b0f3a133138ca2eae9383d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 22 May 2017 16:33:57 -0400 Subject: [PATCH] Handle new potential printing of empty list type. --- typed-racket-test/unit-tests/typecheck-tests.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt index 95697e66..32a5c3cd 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -3501,7 +3501,7 @@ (define y (for/fold: ((x : String null)) ((v : String null)) x)) y) #:ret (tc-ret -String -true-propset) - #:msg #rx"expected: String.*given: (Null|'\\(\\))"] + #:msg #rx"expected: String.*given: (Null|'\\(\\)|\\(List\\))"] ;; PR 14493 [tc-err