Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:25
erlang
2423-dialyzer-fixes-type-spec-GH-6597.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 2423-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 @@ -64,14 +64,15 @@ %% 2. It is also the set of tags for warnings that will be returned. %% -type dial_warn_tag() :: ?WARN_BEHAVIOUR | ?WARN_BIN_CONSTRUCTION - | ?WARN_CALLGRAPH | ?WARN_CONTRACT_NOT_EQUAL + | ?WARN_CALLGRAPH | ?WARN_CONTRACT_EXTRA_RETURN + | ?WARN_CONTRACT_MISSING_RETURN | ?WARN_CONTRACT_NOT_EQUAL | ?WARN_CONTRACT_RANGE | ?WARN_CONTRACT_SUBTYPE | ?WARN_CONTRACT_SUPERTYPE | ?WARN_CONTRACT_SYNTAX | ?WARN_CONTRACT_TYPES | ?WARN_FAILING_CALL | ?WARN_FUN_APP | ?WARN_MAP_CONSTRUCTION | ?WARN_MATCHING | ?WARN_NON_PROPER_LIST | ?WARN_NOT_CALLED | ?WARN_OPAQUE - | ?WARN_RETURN_NO_RETURN + | ?WARN_OVERLAPPING_CONTRACT | ?WARN_RETURN_NO_RETURN | ?WARN_RETURN_ONLY_EXIT | ?WARN_UNDEFINED_CALLBACK | ?WARN_UNKNOWN | ?WARN_UNMATCHED_RETURN. -- 2.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor