File 0656-dialyzer-Clarify-dialyzer-3.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0656-dialyzer-Clarify-dialyzer-3.patch of Package erlang (Revision 5cacfbbef07a5252e75bda157f5969ac)

Currently displaying revision 5cacfbbef07a5252e75bda157f5969ac , Show latest

From 37d24e6aaa933dd65a308121521c820bd3e689bf Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Fri, 30 Oct 2020 13:42:53 +0100
Subject: [PATCH] dialyzer: Clarify dialyzer(3)

See also https://bugs.erlang.org/browse/ERL-1223.
---
 lib/dialyzer/doc/src/dialyzer.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml
index 91d7831383..5dd40a595b 100644
--- a/lib/dialyzer/doc/src/dialyzer.xml
+++ b/lib/dialyzer/doc/src/dialyzer.xml
@@ -245,7 +245,8 @@
       <tag><c><![CDATA[-Wunmatched_returns]]></c>***</tag>
       <item>Include warnings for function calls which ignore a structured return
         value or do not match against one of many possible return
-        value(s).</item>
+        values. However, no warnings are included if the possible return
+        values are a union of atoms or a union of numbers.</item>
       <tag><c><![CDATA[-Werror_handling]]></c>***</tag>
       <item>Include warnings for functions that only return by means of an
        exception.</item>
-- 
2.26.2

Places

File 0656-dialyzer-Clarify-dialyzer-3.patch of Package erlang (Revision 5cacfbbef07a5252e75bda157f5969ac)

Places