-
POTTIER Francois authored
Updated the lexer accordingly. This has the benefit that a type error in a trailer will be correctly located in the .mly file. Until now, it wasn't.
4092ee73
Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.
Updated the lexer accordingly. This has the benefit that a type error in a trailer will be correctly located in the .mly file. Until now, it wasn't.