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
3306d160
Commit
3306d160
authored
Jan 04, 2015
by
POTTIER Francois
Browse files
TODO item.
parent
c7a0e8a2
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
3306d160
* Generat
ion: cleanup Interface
.
symbol and xsymbol could be constructed by the library instea
d
o
f being generated?
* Generat
e default printers for terminal and nonterminal
.
Define printers for productions and items, parameterize
d
o
ver printers for terminal and nonterminal.
* IncrementalEngine: document [lr1state], [element], [view].
Document the Inspection interface.
* Define MenhirLib.Stream?
...
...
@@ -23,6 +24,7 @@
API d'inspection complète.
Librairie(s) pour la gestion des erreurs.
Librairie pour la complétion du parsing.
Peut-on faire un noyau de Merlin indépendant de la grammaire?
* Meilleurs messages d'erreur de syntaxe.
Revenir en arrière après une erreur, car l'erreur
...
...
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