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

Fix printing of * in -> types

Browse Source 
original commit: 38af459049819ecac24de6b349440e6c589703f9
This commit is contained in:
Asumu Takikawa 2014-10-09 16:11:36 -04:00
parent 2ff47d2e06
commit b4b666f9f2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt
View File

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