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

fix a bug where cover+tests could call syntax-local-introduce when not transforming

Browse Source 
Closes #204.
This commit is contained in:
Spencer Florence 2015-09-26 11:33:28 -05:00 committed by Sam Tobin-Hochstadt
parent 6cbd6d872f
commit e0cbc15625
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
typed-racket-lib/typed-racket/private/parse-type.rkt
View File

@ -597,7 +597,8 @@
(when (current-referenced-aliases)
(define alias-box (current-referenced-aliases))
(set-box! alias-box (cons #'id (unbox alias-box))))
(add-disappeared-use (syntax-local-introduce #'id))
(and (syntax-transforming?)
(add-disappeared-use (syntax-local-introduce #'id)))
t)]
[else
(parse-error #:delayed? #t (~a "type name `" (syntax-e #'id) "' is unbound"))

3
typed-racket-lib/typed-racket/utils/literal-syntax-class.rkt
View File

@ -39,4 +39,5 @@
#:commit
#:literal-sets ([literal-set])
(pattern (~and op (~or pattern-literals ...))
#:do [(add-disappeared-use (syntax-local-introduce #'op))]))))))
#:do [(and (syntax-transforming?)
(add-disappeared-use (syntax-local-introduce #'op)))]))))))