From d891c969fca34d1b5ea3a41835d73ec7d067d6eb Mon Sep 17 00:00:00 2001
From: Undecidable Robot <undecidabot@gmail.com>
Date: Mon, 23 May 2016 08:24:11 +0800
Subject: Improving error reporting of unterminated strings and character
 classes

---
 relabel.lua | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

(limited to 'relabel.lua')

diff --git a/relabel.lua b/relabel.lua
index 95129db..170cb66 100644
--- a/relabel.lua
+++ b/relabel.lua
@@ -96,6 +96,13 @@ local ignore = m.Cmt(any, function (input, pos)
   return errfound[#errfound][2], dummy
 end)
 
+local pointAtStart = m.Cmt(any, function (input, pos)
+  local ret = errfound[#errfound][2]
+  errfound[#errfound][2] = pos-1
+  return ret, dummy
+end)
+
+
 local function adderror(message)
   tinsert(errfound, {message})
 end
@@ -254,12 +261,10 @@ end
 local labelset1 = labify {
   "ExpPatt2", "ExpPatt3",
   "ExpNum", "ExpCap", "ExpName1",
-  "MisTerm1", "MisTerm2"
 }
 
 local labelset2 = labify {
-  "MisClose1", "MisClose2", "MisClose3", "MisClose4", "MisClose5",
-  "MisClose7", "MisClose8"
+  "MisClose1", "MisClose2", "MisClose3", "MisClose4", "MisClose5", "MisClose7"
 }
 
 local exp = m.P{ "Exp",
@@ -300,8 +305,9 @@ local exp = m.P{ "Exp",
           )^0, function (a,b,f) return f(a,b) end );
   PrimaryLC = m.Lc(m.V"Primary", ignore, unpack(labelset2));
   Primary = "(" * expect(m.V"Exp", "ExpPatt4") * expect(S * ")", "MisClose1")
-          + String / mm.P
-          + Class
+          + m.Lc(String / mm.P, pointAtStart,
+              labels["MisTerm1"], labels["MisTerm2"])
+          + m.Lc(Class, pointAtStart, labels["MisClose8"])
           + defined
           + "%" * expect(m.V"Labels", "ExpNameOrLab") / mm.T
           + "{:" * (name * ":" + m.Cc(nil)) * expect(m.V"Exp", "ExpPatt5")
-- 
cgit v1.2.3-55-g6feb