Include module, function and arity in Dialyzer's "overlapping domain" warnings

The function name can give information that the line number doesn't,
for example when using a parse transform that creates new functions.

1 files changed, 4 insertions, 3 deletions

diff --git a/lib/dialyzer/src/dialyzer.erl b/lib/dialyzer/src/dialyzer.erl
index 63c51e219a..be4b9b6e12 100644
--- a/lib/dialyzer/src/dialyzer.erl
+++ b/lib/dialyzer/src/dialyzer.erl
@@ -409,9 +409,10 @@ message_to_string({extra_range, [M, F, A, ExtraRanges, SigRange]}) ->
   io_lib:format("The specification for ~w:~w/~w states that the function"
 		" might also return ~s but the inferred return is ~s\n",
 		[M, F, A, ExtraRanges, SigRange]);
-message_to_string({overlapping_contract, []}) ->
-  "Overloaded contract has overlapping domains;"
-    " such contracts are currently unsupported and are simply ignored\n";
+message_to_string({overlapping_contract, [M, F, A]}) ->
+  io_lib:format("Overloaded contract for ~w:~w/~w has overlapping domains;"
+		" such contracts are currently unsupported and are simply ignored\n",
+		[M, F, A]);
 message_to_string({spec_missing_fun, [M, F, A]}) ->
   io_lib:format("Contract for function that does not exist: ~w:~w/~w\n",
 		[M, F, A]);