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
0a0b1698
Commit
0a0b1698
authored
Nov 21, 2020
by
POTTIER Francois
Browse files
TODO.
parent
83670985
Pipeline
#188805
passed with stages
in 1 minute and 59 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
TODO-NOT!
View file @
0a0b1698
...
...
@@ -44,10 +44,6 @@ for now.
* Incompatibility with ocamlyacc: Menhir discards the lookahead token when
entering error mode, whereas ocamlyacc doesn't. (Reported by Frédéric Bour.)
* Look into the format of Bison's tables, and see if we could produce such
tables upon demand. This could hopefully / possibly be implemented outside
Menhir using the .cmly API.
* Implement $0, $-1, etc.
(Along the lines of Bison. They are a potentially dangerous feature, as
they allow peeking into the stack, which requires the shape of the stack
...
...
@@ -85,8 +81,8 @@ for now.
* Since the table back-end does not use the module Invariant,
it should be possible to save time, in --table mode,
by not running the analysis in Invariant.
That would require making Invariant a functor
,
and calling it inside CodeBackend, CoqBackend
, and Interpret (complicated)
.
That would require making Invariant a functor
and calling it inside CodeBackend, CoqBackend.
Or perhaps just running the computation on demand (using lazy)
but that makes timing more difficult.
...
...
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