From ff1446f85ee12e5b94b90780eb405d06976b203f Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Mon, 25 Sep 2017 21:12:37 -0400 Subject: [PATCH] never print Void as a val --- typed-racket-lib/typed-racket/types/printer.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/types/printer.rkt b/typed-racket-lib/typed-racket/types/printer.rkt index 92ee6f10..d7ef0706 100644 --- a/typed-racket-lib/typed-racket/types/printer.rkt +++ b/typed-racket-lib/typed-racket/types/printer.rkt @@ -620,7 +620,8 @@ ;; values like characters (when `display`ed) ;; (comes after Intersection since Val-able will match ;; when an element of an intersection is a val) - [(Val-able: v) (format "~v" v)] + [(Val-able: v) (cond [(void? v) 'Void] + [else (format "~v" v)])] [(? Base?) (Base-name type)] [(Pair: l r) `(Pairof ,(t->s l) ,(t->s r))] [(ListDots: dty dbound) `(List ,(t->s dty) ... ,dbound)]