Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Commit 91845037 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Added a TODO note.

parent cceb53b0
......@@ -3,6 +3,12 @@
bison. Réfléchir... et corriger les deux back-ends. Attention
toutefois, c'est un changement incompatible. Option de ligne
de commande?
Il faut aussi revisiter la notion de conflit end-of-stream.
- si réduction par défaut, alors pas de conflit possible!
- si conflit, alors pourquoi on le résoud en éliminant la
réduction sur #? on pourrait faire aussi le choix opposé,
à savoir éliminer toutes les autres actions. Que fait
ocamlyacc?
* autoriser %token FOO "foo"
pour pouvoir afficher les tokens sous forme plus lisible
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment