Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
9709a697
Commit
9709a697
authored
Jun 12, 2020
by
POTTIER Francois
Browse files
TODO.
parent
0f9dc265
Pipeline
#151097
passed with stages
in 25 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
9709a697
...
...
@@ -198,9 +198,6 @@
nom de fichier; d'après Damien, il devrait suffire que la phrase après
les deux points ne commence pas par un nombre.
* si une variable est inutilisée dans une action sémantique, le
warning est affiché dans le code produit.
* BUG: solving a shift/reduce conflict in favor of reduction can
cut a path that was required in order to explain another conflict.
(see e.g. belloeil.mly) (et le reduced_parser.mly d'Adrien Guatto)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment