From 6fa7e4e9b9a40512c9160b83dc23d4b61e4e1e9c Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Sun, 14 Jun 2015 00:08:05 +0200 Subject: warn when @ISA / "use base" is used more than once make it a warning instead of dying (needed for Parted bindings) --- src/tree.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/tree.ml b/src/tree.ml index d0faf80..ec312e7 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -205,7 +205,7 @@ let get_uses t = let get_isa t = let get_isa_ isa exporter pos classes = - if isa <> None || exporter <> None then die_with_pos pos "\"use base\" and \"@ISA\" must be used once only"; + if isa <> None || exporter <> None then warn_with_pos [Warn_strange] pos "\"use base\" and \"@ISA\" must be used once only"; let special, l = List.partition (fun (s, _) -> s = "DynaLoader" || s = "Exporter") classes in let exporter = if List.mem_assoc "Exporter" special then Some pos else None in let isa = if l = [] && special <> [] then None else Some l in -- cgit v1.2.1