2 files changed, 21 insertions, 4 deletions

diff --git a/lptree.c b/lptree.c
index c59f443..2044a5c 100644
--- a/lptree.c
+++ b/lptree.c
@@ -1089,7 +1089,7 @@ static int verifyrule (lua_State *L, TTree *tree, int *passed, int npassed,
         return nb;
       /* else return verifyrule(L, sib2(tree), passed, npassed, nb); */
       tree = sib2(tree); goto tailcall;
-    case TChoice: case TLabChoice:  /* must check both children */  /* labeled failure */
+    case TChoice: case TLabChoice: case TRecov: /* must check both children */  /* labeled failure */
       nb = verifyrule(L, sib1(tree), passed, npassed, nb);
       /* return verifyrule(L, sib2(tree), passed, npassed, nb); */
       tree = sib2(tree); goto tailcall;
diff --git a/testlabel.lua b/testlabel.lua
index 6ae184f..2243826 100644
--- a/testlabel.lua
+++ b/testlabel.lua
@@ -566,12 +566,29 @@ checkeqlab({nil, 3, "a"}, p:match("a"))
 checkeqlab({nil, 3, "b"}, p:match("b"))
 
 p = m.Rec(m.T(3), "b", 3) 
-p:pcode()
 checkeqlab({nil, 0, "a"}, p:match("a"))
 assert(p:match("b") == 2)
 
+--[[
+S -> (A //{fail} (!c .)*) C
+A -> a*b 
+C -> c+
+]]
+g = m.P{
+        "S",
+        S = m.Rec(m.V"A", (-m.P"c" * m.P(1))^0) * m.V"C",
+        A = m.P"a"^0 * "b",
+        C = m.P"c"^1,
+}
 
-print("OK")
-
+assert(g:match("abc") == 4)
+assert(g:match("aabc") == 5)
+assert(g:match("aadc") == 5)
+assert(g:match("bc") == 3)
+checkeqlab({nil, 0, "bc"}, g:match("bbc"))
+assert(g:match("xxc") == 4)
+assert(g:match("c") == 2)
+checkeqlab({nil, 0, ""}, g:match("fail"))
 
+print("OK")