Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:23
erlang
0140-Expand-the-spec-for-erl_epmd-listen_port_p...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0140-Expand-the-spec-for-erl_epmd-listen_port_please-2.patch of Package erlang
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
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