Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:25
erlang
1805-erl_types-Removes-assertion-for-union-type...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 1805-erl_types-Removes-assertion-for-union-types.patch of Package erlang
From 5b4f32f89a5a26be2264c7d71a318df9777581b9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org> Date: Sat, 29 Oct 2022 13:54:27 +0200 Subject: [PATCH 05/12] erl_types: Removes assertion for union types Every time a union type is matched, there is an assertion that the list of types in the union has the correct number of elements. --- lib/dialyzer/src/erl_types.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/dialyzer/src/erl_types.erl b/lib/dialyzer/src/erl_types.erl index c820a28fc5..cf5d7ab020 100644 --- a/lib/dialyzer/src/erl_types.erl +++ b/lib/dialyzer/src/erl_types.erl @@ -360,7 +360,7 @@ %% Unions %% --define(union(List), #c{tag=?union_tag, elements=[_,_,_,_,_,_,_,_,_]=List}). +-define(union(List), #c{tag=?union_tag, elements=List}). -define(untagged_union(A, B, F, I, L, N, T, O, Map), [A,B,F,I,L,N,T,O,Map]). -define(atom_union(T), ?union([T,?none,?none,?none,?none,?none,?none,?none,?none])). -- 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