Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:19
erlang
0818-dialyzer-Correct-range-type-of-erlang-is_r...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0818-dialyzer-Correct-range-type-of-erlang-is_record-3.patch of Package erlang
From 1d729287e3ef053df538d159e3471aeb81d485b6 Mon Sep 17 00:00:00 2001 From: Hans Bolinder <hasse@erlang.org> Date: Thu, 14 Nov 2019 12:49:42 +0100 Subject: [PATCH 2/2] dialyzer: Correct range type of erlang:is_record/3 The third argument, Size, can take the value 0. --- lib/hipe/cerl/erl_bif_types.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 8ae1cd4ab7..0b6db544ca 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -2384,7 +2384,7 @@ arg_types(erlang, is_port, 1) -> arg_types(erlang, is_record, 2) -> [t_any(), t_atom()]; arg_types(erlang, is_record, 3) -> - [t_any(), t_atom(), t_pos_fixnum()]; + [t_any(), t_atom(), t_non_neg_fixnum()]; arg_types(erlang, is_reference, 1) -> [t_any()]; arg_types(erlang, is_tuple, 1) -> -- 2.16.4
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