Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:25
erlang
1810-erl_types-Optimize-t_has_var-1.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 1810-erl_types-Optimize-t_has_var-1.patch of Package erlang
From 2756effb912445f07f608992703668677c802c6e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org> Date: Sat, 5 Nov 2022 06:17:41 +0100 Subject: [PATCH 10/12] erl_types: Optimize t_has_var/1 --- lib/dialyzer/src/erl_types.erl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/dialyzer/src/erl_types.erl b/lib/dialyzer/src/erl_types.erl index 3c0af514e0..e799d3d009 100644 --- a/lib/dialyzer/src/erl_types.erl +++ b/lib/dialyzer/src/erl_types.erl @@ -2210,6 +2210,8 @@ t_var_name(?var(Id)) -> Id. t_has_var(?var(_)) -> true; t_has_var(?function(Domain, Range)) -> t_has_var(Domain) orelse t_has_var(Range); +t_has_var(?list(Contents, ?nil, _)) -> + t_has_var(Contents); t_has_var(?list(Contents, Termination, _)) -> t_has_var(Contents) orelse t_has_var(Termination); t_has_var(?product(Types)) -> t_has_var_list(Types); -- 2.35.3
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
