Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:24
erlang
0301-dialyzer_contracts-Fix-spec-for-check_cont...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0301-dialyzer_contracts-Fix-spec-for-check_contracts-4.patch of Package erlang
From d6285490d6239c3e61d31ca3f45aa4b023cd954e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org> Date: Thu, 16 Sep 2021 12:39:56 +0200 Subject: [PATCH 01/20] dialyzer_contracts: Fix spec for check_contracts/4 The type `fun_types()`, used by `check_contracts/4`, should be defined as `erl_types:erl_type()`. That can be seen from the callers and from the type of the second argument for `check_contract/3`. --- lib/dialyzer/src/dialyzer_contracts.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/dialyzer/src/dialyzer_contracts.erl b/lib/dialyzer/src/dialyzer_contracts.erl index 621ca88f1b..c29f8312ba 100644 --- a/lib/dialyzer/src/dialyzer_contracts.erl +++ b/lib/dialyzer/src/dialyzer_contracts.erl @@ -225,7 +225,7 @@ rcv_ext_types(Self, ExtTypes) -> lists:usort(ExtTypes) end. --type fun_types() :: orddict:orddict(label(), erl_types:type_table()). +-type fun_types() :: orddict:orddict(label(), erl_types:erl_type()). -spec check_contracts(orddict:orddict(mfa(), #contract{}), dialyzer_callgraph:callgraph(), fun_types(), -- 2.31.1
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