Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. 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. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 4fab15d0 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO item.

parent 30b6a0e5
...@@ -8,8 +8,8 @@ ...@@ -8,8 +8,8 @@
- support $endpos($0) in the code back-end - support $endpos($0) in the code back-end
- concrete syntax for $endpos($0), and document it - concrete syntax for $endpos($0), and document it
- document how to translate ocamlyacc positions to Menhir - document how to translate ocamlyacc positions to Menhir
- document the fact that %inline preserves positions - document whether %inline preserves positions
but can REORDER side effects! (the inlined semantic Warn that it can REORDER side effects! (the inlined semantic
action is delayed to the beginning of the host semantic action) action is delayed to the beginning of the host semantic action)
* Simplify Error.logA, etc. by integrating a format argument. * Simplify Error.logA, etc. by integrating a format argument.
......
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