From 07fca0974dd928e9dbddebb45ccc288699a483c9 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 3 May 2013 15:11:40 -0400 Subject: [PATCH] Fix printing of tc-any-results in type errors. In the long run, these error messages should get simplified so that this printing is not necessary. Closes PR 13577 and PR 13526 (cherry picked from commit e53b0858c32b845482d8d9b5f5559df6f143cff7) --- collects/typed-racket/typecheck/tc-app-helper.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-racket/typecheck/tc-app-helper.rkt b/collects/typed-racket/typecheck/tc-app-helper.rkt index b2bed3094e..02ab9d3fd8 100644 --- a/collects/typed-racket/typecheck/tc-app-helper.rkt +++ b/collects/typed-racket/typecheck/tc-app-helper.rkt @@ -74,6 +74,7 @@ (match t [(tc-result1: t) t] [(tc-results: ts) (-values ts)] + [(tc-any-results:) ManyUniv] [_ t])) (define (stringify-domain dom rst drst [rng #f])