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

Overview Repositories Revisions Requests Users Attributes Meta

File 0301-dialyzer_contracts-Fix-spec-for-check_contracts-4.patch of Package erlang (Revision 2afe7f3167363d6e1038ee36b6c70f6a)

Currently displaying revision 2afe7f3167363d6e1038ee36b6c70f6a , 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
@@ -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

Places

File 0301-dialyzer_contracts-Fix-spec-for-check_contracts-4.patch of Package erlang (Revision 2afe7f3167363d6e1038ee36b6c70f6a)

Places