Skip to content
GitLab
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
dfc741fa
Commit
dfc741fa
authored
May 15, 2017
by
POTTIER Francois
Browse files
TODO.
parent
8ea4792f
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
dfc741fa
...
...
@@ -102,6 +102,11 @@
in the stack (instead of imposing a pair of locations, $startpos and $endpos)
and to choose how intervals are combined.
* allow a rule of the form "foo = bar" as sugar for "foo: bar { $1 }"?
* write a specialized version of PackedIntArray.get to the .ml file,
for added performance. (Suggested by Frédéric Bour.)
* On pourrait rendre moins restrictif le critère qui garantit la terminaison
de l'expansion des non-terminaux paramétrés. Il suffirait de vérifier que
les paramètres effectifs sont toujours des atomes (symboles terminaux ou
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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