File 6623-dialyzer-fixes-type-spec-GH-6597.patch of Package erlang - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File 6623-dialyzer-fixes-type-spec-GH-6597.patch of Package erlang

From 8786dd6ce68a2f564ca0fb6d4a6dec12f5a08532 Mon Sep 17 00:00:00 2001
From: Kiko Fernandez-Reyes <kiko@erlang.org>
Date: Wed, 28 Dec 2022 10:40:12 +0100
Subject: [PATCH 3/4] dialyzer: fixes type spec (GH-6597)

---
 lib/dialyzer/src/dialyzer.hrl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl
index 07647bbbd4..64cc844303 100644
--- a/lib/dialyzer/src/dialyzer.hrl
+++ b/lib/dialyzer/src/dialyzer.hrl
@@ -68,6 +68,8 @@
                        | ?WARN_NOT_CALLED | ?WARN_NON_PROPER_LIST
                        | ?WARN_MATCHING | ?WARN_OPAQUE | ?WARN_FUN_APP
                        | ?WARN_FAILING_CALL | ?WARN_BIN_CONSTRUCTION
+                       | ?WARN_CALLGRAPH | ?WARN_CONTRACT_EXTRA_RETURN
+                       | ?WARN_CONTRACT_MISSING_RETURN | ?WARN_OVERLAPPING_CONTRACT
                        | ?WARN_CONTRACT_TYPES | ?WARN_CONTRACT_SYNTAX
                        | ?WARN_CONTRACT_NOT_EQUAL | ?WARN_CONTRACT_SUBTYPE
                        | ?WARN_CONTRACT_SUPERTYPE | ?WARN_CALLGRAPH
-- 
2.35.3

openSUSE Build Service is sponsored by