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

Get rid of some unused code.

Browse Source 
Looks like some aborted attempt at abstraction, which is no longer used.

original commit: 2e6b82ab8ec0cc63837759873e412831de5a1826
This commit is contained in:
Eli Barzilay 2014-09-20 23:48:57 -04:00 committed by Asumu Takikawa
parent 6176852a27
commit 22229fd8ac
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -204,12 +204,6 @@
(define (arr->sexp arr)
(match arr
[(arr: dom rng rest drest kws)
(define out (open-output-string))
(define (fp . args) (apply fprintf out args))
(define (fp/filter fmt ret . rest)
(if (print-complex-filters?)
(apply fp fmt ret rest)
(fp "-> ~a" ret)))
(append
(list '->)
(map type->sexp dom)
@ -273,8 +267,6 @@
;; format->* : (Listof arr) -> S-Expression
;; Format arrs that correspond to a ->* type
(define (format->* arrs)
(define out (open-output-string))
(define (fp . args) (apply fprintf out args))
;; see type-contract.rkt, which does something similar and this code
;; was stolen from/inspired by/etc.
(match* ((first arrs) (last arrs))