pull/10/head
Matthew Butterick 7 years ago
parent f955987e2b
commit 8e405f6287

@ -2,7 +2,7 @@
(module reader br (module reader br
(require "reader.rkt") (require "reader.rkt")
(provide read-syntax get-info) (provide read-syntax get-info)
(define (get-info port mod line col pos) (define (get-info port src-mod src-line src-col src-pos)
(define (handle-query key default) (define (handle-query key default)
(case key (case key
[(color-lexer) [(color-lexer)

Loading…
Cancel
Save