Use current-readtable as the base for the TR readtable.
Closes PR 1115.
This commit is contained in:
parent
f1e38247e0
commit
72f31ffec0
9
collects/tests/typed-scheme/succeed/at-exp.rkt
Normal file
9
collects/tests/typed-scheme/succeed/at-exp.rkt
Normal file
|
@ -0,0 +1,9 @@
|
|||
|
||||
#lang at-exp typed/racket
|
||||
|
||||
(define contents
|
||||
(lambda args args))
|
||||
|
||||
(define doc @contents{x y})
|
||||
|
||||
@contents{x y}
|
|
@ -14,5 +14,5 @@
|
|||
(require (for-syntax typed-scheme/utils/tc-utils scheme/base))
|
||||
(begin-for-syntax (set-box! typed-context? #t)))
|
||||
(current-namespace))
|
||||
(current-readtable readtable))
|
||||
(current-readtable (readtable)))
|
||||
|
||||
|
|
|
@ -72,15 +72,15 @@
|
|||
(let-values ([(l c p) (port-next-location port)])
|
||||
(list src line col pos (and pos (- p pos)))))]))
|
||||
|
||||
(define readtable
|
||||
(make-readtable #f #\{ 'dispatch-macro parse-id-type))
|
||||
(define (readtable)
|
||||
(make-readtable (current-readtable) #\{ 'dispatch-macro parse-id-type))
|
||||
|
||||
(define (*read inp)
|
||||
(parameterize ([current-readtable readtable])
|
||||
(parameterize ([current-readtable (readtable)])
|
||||
(read inp)))
|
||||
|
||||
(define (*read-syntax src port)
|
||||
(parameterize ([current-readtable readtable])
|
||||
(parameterize ([current-readtable (readtable)])
|
||||
(read-syntax src port)))
|
||||
|
||||
(provide readtable (rename-out [*read read] [*read-syntax read-syntax]))
|
||||
|
|
Loading…
Reference in New Issue
Block a user