From 5a77ece770bcaa729c07b2c806aa6c5b31051a09 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 7 Feb 2013 22:49:39 -0800 Subject: [PATCH] Fix :print-type. Closes PR13503. original commit: c2b8671169c51aa20782bd4ba3c046aabea6c351 --- collects/tests/typed-racket/succeed/pr13503.rkt | 5 +++++ collects/typed-racket/core.rkt | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 collects/tests/typed-racket/succeed/pr13503.rkt diff --git a/collects/tests/typed-racket/succeed/pr13503.rkt b/collects/tests/typed-racket/succeed/pr13503.rkt new file mode 100644 index 00000000..ede1c308 --- /dev/null +++ b/collects/tests/typed-racket/succeed/pr13503.rkt @@ -0,0 +1,5 @@ +#lang racket/load +(require typed/racket) +(:print-type +) +(:print-type (values 2 3 4)) +(:print-type (error 'ManyTypes)) diff --git a/collects/typed-racket/core.rkt b/collects/typed-racket/core.rkt index ecc968a0..05f0bd8e 100644 --- a/collects/typed-racket/core.rkt +++ b/collects/typed-racket/core.rkt @@ -60,7 +60,8 @@ #,(parameterize ([print-multi-line-case-> #t]) (format "~a\n" (match type [(tc-result1: t f o) t] - [(tc-results: t) (cons 'Values t)])))))] + [(tc-results: t) (cons 'Values t)] + [(tc-any-results:) ManyUniv])))))] ;; given a function and input types, display the result type [(_ . ((~literal :query-type/args) op:expr arg-type:expr ...)) (with-syntax ([(dummy-arg ...) (generate-temporaries #'(arg-type ...))])