File 0140-Expand-the-spec-for-erl_epmd-listen_port_p... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0140-Expand-the-spec-for-erl_epmd-listen_port_please-2.patch of Package erlang (Revision 9c6f14cb59b6cc96e9e5afb6eccb708c)

Currently displaying revision 9c6f14cb59b6cc96e9e5afb6eccb708c , Show latest

From 476ab9c9419174949cd598e9a0910e81582c235d Mon Sep 17 00:00:00 2001
From: Philip Kuryloski <kuryloskip@vmware.com>
Date: Tue, 6 Oct 2020 10:22:24 +0200
Subject: [PATCH] Expand the spec for erl_epmd:listen_port_please/2

The spec for erl_epmd:listen_port_please/2 is overly strict, resulting in
dialyzer errors for the valid snippet:

[Name, Host] = string:split(atom_to_list(node()), "@"),
R = erl_epmd:port_please(Name, Host),

This commit relaxes the spec for listen_port_please to match that of
port_please
---
 lib/kernel/src/erl_epmd.erl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/kernel/src/erl_epmd.erl b/lib/kernel/src/erl_epmd.erl
index 7ba5217d51..35438a9930 100644
--- a/lib/kernel/src/erl_epmd.erl
+++ b/lib/kernel/src/erl_epmd.erl
@@ -130,8 +130,8 @@ getepmdbyname(HostName, _Timeout) ->
     {ok, HostName}.
 
 -spec listen_port_please(Name, Host) -> {ok, Port} when
-      Name :: atom(),
-      Host :: string() | inet:ip_address(),
+      Name :: atom() | string(),
+      Host :: atom() | string() | inet:ip_address(),
       Port :: non_neg_integer().
 listen_port_please(_Name, _Host) ->
     try
-- 
2.26.2

Places

File 0140-Expand-the-spec-for-erl_epmd-listen_port_please-2.patch of Package erlang (Revision 9c6f14cb59b6cc96e9e5afb6eccb708c)

Places