suzanne.soy/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.

(cherry picked from commit 2e6b82ab8e)
This commit is contained in:
Eli Barzilay 2014-09-20 23:48:57 -04:00 committed by Ryan Culpepper
parent 02f935d759
commit c541afcac8
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))