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

Fixed uses of free-identifier=? guards

Browse Source 
free-identifier=? expects, contrary to documentation, a syntax?, causing
contract errors. (and (identifier? ...) ...) solves this.

[Since the function is called only on fully expanded forms, it doesn't
 look like the `identifier?` tests can ever fail, but it still seems
 sensible to have them. -Matthew]
This commit is contained in:
William J. Bowman 2014-01-13 19:52:07 -05:00 committed by Matthew Flatt
parent 61d717fd07
commit b76b2aa638
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/errortrace-pkgs/errortrace-lib/errortrace/private/utils.rkt
View File

@ -8,13 +8,13 @@
(define ((count-meta-levels phase) expr)
(syntax-case expr ()
[(bfs . exprs)
(free-identifier=? #'bfs #'begin-for-syntax phase base)
(and (identifier? #'bfs) (free-identifier=? #'bfs #'begin-for-syntax phase base))
(add1 (apply max 0 (map (count-meta-levels (add1 phase)) (syntax->list #'exprs))))]
[(ds . _)
(free-identifier=? #'ds #'define-syntaxes phase base)
(and (identifier? #'ds) (free-identifier=? #'ds #'define-syntaxes phase base))
1]
[(b . exprs)
(free-identifier=? #'b #'begin phase base)
(and (identifier? #'b) (free-identifier=? #'b #'begin phase base))
(apply max 0 (map (count-meta-levels phase) (syntax->list #'exprs)))]
[_ 0]))
@ -23,7 +23,7 @@
(syntax-shift-phase-level
(let loop ([meta-depth meta-depth])
(let ([e ((make-syntax-introducer)
#`(#%require (for-meta #,meta-depth
#`(#%require (for-meta #,meta-depth
errortrace/errortrace-key)))])
(if (zero? meta-depth)
e