aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-01-30 10:15:43 +0100
committerHans Bolinder <[email protected]>2017-02-01 09:14:57 +0100
commitdd297a2ccb53bd70c4b7f218eedb4ddc5593db1d (patch)
tree644214ea900d0ab1ffa335a2f40ee69984774fe7 /README.md
parent5341108ec6ba9465497c590679f35e8bef0c7b3f (diff)
downloadotp-dd297a2ccb53bd70c4b7f218eedb4ddc5593db1d.tar.gz
otp-dd297a2ccb53bd70c4b7f218eedb4ddc5593db1d.tar.bz2
otp-dd297a2ccb53bd70c4b7f218eedb4ddc5593db1d.zip
dialyzer: Optimize typesig
dialyzer_typesig:traverse_scc() now resets the context for each element of the SCC. Since the results of traversing the elements are saved in the 'cmap' table, there is no need to create an SCC conjunction. For huge SCCs this saves quite some time: the lift_lists() function added one element at a time, which made the calculation of deps very slow.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions