File 0659-dialyzer_contracts-Fix-spec-for-check_cont... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0659-dialyzer_contracts-Fix-spec-for-check_contracts-4.patch of Package erlang (Revision 60cc6e15571d1d3ea9eb42c446c0449b)

Currently displaying revision 60cc6e15571d1d3ea9eb42c446c0449b , Show latest

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
@@ -173,7 +173,7 @@ rcv_ext_types(Self, ExtTypes) ->
   lists:foreach(ModuleFun, Mods),
   dialyzer_codeserver:finalize_contracts(CodeServer).
 
--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

Places

File 0659-dialyzer_contracts-Fix-spec-for-check_contracts-4.patch of Package erlang (Revision 60cc6e15571d1d3ea9eb42c446c0449b)

Places