File 3372-dialyzer-Correct-documentation-for-missing... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 3372-dialyzer-Correct-documentation-for-missing-extra_ret.patch of Package erlang

From fd3e07096958bf37380c489f9d6b1167b075cc80 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20H=C3=B6gberg?= <john@erlang.org>
Date: Tue, 24 May 2022 14:04:46 +0200
Subject: [PATCH] dialyzer: Correct documentation for missing/extra_return

---
 lib/dialyzer/doc/src/dialyzer.xml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml
index a6340929b2..a73d883691 100644
--- a/lib/dialyzer/doc/src/dialyzer.xml
+++ b/lib/dialyzer/doc/src/dialyzer.xml
@@ -318,13 +318,13 @@ dialyzer --plts plt_1 ... plt_n -- files_to_analyze</code>
 </item>
 <tag><c>-Wextra_return</c> (***)</tag>
 <item>
- Warn about functions that return values that are not part of the
- specification.
+ Warn about functions whose specification includes types that the
+ function cannot return.
 </item>
 <tag><c>-Wmissing_return</c> (***)</tag>
 <item>
- Warn about functions whose specification includes types that the
- function cannot return.
+ Warn about functions that return values that are not part of the
+ specification.
 </item>
 <tag><c>-Wno_behaviours</c></tag>
 <item>
@@ -432,13 +432,13 @@ dialyzer --plts plt_1 ... plt_n -- files_to_analyze</code>
 </item>
 <tag><c>-Wno_extra_return</c></tag>
 <item>
- Suppress warnings about functions that return values that are not
- part of the specification.
+ Suppress warnings about functions whose specification includes types
+ that the function cannot return.
 </item>
 <tag><c>-Wno_missing_return</c></tag>
 <item>
- Suppress warnings about functions whose specification includes types
- that the function cannot return.
+ Suppress warnings about functions that return values that are not
+ part of the specification.
 </item>
 </taglist>
 
-- 
2.35.3

Places

File 3372-dialyzer-Correct-documentation-for-missing-extra_ret.patch of Package erlang

Places