Consolidated TODO item, and updated comment.

TODO

@@ -207,9 +207,11 @@
     (ça aurait un sens au moins quand on inline dans une production unité?)
     (ou plus généralement quand on inline en dernière position?)
 
-* BUG: l'avertissement comme quoi une directive %prec ne sert à rien est faux
-  dans le cas où cette directive a été dupliquée (par expansion des non-terminaux
-  paramétrés) et une copie, mais pas toutes, ne sert à rien.
+* BUG (message de Valentin Gatien-Baron du 09/01/2010): l'avertissement comme
+  quoi une directive %prec ne sert à rien est faux dans le cas où cette
+  directive a été dupliquée (par expansion des non-terminaux paramétrés ou par
+  %inline quand la production hôte porte un %prec) et une copie, mais pas
+  toutes, ne sert à rien.
 
 * Reconnaître les directives # n "foo" dans le fichier .mly et en tenir
   compte dans les locations.
@@ -219,9 +221,6 @@
   passer sous silence les conflits qui ont lieu dans une partie inaccessible
   de l'automate?
 
-* BUG: message de Valentin Gatien-Baron du 09/01/2010: le warning erroné à
-  propos d'un %prec inutile peut-il être évité?
-
 * Implémenter un test de détection de boucles. Si la grammaire contient une
   boucle, elle est infiniment ambiguë. Pour le test, calculer tous les
   nullables, ajouter une production unité A -> B dès qu'il existe une

src/grammar.ml

@@ -1505,12 +1505,13 @@ module Precedence = struct
     | Gt -> 
 	Some prod2
     | Eq -> 
-	(* The order is strict except in the presence of parameterized non-terminals.
-	   Two productions can have the same precedence level if they originate, via
-           macro-expansion, from a single production in the source grammar. *)
-	None
+        (* The order is strict except in the presence of parameterized
+           non-terminals and/or inlining. Two productions can have the same
+           precedence level if they originate, via macro-expansion or via
+           inlining, from a single production in the source grammar. *)
+        None
     | Ic -> 
-	None
+        None
 
 end