Commit 7da74189 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent 592f7443
* allow a rule of the form "foo == bar" as sugar for "foo: bar { $1 }"?
(Allow parameters. Allow several alternatives on the right-hand side,
as long as each alternative has length 1.)
* Switch to a semantic versioning scheme?
* Send CompCert pull request using the new API (current_state_number)
......@@ -104,8 +108,6 @@
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.)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment