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

Simplify 8 cases of filter printing to 2.

Browse Source 
original commit: b8f618b57dcfafd185bf9d6a2b170277f33e9434
This commit is contained in:
Eric Dobson 2014-05-31 14:25:37 -07:00
parent f222288f1b
commit a5b0975a39
1 changed files with 12 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -104,25 +104,21 @@
;; filter->sexp : Filter -> S-expression
;; Print a Filter (see filter-rep.rkt) to the given port
(define (filter->sexp filt)
(define (name-ref->sexp name-ref)
(if (syntax? name-ref)
(syntax-e name-ref)
name-ref))
(define (path->sexps path)
(if (null? path)
'()
(list (map pathelem->sexp path))))
(match filt
[(FilterSet: thn els) `(,(filter->sexp thn) \| ,(filter->sexp els))]
[(NoFilter:) '-]
[(NotTypeFilter: type (list) (? syntax? id))
`(! ,(type->sexp type) @ ,(syntax-e id))]
[(NotTypeFilter: type (list) id)
`(! ,(type->sexp type) @ ,id)]
[(NotTypeFilter: type path (? syntax? id))
`(! ,(type->sexp type) @ ,(map pathelem->sexp path) ,(syntax-e id))]
[(NotTypeFilter: type path id)
`(! ,(type->sexp type) @ ,(map pathelem->sexp path) ,id)]
[(TypeFilter: type (list) (? syntax? id))
`(,(type->sexp type) @ ,(syntax-e id))]
[(TypeFilter: type (list) id)
`(,(type->sexp type) @ ,id)]
[(TypeFilter: type path (? syntax? id))
`(,(type->sexp type) @ ,(map pathelem->sexp path) ,(syntax-e id))]
[(TypeFilter: type path id)
`(,(type->sexp type) @ ,(map pathelem->sexp path) ,id)]
[(NotTypeFilter: type path nm)
`(! ,(type->sexp type) @ ,@(path->sexps path) ,(name-ref->sexp nm))]
[(TypeFilter: type path nm)
`(,(type->sexp type) @ ,@(path->sexps path) ,(name-ref->sexp nm))]
[(Bot:) 'Bot]
[(Top:) 'Top]
[(ImpFilter: a c)