From f7f2c99c289cb5f6eadd6b3b212fbe02abcf208a Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 22 Feb 2020 21:36:41 +0100
Subject: [PATCH] gram: more debugging information

* src/gram.c (ritem_print): Show indices in ritem.
---
 src/gram.c | 19 +++++++++++++++----
 1 file changed, 15 insertions(+), 4 deletions(-)

diff --git a/src/gram.c b/src/gram.c
index cc5e54b5..58f62700 100644
--- a/src/gram.c
+++ b/src/gram.c
@@ -155,11 +155,22 @@ void
 ritem_print (FILE *out)
 {
   fputs ("RITEM\n", out);
+  bool first = true;
   for (int i = 0; i < nritems; ++i)
-    if (ritem[i] >= 0)
-      fprintf (out, "  %s", symbols[ritem[i]]->tag);
-    else
-      fprintf (out, "  (rule %d)\n", item_number_as_rule_number (ritem[i]));
+    {
+      if (first)
+        {
+          fprintf (out, "  %d: ", i);
+          first = false;
+        }
+      if (ritem[i] >= 0)
+        fprintf (out, "  %s", symbols[ritem[i]]->tag);
+      else
+        {
+          fprintf (out, "  (rule %d)\n", item_number_as_rule_number (ritem[i]));
+          first = true;
+        }
+    }
   fputs ("\n\n", out);
 }