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

Overview Repositories Revisions Requests Users Attributes Meta

File 0801-dialyzer_contracts-Fix-spec-for-check_contracts-4.patch of Package erlang (Revision 20341d3ca8beab07b502d76ce8eb2b1a)

Currently displaying revision 20341d3ca8beab07b502d76ce8eb2b1a , 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
@@ -164,7 +164,7 @@ rcv_ext_types(Self, ExtTypes) ->
 -type opaques() :: [erl_types:erl_type()] | 'universe'.
 -type opaques_fun() :: fun((module()) -> opaques()).
 
--type fun_types() :: dict:dict(label(), erl_types:type_table()).
+-type fun_types() :: dict:dict(label(), erl_types:erl_type()).
 
 -spec check_contracts([{mfa(), file_contract()}],
 		      dialyzer_callgraph:callgraph(), fun_types(),
-- 
2.31.1

Places

File 0801-dialyzer_contracts-Fix-spec-for-check_contracts-4.patch of Package erlang (Revision 20341d3ca8beab07b502d76ce8eb2b1a)

Places