From 38af459049819ecac24de6b349440e6c589703f9 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 9 Oct 2014 16:11:36 -0400 Subject: [PATCH] Fix printing of * in -> types --- .../typed-racket-lib/typed-racket/types/printer.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt index 1de6cd9dad..6b059a64bc 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt @@ -214,7 +214,7 @@ (if req? (format "~a ~a" k (type->sexp t)) (format "[~a ~a]" k (type->sexp t)))])) - (if rest `(,(type->sexp rest) '*) null) + (if rest `(,(type->sexp rest) *) null) (if drest `(,(type->sexp (car drest)) ... ,(cdr drest)) null) (match rng [(AnyValues: (Top:)) '(AnyValues)]