Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:24
erlang
2034-dialyzer_typesig-Add-a-debug-printout-when...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 2034-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
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