File 1805-erl_types-Removes-assertion-for-union-type... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 1805-erl_types-Removes-assertion-for-union-types.patch of Package erlang (Revision 8f70100112790b2ecaef2042dd03930d)

Currently displaying revision 8f70100112790b2ecaef2042dd03930d , Show latest

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

Places

File 1805-erl_types-Removes-assertion-for-union-types.patch of Package erlang (Revision 8f70100112790b2ecaef2042dd03930d)

Places