Commit 6cf4df37 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Comments and TODO update.

parent c4284a6f
* Introduce a submodule Incremental for the incremental entry
points. Clean up IL to make it more general.
* document that --depend may produce inaccurate dependencies
for parser.cmi and that it is recommended to use --raw-depend
--ocamldep "ocamldep -modules" and work from there (which is
......@@ -11,11 +14,12 @@
(they need --external-tokens and --only-tokens)
Then, one could remove Makefile.shared and ocamldep.wrapper.
* Document the Coq back-end (Jacques-Henri?)
* Suite des patchs de Frédéric Bour.
Exposer aussi les réductions (Gabriel).
Ça peut servir à 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.
* Clarifier si ocamlbuild doit recevoir -use-ocamlfind, -no-ocamlfind,
ou rien; tester en particulier sous Windows?
......@@ -35,7 +35,10 @@ let result t =
(* The name of the incremental entry point for the start symbol [symbol]. *)
let incremental symbol =
Misc.normalize symbol ^ "_incremental" (* TEMPORARY better idea? *)
(* This convention is not great. A name clash with a non-incremental
entry point is possible if there exists a nonterminal symbol whose name
ends with [_incremental]. It would be preferable to introduce a sub-module. *)
Misc.normalize symbol ^ "_incremental"
(* The type of the incremental entry point for the start symbol [symbol]. *)
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