Commit 4f22ba0e authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Remove the undocumented flag --follow-construction.

It almost did not have any effect any more, anyway.
It should have been removed when the construction algorithm
was re-implemented from scratch.
parent 972257ce
......@@ -616,9 +616,8 @@ let out =
let dump_node out node =
Printf.fprintf out "State %d%s:\n%s"
Printf.fprintf out "State %d:\n%s"
(number node)
(if Settings.follow then Printf.sprintf " (r%d)" (raw node) else "")
(Lr0.print "" (state node));
SymbolMap.iter (fun symbol node ->
......
......@@ -68,9 +68,6 @@ let base =
let dump =
ref false
let follow =
ref false
let graph =
ref false
......@@ -309,7 +306,6 @@ let options = Arg.align [
"--explain", Arg.Set explain, " Explain conflicts in <basename>.conflicts";
"--external-tokens", Arg.String codeonly, "<module> Import token type definition from <module>";
"--fixed-exception", Arg.Set fixedexc, " Declares Error = Parsing.Parse_error";
"--follow-construction", Arg.Set follow, " (undocumented)";
"--graph", Arg.Set graph, " Write a dependency graph to a .dot file";
"--infer", Arg.Unit enable_infer, " Invoke ocamlc to do type inference";
"--infer-protocol-supported", Arg.Unit (fun () -> exit 0), " Stop with exit code 0";
......@@ -455,9 +451,6 @@ let explain =
let dump =
!dump
let follow =
!follow
let graph =
!graph
......
......@@ -47,10 +47,6 @@ val explain: bool
val dump: bool
(* Whether the automaton's construction should be explained (very verbose). *)
val follow: bool
(* Whether the grammar's dependence graph should be dumped. *)
val graph: bool
......
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