File 2005-erl_types-Eliminate-t_struct_from_opaque-2... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2005-erl_types-Eliminate-t_struct_from_opaque-2.patch of Package erlang

From 82c46ce4a5b75e6406cd3fafab8dc5e5abfbe43a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 14 Sep 2021 06:12:25 +0200
Subject: [PATCH 05/20] erl_types: Eliminate t_struct_from_opaque/2

t_struct_from_opaque/2 is unused, and its comment states that
it is the same as t_unopaque. Therefore, it is not likely to
ever be used again.
---
 lib/dialyzer/src/erl_types.erl | 32 --------------------------------
 1 file changed, 32 deletions(-)

diff --git a/lib/dialyzer/src/erl_types.erl b/lib/dialyzer/src/erl_types.erl
index b0ed0d2c70..98c37e4eb1 100644
--- a/lib/dialyzer/src/erl_types.erl
+++ b/lib/dialyzer/src/erl_types.erl
@@ -186,7 +186,6 @@
 	 t_reference/0,
 	 t_singleton_to_term/2,
 	 t_string/0,
-	 t_struct_from_opaque/2,
 	 t_subst/2,
 	 t_subtract/2,
 	 t_subtract_list/2,
@@ -780,37 +779,6 @@ t_opaque_from_records(RecMap) ->
 	     end, OpaqueRecMap),
   [OpaqueType || {_Key, OpaqueType} <- maps:to_list(OpaqueTypeMap)].
 
-%% Decompose opaque instances of type arg2 to structured types, in arg1
-%% XXX: Same as t_unopaque
--spec t_struct_from_opaque(erl_type(), [erl_type()]) -> erl_type().
-
-t_struct_from_opaque(?function(Domain, Range), Opaques) ->
-  ?function(t_struct_from_opaque(Domain, Opaques),
-	    t_struct_from_opaque(Range, Opaques));
-t_struct_from_opaque(?list(Types, Term, Size), Opaques) ->
-  ?list(t_struct_from_opaque(Types, Opaques),
-        t_struct_from_opaque(Term, Opaques), Size);
-t_struct_from_opaque(?opaque(_) = T, Opaques) ->
-  case is_opaque_type(T, Opaques) of
-    true  -> t_opaque_structure(T);
-    false -> T
-  end;
-t_struct_from_opaque(?product(Types), Opaques) ->
-  ?product(list_struct_from_opaque(Types, Opaques));
-t_struct_from_opaque(?tuple(?any, _, _) = T, _Opaques) -> T;
-t_struct_from_opaque(?tuple(Types, Arity, Tag), Opaques) ->
-  ?tuple(list_struct_from_opaque(Types, Opaques), Arity, Tag);
-t_struct_from_opaque(?tuple_set(Set), Opaques) ->
-  NewSet = [{Sz, [t_struct_from_opaque(T, Opaques) || T <- Tuples]}
-	    || {Sz, Tuples} <- Set],
-  ?tuple_set(NewSet);
-t_struct_from_opaque(?union(List), Opaques) ->
-  t_sup(list_struct_from_opaque(List, Opaques));
-t_struct_from_opaque(Type, _Opaques) -> Type.
-
-list_struct_from_opaque(Types, Opaques) ->
-  [t_struct_from_opaque(Type, Opaques) || Type <- Types].
-
 %%-----------------------------------------------------------------------------
 %% Unit type. Signals non termination.
 %%
-- 
2.31.1

Places

File 2005-erl_types-Eliminate-t_struct_from_opaque-2.patch of Package erlang

Places