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
befe0f17
Commit
befe0f17
authored
Oct 23, 2015
by
POTTIER Francois
Browse files
Removed a few TODO items.
parent
b42588ab
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
befe0f17
...
...
@@ -94,10 +94,6 @@
--ocamldep "ocamldep -modules" and work from there (which is
what ocamlbuild does).
* Confirm and understand why the code back-end slows down by 50%
between 4.01.0 and 4.02.1. Use the tag last309 for this purpose,
or the master branch.
* Suite des patchs de Frédéric Bour.
API d'inspection complète.
Documenter loop_handle_undo, loop_test, acceptable.
...
...
@@ -110,14 +106,6 @@
Need a way of feeding the parser a nonterminal symbol.
Or a way of applying a semantic action to a vector of semantic values.
* Meilleurs messages d'erreur de syntaxe.
Revenir en arrière après une erreur, car l'erreur
n'est détectée qu'après quelques réductions. Une fois que l'on est
revenu, on peut examiner les items de l'état courant et donner des
positions de début d'item qui devraient être intéressantes.
Possibilité de coloriser ce qu'on a lu en indiquant ce qu'on a compris
(sortie HTML).
* Test and document --lalr (maybe). Explain that it is (probably)
incompatible in principle with --explain. Modify the code to fail
gracefully when the problem arises.
...
...
@@ -295,7 +283,3 @@
fichier .ml engendré. Et ça résoudrait le problème du cas
où on n'utilise que $startpos(v) et pas v.
* Il faudrait activer le warning qui recommande d'utiliser --infer
dès que la librairie standard est utilisée (et pas seulement lorsque
%inline est utilisé).
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