29 lines
838 B
Diff
29 lines
838 B
Diff
From 3967bad790cc9d886a5a4cfa5f2e4183ddf383d3 Mon Sep 17 00:00:00 2001
|
|
From: Chet Murthy <chetsky@gmail.com>
|
|
Date: Tue, 24 Mar 2020 20:14:38 -0700
|
|
Subject: [PATCH 02/10] fix raw-string lexing bug
|
|
|
|
---
|
|
lib/plexer.ml | 5 ++++-
|
|
1 file changed, 4 insertions(+), 1 deletion(-)
|
|
|
|
diff --git a/lib/plexer.ml b/lib/plexer.ml
|
|
index 2b179c34..591cc1e6 100644
|
|
--- a/lib/plexer.ml
|
|
+++ b/lib/plexer.ml
|
|
@@ -391,7 +391,10 @@ value rec rawstring1 (ofs, delim) ctx buf =
|
|
ctx.line_cnt bp c;
|
|
let buf = $add c in
|
|
if String.get delim ofs <> c then
|
|
- rawstring1 (0, delim) ctx buf strm
|
|
+ if String.get delim 0 = c then
|
|
+ rawstring1 (1, delim) ctx buf strm
|
|
+ else
|
|
+ rawstring1 (0, delim) ctx buf strm
|
|
else if ofs+1 < String.length delim then
|
|
rawstring1 (ofs+1, delim) ctx buf strm
|
|
else
|
|
--
|
|
2.24.1
|
|
|