From 4864d0035e4c77cb72d177266c92cd2962241d1a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 30 Sep 2015 19:30:35 +0200
Subject: [PATCH] TODO item.

---
 TODO | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/TODO b/TODO
index 7fe45577..b216e42b 100644
--- a/TODO
+++ b/TODO
@@ -13,6 +13,11 @@
     correlate with star size and alphabet size, etc.
     create separate graphs for 3 modes: --lalr, pager, --canonical
   Could --interpret-error obey --trace?
+  Auto-comment: show the shape of the stack (invariant).
+  Idea: allow the user to make assertions about
+    the known shape of the stack,
+    the known lhs of all items in the state,
+    the possible continuations...?
 
 * Dans les avantages de Menhir versus ocamlyacc (dans la doc et
   sur la page Web), ajouter le back-end Coq, l'API incrémentale
-- 
2.22.0