From 4735648c740568aa3612b894831d8dabd7cf580b Mon Sep 17 00:00:00 2001
From: "Sven M. Hallberg" <pesco@khjk.org>
Date: Thu, 20 Feb 2020 13:34:14 +0100
Subject: [PATCH] drop a note about GLR mishandling ambiguities (I think?)
---
src/backends/glr.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/backends/glr.c b/src/backends/glr.c
index 44b0c50..ea69ea3 100644
--- a/src/backends/glr.c
+++ b/src/backends/glr.c
@@ -225,6 +225,8 @@ HParseResult *h_glr_parse(HAllocator* mm__, const HParser* parser, HInputStream*
HLREngine *engine = h_slist_pop(engines);
const HLRAction *action = h_lrengine_action(engine);
glr_step(&result, engback, engine, action);
+ // XXX detect ambiguous results - two engines terminating at the same pos
+ // -> kill both engines, i.e. ignore if there is a later unamb. success
}
// swap the lists
--
GitLab