From 1b69e27c44fc26f700bdb73027012c00ecc06965 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 28 Jul 2018 07:15:06 -0700 Subject: [PATCH] activate srclocs in tester --- brag/support.rkt | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/brag/support.rkt b/brag/support.rkt index b25a1fb..648b682 100755 --- a/brag/support.rkt +++ b/brag/support.rkt @@ -60,17 +60,22 @@ (exn:fail:parsing-srclocs instance))) +(define (open-input-string-with-locs str) + (parameterize ([port-count-lines-enabled #t]) + (open-input-string str))) + + (provide (rename-out [apply-port-proc apply-lexer]) apply-port-proc) (define (apply-port-proc proc [val (current-input-port)]) - (for/list ([t (in-port proc (if (string? val) (open-input-string val) val))]) + (for/list ([t (in-port proc (if (string? val) (open-input-string-with-locs val) val))]) t)) (provide apply-tokenizer-maker (rename-out [apply-tokenizer-maker apply-tokenizer])) (define (apply-tokenizer-maker tokenize [in (current-input-port)]) (define input-port (if (string? in) - (open-input-string in) + (open-input-string-with-locs in) in)) (define token-producer (tokenize input-port)) (for/list ([token (in-producer token-producer (λ(tok)