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

Don't wrap booleans, print typed values

Browse Source 
original commit: 08ca97bf9e8650f204228ebee4252805db0fcb0f
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-04 17:55:01 -04:00
parent 41634b8e34
commit 9b40abb674
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/utils/any-wrap.rkt
View File

@ -5,14 +5,16 @@
(define-struct any-wrap (val)
#:property prop:custom-write
(lambda (v p write?)
(fprintf p "#<Typed Value>")))
(fprintf p "#<Typed Value: ~a>" (any-wrap-val v))))
(define (traverse wrap?)
(define (t v)
(match v
[(? (lambda (e) (and (any-wrap? e) (not wrap?)))) (any-wrap-val v)]
[(? (lambda (e)
(or (number? e) (string? e) (char? e) (symbol? e) (keyword? e) (bytes? e) (void? e)))) v]
(or (number? e) (string? e) (char? e) (symbol? e)
(keyword? e) (bytes? e) (boolean? e) (void? e))))
v]
[(cons x y) (cons (t x) (t y))]
[(and (? immutable?) (? vector?)) (vector-map t v)]
[(and (? immutable?) (box v)) (box (t v))]