From bf3afb8383aab08e4da177f5af3119d9d1d7b17a 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 original 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 488d0af5..e9c705b3 100644 --- a/collects/typed-racket/typecheck/tc-app-helper.rkt +++ b/collects/typed-racket/typecheck/tc-app-helper.rkt @@ -75,6 +75,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])