|
123456789101112131415161718192021 |
- #lang racket/base
-
- (require "parser.rkt" "tokenizer.rkt")
- (require syntax/strip-context)
-
- (module+ reader
- (provide read-syntax get-info))
-
- (define (read-syntax path port)
- (define parse-tree (parse path (make-tokenizer port path)))
- (strip-context
- #`(module zybino-mod zybino/expander
- #,parse-tree)))
-
- (define (get-info port src-mod src-line src-col src-pos)
- (define (handle-query key default)
- (case key
- [(colour-lexer)
- (dynamic-require 'zybino/colourer 'zybino-colourer)]
- [else default]))
- handle-query)
|