File 5084-dialyzer-change-message-of-overlapping-con... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 5084-dialyzer-change-message-of-overlapping-contracts.patch of Package erlang

From 8c7defeeac3d27d46b7143a36f4049a8ec52b139 Mon Sep 17 00:00:00 2001
From: Kiko Fernandez-Reyes <kiko@erlang.org>
Date: Thu, 29 Dec 2022 16:16:00 +0100
Subject: [PATCH 4/4] dialyzer: change message of overlapping contracts

---
 lib/dialyzer/src/dialyzer.erl                                 | 2 +-
 lib/dialyzer/test/indent_SUITE_data/results/contract3         | 4 ++--
 .../results/overlapping_contract                              | 2 +-
 lib/dialyzer/test/small_SUITE_data/results/contract3          | 4 ++--
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/lib/dialyzer/src/dialyzer.erl b/lib/dialyzer/src/dialyzer.erl
index 04335334aa..f4f323daeb 100644
--- a/lib/dialyzer/src/dialyzer.erl
+++ b/lib/dialyzer/src/dialyzer.erl
@@ -542,7 +542,7 @@ message_to_string({missing_range, [M, F, A, ExtraRanges, ContrRange]}, I, _E) ->
 		[M, F, A, t(ExtraRanges, I), t(ContrRange, I)]);
 message_to_string({overlapping_contract, [M, F, A]}, _I, _E) ->
   io_lib:format("Overloaded contract for ~w:~tw/~w has overlapping domains;"
-		" such contracts are currently unsupported and are simply ignored\n",
+		" such contracts cannot establish a dependency between the overloaded input and output types\n",
 		[M, F, A]);
 message_to_string({spec_missing_fun, [M, F, A]}, _I, _E) ->
   io_lib:format("Contract for function that does not exist: ~w:~tw/~w\n",
diff --git a/lib/dialyzer/test/indent_SUITE_data/results/contract3 b/lib/dialyzer/test/indent_SUITE_data/results/contract3
index b290f232a2..117801ff14 100644
--- a/lib/dialyzer/test/indent_SUITE_data/results/contract3
+++ b/lib/dialyzer/test/indent_SUITE_data/results/contract3
@@ -1,3 +1,3 @@
 
-contract3.erl:17:2: Overloaded contract for contract3:t1/1 has overlapping domains; such contracts are currently unsupported and are simply ignored
-contract3.erl:29:2: Overloaded contract for contract3:t3/3 has overlapping domains; such contracts are currently unsupported and are simply ignored
+contract3.erl:17:2: Overloaded contract for contract3:t1/1 has overlapping domains; such contracts cannot establish a dependency between the overloaded input and output types
+contract3.erl:29:2: Overloaded contract for contract3:t3/3 has overlapping domains; such contracts cannot establish a dependency between the overloaded input and output types
diff --git a/lib/dialyzer/test/overlapping_contract_SUITE_data/results/overlapping_contract b/lib/dialyzer/test/overlapping_contract_SUITE_data/results/overlapping_contract
index d7b5f8a846..ce44c33a17 100644
--- a/lib/dialyzer/test/overlapping_contract_SUITE_data/results/overlapping_contract
+++ b/lib/dialyzer/test/overlapping_contract_SUITE_data/results/overlapping_contract
@@ -1,2 +1,2 @@
 
-overlapping_contract.erl:6:2: Overloaded contract for overlapping_contract:t1/0 has overlapping domains; such contracts are currently unsupported and are simply ignored
+overlapping_contract.erl:6:2: Overloaded contract for overlapping_contract:t1/0 has overlapping domains; such contracts cannot establish a dependency between the overloaded input and output types
diff --git a/lib/dialyzer/test/small_SUITE_data/results/contract3 b/lib/dialyzer/test/small_SUITE_data/results/contract3
index b290f232a2..117801ff14 100644
--- a/lib/dialyzer/test/small_SUITE_data/results/contract3
+++ b/lib/dialyzer/test/small_SUITE_data/results/contract3
@@ -1,3 +1,3 @@
 
-contract3.erl:17:2: Overloaded contract for contract3:t1/1 has overlapping domains; such contracts are currently unsupported and are simply ignored
-contract3.erl:29:2: Overloaded contract for contract3:t3/3 has overlapping domains; such contracts are currently unsupported and are simply ignored
+contract3.erl:17:2: Overloaded contract for contract3:t1/1 has overlapping domains; such contracts cannot establish a dependency between the overloaded input and output types
+contract3.erl:29:2: Overloaded contract for contract3:t3/3 has overlapping domains; such contracts cannot establish a dependency between the overloaded input and output types
-- 
2.35.3

Places

File 5084-dialyzer-change-message-of-overlapping-contracts.patch of Package erlang

Places