TODO.

bd369c17 · POTTIER Francois · 6d0a997c · bd369c17
Commit bd369c17 authored Oct 06, 2018 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

TODO TODO +2 -0

No files found.
--- a/TODO
+++ b/TODO
 * Set up continuous integration (ci.inria.fr)...
+  Check that Menhir builds (and the test pass)
+  with multiple versions of OCaml.

 * Add an --auto-inline pass, which marks certain symbols %inline according
  to a well-defined strategy. E.g.,