Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
3dff9b90
Commit
3dff9b90
authored
Feb 02, 2015
by
POTTIER Francois
Browse files
TODO update.
parent
a3b36a7c
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
3dff9b90
...
...
@@ -2,10 +2,16 @@
so as to reduce the noise (e.g. operators, expressions,
etc.). Or just print the same way, but don't quotient
internally, as the locations are not the same.
Think about HTML output with mouse-over.
Also, sort the explanations by a certain measure of
complexity. E.g., those that go back to a "higher" non-terminal
symbol should be preferred.
symbol should be preferred. Or those that go back further away
in the buffer?
Think about HTML output with mouse-over. Or mouse-click.
Find a way of solving the scrolling problems.
<pre> and <table> side by side, each with its scroll bar,
would be nice.
* Add left-recursive lists to the standard library.
...
...
@@ -139,6 +145,12 @@
* tirer au clair la sémantique des $startpos/$endpos sur les
non-terminaux. Vérifier que %inline la préserve.
Est-il vrai que l'élimination de %inline change la signification
de $startpos et $endpos (qui devient relative à la nouvelle règle)?
* %inline pourrait-il fonctionner quand la règle à inliner utilise des $i?
* %inline pourrait-il fonctionner quand les productions à inliner ont un %prec?
(ça aurait un sens au moins quand on inline dans une production unité?)
* BUG: solving a shift/reduce conflict in favor of reduction can
cut a path that was required in order to explain another conflict.
...
...
@@ -156,9 +168,6 @@
ete supprimees par resolution de conflits. Afficher aussi les
réductions par défaut?
* BUG: l'élimination de %inline change la signification de $startpos
et $endpos (qui devient relative à la nouvelle règle)
* expliquer aussi les conflits end-of-stream
* Documenter l'emploi d'ocamlbuild et décourager make/omake.
...
...
Write
Preview
Markdown
is supported
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