|
1234567891011121314151617 |
- #lang br/quicklang
- (require brag/support "tokenizer.rkt")
-
- (define (read-syntax path port)
- (define tokens (apply-tokenizer make-tokenizer port))
- (strip-bindings
- #`(module zybino-tokens-mod zybino/tokenize-only
- #,@tokens)))
-
- (module+ reader
- (provide read-syntax))
-
- (define-macro (tokenize-only-mb TOKEN ...)
- #'(#%module-begin
- (list TOKEN ...)))
-
- (provide (rename-out [tokenize-only-mb #%module-begin]))
|