Commit 9810af7e authored by POTTIER Francois's avatar POTTIER Francois

Removed a piece of dead code.

parent 05e71dde
......@@ -10,24 +10,8 @@ type 'a color =
| BeingExpanded
| Expanded of 'a
(* [id2index] and [index2id] convert both ways between a 0-based index
(into a list of producers) and an identifier (the name of the producer). *)
(* TEMPORARY unneeded?
let rec id2index accu producers x =
match producers with
| [] ->
assert false (* should not happen *)
| (_, y) :: producers ->
if x = y then begin
accu
end
else
id2index (accu + 1) producers x
let id2index producers x =
id2index 0 producers x
*)
(* [index2id] converts a 0-based index (into a list of producers) to
an identifier (the name of the producer). *)
let index2id producers i =
try
......
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