suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

regexp: fix matching on port given prefix bytes

Browse Source
This commit is contained in:
Matthew Flatt 2019-01-16 18:23:57 -07:00
parent 2840347cb8
commit b19671f0f5
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
racket/src/regexp/demo.rkt
View File

@ -32,6 +32,14 @@
(let ([is (open-input-string "barfoo")])
(test (list (rx:regexp-match "foo" is 0 3) (read-char is)) '(#f #\f)))
;; Don't consume bytes that corresponds to a prefix:
(let ()
(define in (open-input-string "a\nb\nc\n"))
(define rx:.n (rx:byte-regexp #"(?m:^.\n)"))
(test (rx:regexp-match rx:.n in 0 #f #f #"") '(#"a\n"))
(test (rx:regexp-match rx:.n in 0 #f #f #"\n") '(#"b\n"))
(test (rx:regexp-match rx:.n in 0 #f #f #"\n") '(#"c\n")))
;; ----------------------------------------
(define (check rx in N [M (max 1 (quotient N 10))])

2
racket/src/regexp/match/main.rkt
View File

@ -307,7 +307,7 @@
;; Flush bytes before match:
(lazy-bytes-advance! lb-in ms-pos #t)
;; Consume bytes that correspond to match:
(copy-port-bytes port-in #f me-pos))]
(copy-port-bytes port-in #f (- me-pos prefix-len)))]
[(eq? end-pos 'eof)
;; copy all remaining bytes from input to output
(copy-port-bytes port-in out #f)]