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

Get rid of `special-dots-printing?'.

Browse Source 
Asumu said that he doesn't know of any other clients of this parameter
besides my class code.

original commit: 0eed0f6e0e493b190abc912981bab59644a3a760
This commit is contained in:
Eli Barzilay 2014-09-20 23:55:46 -04:00 committed by Asumu Takikawa
parent 22229fd8ac
commit bd742ac79e
1 changed files with 4 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -32,7 +32,7 @@
pretty-format-type)))
(provide-printer)
(provide special-dots-printing? print-complex-filters?
(provide print-complex-filters?
current-print-type-fuel current-print-unexpanded)
@ -42,7 +42,6 @@
;; do we use simple type aliases in printing
(define print-aliases #t)
(define special-dots-printing? (make-parameter #f))
(define print-complex-filters? (make-parameter #f))
;; this parameter controls how far down the type to expand type names
@ -217,17 +216,8 @@
(if req?
(format "~a ~a" k (type->sexp t))
(format "[~a ~a]" k (type->sexp t)))]))
(if rest
(list (type->sexp rest) (if (special-dots-printing?) '...* '*))
null)
(if drest
(if (special-dots-printing?)
(list (type->sexp (car drest))
(string->symbol (format "...~a" (cdr drest))))
(list (type->sexp (car drest))
'...
(cdr drest)))
null)
(if rest `(,(type->sexp rest) '*) null)
(if drest `(,(type->sexp (car drest)) ... ,(cdr drest)) null)
(match rng
[(AnyValues: (Top:)) '(AnyValues)]
[(AnyValues: f) `(AnyValues : ,(filter->sexp f))]
@ -466,12 +456,7 @@
(define-values (covered remaining) (cover-union type ignored-names))
(cons 'U (append covered (map t->s remaining)))]
[(Pair: l r) `(Pairof ,(t->s l) ,(t->s r))]
[(ListDots: dty dbound)
(define dbound*
(if (special-dots-printing?)
(list (string->symbol (format "...~a" dbound)))
(list '... dbound)))
`(List ,(t->s dty) ,@dbound*)]
[(ListDots: dty dbound) `(List ,(t->s dty) ... ,dbound)]
[(F: nm) nm]
;; FIXME (Values are not types and shouldn't need to be considered here
[(AnyValues: (Top:)) 'AnyValues]