File 4364-dialyzer_typesig-Add-a-debug-printout-when... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 4364-dialyzer_typesig-Add-a-debug-printout-when-conj-are-.patch of Package erlang

From ef71828831c200a758d7e00f6a4d9e1365aa093d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20H=C3=B6gberg?= <john@erlang.org>
Date: Fri, 17 Sep 2021 17:18:43 +0200
Subject: [PATCH 4/7] dialyzer_typesig: Add a debug printout when conj are
 restarted

---
 lib/dialyzer/src/dialyzer_typesig.erl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl
index e4e43a7fd3..dea9b2007d 100644
--- a/lib/dialyzer/src/dialyzer_typesig.erl
+++ b/lib/dialyzer/src/dialyzer_typesig.erl
@@ -2080,7 +2080,7 @@ v2_solve_conj([I|Is], [Cs|Tail], I, Map0, Conj, IsFlat, V2State0,
                     [U|UL], NewFs, VarsUp, LastMap, LastFlags)
   end;
 v2_solve_conj([], _Cs, _I, Map, Conj, IsFlat, V2State, UL, NewFs, VarsUp,
-             LastMap, LastFlags) ->
+              LastMap, LastFlags) ->
   U = lists:umerge(UL),
   case lists:umerge(NewFs) of
     [] ->
@@ -2092,6 +2092,7 @@ v2_solve_conj([], _Cs, _I, Map, Conj, IsFlat, V2State, UL, NewFs, VarsUp,
       report_detected_loop(Conj),
       {ok, Map, V2State, lists:umerge([U|VarsUp])};
     NewFlags ->
+      ?debug("conjunct restart Id=~w\n", [Conj#constraint_list.id]),
       #constraint_list{type = conj, list = Cs} = Conj,
       v2_solve_conj(NewFlags, Cs, 1, Map, Conj, IsFlat, V2State,
                     [], [], [U|VarsUp], Map, NewFlags)
-- 
2.31.1

Places

File 4364-dialyzer_typesig-Add-a-debug-printout-when-conj-are-.patch of Package erlang

Places