suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix case-lambda type printing.

Browse Source 
Closes PR 12188.

original commit: 7e9e50081861d92e1ae239045a2b1bf151742328
This commit is contained in:
Vincent St-Amour 2011-09-13 15:15:39 -04:00
parent 8578b9ea79
commit 53553c53aa
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/types/printer.rkt
View File

@ -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