Remove useless code
This commit is contained in:
parent
9743bced77
commit
4cc18831b4
|
@ -162,19 +162,10 @@ let message loc kind =
|
||||||
|
|
||||||
(** Add wrappers around Modules function to raise errors
|
(** Add wrappers around Modules function to raise errors
|
||||||
and display the correct location. *)
|
and display the correct location. *)
|
||||||
let add_with_error add_fun f v =
|
|
||||||
try add_fun f v
|
|
||||||
with Already_defined -> error (Ealready_defined (fullname f))
|
|
||||||
let find_with_error find_fun f =
|
let find_with_error find_fun f =
|
||||||
try find_fun f
|
try find_fun f
|
||||||
with Not_found -> error (Eundefined(fullname f))
|
with Not_found -> error (Eundefined(fullname f))
|
||||||
|
|
||||||
let add_value = add_with_error add_value
|
|
||||||
let add_type = add_with_error add_type
|
|
||||||
let add_constrs = add_with_error add_constrs
|
|
||||||
let add_field = add_with_error add_field
|
|
||||||
let add_const = add_with_error add_const
|
|
||||||
|
|
||||||
let find_value = find_with_error find_value
|
let find_value = find_with_error find_value
|
||||||
let find_constrs = find_with_error find_constrs
|
let find_constrs = find_with_error find_constrs
|
||||||
let find_field = find_with_error find_field
|
let find_field = find_with_error find_field
|
||||||
|
|
Loading…
Reference in a new issue