Remove unused function.
This commit is contained in:
parent
e8f80d70b8
commit
4f625619de
|
@ -78,19 +78,6 @@ module Env = struct
|
|||
with Not_found ->
|
||||
raise (DeclarationNotFound (Type tid))
|
||||
|
||||
let label_index { labels_descr ; _ } l =
|
||||
let combine i ldescr = (i, ldescr.label_name) in
|
||||
let indexed_labels = List.mapi combine labels_descr in
|
||||
let (_, index) =
|
||||
try
|
||||
List.find (fun (_, l') -> l = l') indexed_labels
|
||||
with Not_found ->
|
||||
raise (LabelNotFound l)
|
||||
in
|
||||
index
|
||||
|
||||
let () = ignore label_index
|
||||
|
||||
let map (type b1 b2 t1 t2)
|
||||
(f : (b1, t1) decl -> (b2, t2) decl)
|
||||
(env : (b1, t1) t) : (b2, t2) t
|
||||
|
|
Loading…
Reference in New Issue