From 71ab99ed7a62d596edef792df7f836083c22ee5a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Sat, 29 Aug 2015 19:57:44 +0200
Subject: [PATCH] TODO item.

---
 TODO | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/TODO b/TODO
index 4d430b132..bdd17a7fa 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,16 @@
-* Gabriel veut inclure MenhirLib dans le parser engendr�
+* BUG dans ErrorReporting si l'erreur se produit dans l'�tat
+  initial. P�nible que l'API d'inspection ne donne pas acc�s
+  � l'�tat courant lorsque la pile est vide (�tat initial donc).
+  Pourrait-on exposer cet �tat? Polymorphe? incoming_symbol
+  devrait alors produit une option. Et le cas Nil du type
+  stream devrait contenir l'�tat initial...
+  attention, car si on lui applique la fonction items, on va
+  obtenir un item sp�cial S' -> S # qui va poser probl�me.
+  Exposer l'�tat initial avec un type diff�rent lr1initial?
+  De toute fa�on il faudra compliquer la notion de explanation
+  qui ne pourra plus toujours �tre bas�e sur un item...
+
+* Gabriel veut pouvoir inclure MenhirLib dans le parser engendr�
 
 * gros BUG � corriger: il ne faut pas exiger le prochain token
   AVANT une r�duction par d�faut. Il faut suivre ocamlyacc et
-- 
GitLab