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

Deletes dead code

Browse Source
This commit is contained in:
Casey Klein 2011-07-22 17:33:47 -05:00
parent 7898018cad
commit 6e38233286
1 changed files with 1 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/redex/private/reduction-semantics.rkt
View File

@ -1384,21 +1384,7 @@
(syntax defs)))
'disappeared-use
(map syntax-local-introduce
(syntax->list #'(original-names ...)))))))))))))))]
[(_ prev-metafunction name lang clauses ...)
(begin
(unless (identifier? #'name)
(raise-syntax-error 'define-metafunction "expected the name of a language" stx #'name))
(unless (identifier? #'lang)
(raise-syntax-error 'define-metafunction "expected the name of a language" stx #'lang))
(for-each
(λ (clause)
(syntax-case clause ()
[(a b) (void)]
[else
(raise-syntax-error 'define-metafunction "expected a lhs and rhs clause" stx clause)]))
(syntax->list (syntax (clauses ...))))
(raise-syntax-error 'define-metafunction "missing error check for bad syntax" stx))]))
(syntax->list #'(original-names ...)))))))))))))))]))
(define (defined-name declared-name clauses orig-stx)
(with-syntax ([(((used-names _ ...) _ ...) ...) clauses])