From 865f1e9f85d52c41d9c26463d65d0d6be008404f Mon Sep 17 00:00:00 2001
From: Akim Demaille <demaille@gostai.com>
Date: Fri, 29 Aug 2008 20:11:22 +0200
Subject: [PATCH] TODO: YYPRINT.

	* TODO (YYPRINT): New.
---
 ChangeLog | 5 +++++
 TODO      | 7 +++++++
 2 files changed, 12 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 55d9b10b..8abd8ce8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-11-13  Akim Demaille  <demaille@gostai.com>
+
+	TODO: YYPRINT.
+	* TODO (YYPRINT): New.
+
 2008-11-13  Akim Demaille  <demaille@gostai.com>
 
 	Comment changes.
diff --git a/TODO b/TODO
index 9dbd6b42..0a4aef40 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,13 @@
 -*- outline -*-
 
 * Various
+** YYPRINT
+glr.c inherits its symbol_print function from c.m4, which supports
+YYPRINT.  But to use YYPRINT yytoknum is needed, which not defined by
+glr.c.
+
+Anyway, IMHO YYPRINT is obsolete and should be restricted to yacc.c.
+
 ** YYERRCODE
 Defined to 256, but not used, not documented.  Probably the token
 number for the error token, which POSIX wants to be 256, but which
-- 
2.47.2