Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 9c025527 authored by POTTIER Francois's avatar POTTIER Francois

CHANGES.

parent 49342b61
Pipeline #199645 passed with stages
in 59 seconds
...@@ -6,6 +6,13 @@ ...@@ -6,6 +6,13 @@
mistake. Disallowing it ensures that the `## Concrete syntax:` comments mistake. Disallowing it ensures that the `## Concrete syntax:` comments
generated as part of `.messages` files fit on a single line. generated as part of `.messages` files fit on a single line.
* Internal changes in the expansion of `%inline` symbols, eliminating certain
useless variable renamings that would appear in semantic actions after
expansion.
* Internal changes in the code back-end, eliminating certain useless bindings
of variables to a unit value.
## 2020/12/16 ## 2020/12/16
* The new command line switch `--strategy <strategy>` allows choosing an error * The new command line switch `--strategy <strategy>` allows choosing an error
......
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