#lang br/quicklang (require "parser.rkt" "tokenizer.rkt") (module+ reader (provide read-syntax get-info)) (define (read-syntax path port) (define parse-tree (parse path (make-tokenizer port path))) (strip-bindings #`(module basic-mod basic-demo-2/expander #,parse-tree))) (define (get-info port src-mod src-line src-col src-pos) (define (handle-query key default) (case key [(color-lexer) (dynamic-require 'basic-demo-2/colorer 'basic-colorer)] [else default])) handle-query)