aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/dialyzer.spec
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-03-17 09:53:32 +0100
committerHans Bolinder <[email protected]>2014-03-21 14:19:15 +0100
commitc777e4096a21f9734a1cec8d723137299b0f9193 (patch)
treeba035cb658a8e645b0c50aa3016ad8c7ba2ba5b2 /lib/dialyzer/test/dialyzer.spec
parent4d614d868f90cfae31046038e6f178002a13c9ef (diff)
downloadotp-c777e4096a21f9734a1cec8d723137299b0f9193.tar.gz
otp-c777e4096a21f9734a1cec8d723137299b0f9193.tar.bz2
otp-c777e4096a21f9734a1cec8d723137299b0f9193.zip
dialyzer: generalize guard constraints in a new way
Guard constraints used to be limited to a certain depth, which handled mutually depending constraints safely, but also sometimes introduced unnecessary generalizations. This patch puts no explicit limit upon guard constraints (other than those that already exist in erl_types), but breaks cycles by replacing variables with the any() type. In some cases the old method resulted in more warnings, but since the limit was quite arbitrary and mutually depending guard constraints are (very) rare, the new method should been seen as an improvement since it handles cases that used to make Dialyzer loop or miss warnings.
Diffstat (limited to 'lib/dialyzer/test/dialyzer.spec')
0 files changed, 0 insertions, 0 deletions