expander flattener: recognize gensym

An unreferenced call to `gensym` can be discarded.
This commit is contained in:
Matthew Flatt 2018-03-27 20:04:25 -06:00
parent 5fadcb38b8
commit 330bb2cfb8
2 changed files with 17855 additions and 17642 deletions

View File

@ -70,6 +70,14 @@
[(make-struct-type-property)
(and (ok-make-struct-type-property? e defns)
3)]
[(gensym)
(define-correlated-match m e #:try '(gs (quot datum)))
(and (or (and (m)
(eq? 'quote (m 'quot))
(or (symbol? (m 'datum))
(string? (m 'datum))))
(null? (cdr (correlated-e e))))
1)]
[(if)
(define-correlated-match m e #:try '(_ (id:rator id:arg) thn els))
(cond

File diff suppressed because it is too large Load Diff