File 1802-erl_types-Remove-out-commented-code.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 1802-erl_types-Remove-out-commented-code.patch of Package erlang

From c412e661b1aec4971d2ac82c752e5122b8322759 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Sun, 30 Oct 2022 08:15:55 +0100
Subject: [PATCH 02/12] erl_types: Remove out-commented code

---
 lib/dialyzer/src/erl_types.erl | 88 ----------------------------------
 1 file changed, 88 deletions(-)

diff --git a/lib/dialyzer/src/erl_types.erl b/lib/dialyzer/src/erl_types.erl
index f5e43e96d9..09a54dd219 100644
--- a/lib/dialyzer/src/erl_types.erl
+++ b/lib/dialyzer/src/erl_types.erl
@@ -3389,94 +3389,6 @@ is_type_name(Mod, Name, Arity, Mod, Name, Arity) ->
 is_type_name(_Mod1, _Name1, _Arity1, _Mod2, _Name2, _Arity2) ->
   false.
 
-%%t_assign_variables_to_subtype(T1, T2) ->
-%%  try
-%%    Dict = assign_vars(T1, T2, dict:new()),
-%%    {ok, dict:map(fun(_Param, List) -> t_sup(List) end, Dict)}
-%%  catch
-%%    throw:error -> error
-%%  end.
-
-%%assign_vars(_, ?var(_), _Dict) ->
-%%  erlang:error("Variable in right hand side of assignment");
-%%assign_vars(?any, _, Dict) ->
-%%  Dict;
-%%assign_vars(?var(_) = Var, Type, Dict) ->
-%%  store_var(Var, Type, Dict);
-%%assign_vars(?function(Domain1, Range1), ?function(Domain2, Range2), Dict) ->
-%%  DomainList =
-%%    case Domain2 of
-%%      ?any -> [];
-%%      ?product(List) -> List
-%%    end,
-%%  case any_none([Range2|DomainList]) of
-%%    true -> throw(error);
-%%    false ->
-%%      Dict1 = assign_vars(Domain1, Domain2, Dict),
-%%      assign_vars(Range1, Range2, Dict1)
-%%  end;
-%%assign_vars(?list(_Contents, _Termination, ?any), ?nil, Dict) ->
-%%  Dict;
-%%assign_vars(?list(Contents1, Termination1, Size1),
-%%	    ?list(Contents2, Termination2, Size2), Dict) ->
-%%  Dict1 = assign_vars(Contents1, Contents2, Dict),
-%%  Dict2 = assign_vars(Termination1, Termination2, Dict1),
-%%  case {Size1, Size2} of
-%%    {S, S} -> Dict2;
-%%    {?any, ?nonempty_qual} -> Dict2;
-%%    {_, _} -> throw(error)
-%%  end;
-%%assign_vars(?product(Types1), ?product(Types2), Dict) ->
-%%  case length(Types1) =:= length(Types2) of
-%%    true -> assign_vars_lists(Types1, Types2, Dict);
-%%    false -> throw(error)
-%%  end;
-%%assign_vars(?tuple(?any, ?any, ?any), ?tuple(?any, ?any, ?any), Dict) ->
-%%  Dict;
-%%assign_vars(?tuple(?any, ?any, ?any), ?tuple(_, _, _), Dict) ->
-%%  Dict;
-%%assign_vars(?tuple(Elements1, Arity, _),
-%%	    ?tuple(Elements2, Arity, _), Dict) when Arity =/= ?any ->
-%%  assign_vars_lists(Elements1, Elements2, Dict);
-%%assign_vars(?tuple_set(_) = T, ?tuple_set(List2), Dict) ->
-%%  %% All Rhs tuples must already be subtypes of Lhs, so we can take
-%%  %% each one separately.
-%%  assign_vars_lists([T || _ <- List2], List2, Dict);
-%%assign_vars(?tuple(?any, ?any, ?any), ?tuple_set(_), Dict) ->
-%%  Dict;
-%%assign_vars(?tuple(_, Arity, _) = T1, ?tuple_set(List), Dict) ->
-%%  case reduce_tuple_tags(List) of
-%%    [Tuple = ?tuple(_, Arity, _)] -> assign_vars(T1, Tuple, Dict);
-%%    _ -> throw(error)
-%%  end;
-%%assign_vars(?tuple_set(List), ?tuple(_, Arity, Tag) = T2, Dict) ->
-%%  case [T || ?tuple(_, Arity1, Tag1) = T <- List,
-%%	     Arity1 =:= Arity, Tag1 =:= Tag] of
-%%    [] -> throw(error);
-%%    [T1] -> assign_vars(T1, T2, Dict)
-%%  end;
-%%assign_vars(?union(U1), T2, Dict) ->
-%%  ?union(U2) = force_union(T2),
-%%  assign_vars_lists(U1, U2, Dict);
-%%assign_vars(T, T, Dict) ->
-%%  Dict;
-%%assign_vars(T1, T2, Dict) ->
-%%  case t_is_subtype(T2, T1) of
-%%    false -> throw(error);
-%%    true -> Dict
-%%  end.
-
-%%assign_vars_lists([T1|Left1], [T2|Left2], Dict) ->
-%%  assign_vars_lists(Left1, Left2, assign_vars(T1, T2, Dict));
-%%assign_vars_lists([], [], Dict) ->
-%%  Dict.
-
-%%store_var(?var(Id), Type, Dict) ->
-%%  case dict:find(Id, Dict) of
-%%    error -> dict:store(Id, [Type], Dict);
-%%    {ok, _VarType0} -> dict:update(Id, fun(X) -> [Type|X] end, Dict)
-%%  end.
-
 %%-----------------------------------------------------------------------------
 %% Subtraction.
 %%
-- 
2.35.3

Places

File 1802-erl_types-Remove-out-commented-code.patch of Package erlang

Places