From 53553c53aa307736377f64a93c20fe472854848f Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 13 Sep 2011 15:15:39 -0400 Subject: [PATCH] Fix case-lambda type printing. Closes PR 12188. original commit: 7e9e50081861d92e1ae239045a2b1bf151742328 --- collects/typed-racket/types/printer.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/typed-racket/types/printer.rkt b/collects/typed-racket/types/printer.rkt index b9e08939..357a4d03 100644 --- a/collects/typed-racket/types/printer.rkt +++ b/collects/typed-racket/types/printer.rkt @@ -1,6 +1,6 @@ #lang racket/base -(require racket/require racket/match unstable/sequence +(require racket/require racket/match unstable/sequence racket/string (prefix-in s: srfi/1) (path-up "rep/type-rep.rkt" "rep/filter-rep.rkt" "rep/object-rep.rkt" "rep/rep-utils.rkt" "types/abbrev.rkt" "types/subtype.rkt" @@ -167,12 +167,12 @@ [(Function: arities) (let () (match arities - [(list) "(case-lambda)"] + [(list) "(case->)"] [(list a) (format-arr a)] [(list a b ...) - (format "(case-lambda ~a~a)" + (format "(case-> ~a ~a)" (format-arr a) - (apply string-append (map format-arr b)))]))])) + (string-join (map format-arr b) " "))]))])) ;; print out a type ;; print-type : Type Port Boolean -> Void