Handle new potential printing of empty list type.

2017-05-22 16:33:57 -04:00 · 2017-05-22 16:33:57 -04:00 · 2785e6f950
commit 2785e6f950
parent 3432f80a20
1 changed files with 1 additions and 1 deletions
--- 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