From ada6b8c5d19093c455d57fb11746a8543e3c8de2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 27 Feb 2018 05:46:59 -0700 Subject: [PATCH] reader: handle port whose position moves backwards --- racket/src/expander/read/config.rkt | 2 +- racket/src/racket/src/startup.inc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/racket/src/expander/read/config.rkt b/racket/src/expander/read/config.rkt index c82263fa0d..acb23dd1c9 100644 --- a/racket/src/expander/read/config.rkt +++ b/racket/src/expander/read/config.rkt @@ -101,7 +101,7 @@ (read-config-line config) (read-config-col config) (read-config-pos config) - (and (read-config-pos config) end-pos (- end-pos (read-config-pos config))))) + (and (read-config-pos config) end-pos (max 0 (- end-pos (read-config-pos config)))))) (define (reading-at config line col pos) (struct*-copy read-config config diff --git a/racket/src/racket/src/startup.inc b/racket/src/racket/src/startup.inc index 53337d783e..f69ab02a36 100644 --- a/racket/src/racket/src/startup.inc +++ b/racket/src/racket/src/startup.inc @@ -46105,7 +46105,7 @@ static const char *startup_source = "(read-config-line config_1)" "(read-config-col config_1)" "(read-config-pos config_1)" -"(if(read-config-pos config_1)(if end-pos_0(- end-pos_0(read-config-pos config_1)) #f) #f))))))" +"(if(read-config-pos config_1)(if end-pos_0(max 0(- end-pos_0(read-config-pos config_1))) #f) #f))))))" "(define-values" "(reading-at)" "(lambda(config_2 line_2 col_1 pos_105)"