Commit 89f13e9e by POTTIER Francois

Removed [compare_words] from the inspection API.

parent 0df79435
......@@ -163,7 +163,6 @@ module type INSPECTION = sig
val compare_terminals: _ terminal -> _ terminal -> int
val compare_nonterminals: _ nonterminal -> _ nonterminal -> int
val compare_symbols: xsymbol -> xsymbol -> int
val compare_words: xsymbol list -> xsymbol list -> int
val compare_productions: production -> production -> int
val compare_items: item -> item -> int
......
......@@ -101,9 +101,6 @@ module Make
| X (N nt1), X (N nt2) ->
compare_nonterminals nt1 nt2
let compare_words w1 w2 =
General.compare compare_symbols w1 w2
let compare_productions prod1 prod2 =
(* Subtraction is safe because overflow is impossible. *)
prod1 - prod2
......
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