aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_options.erl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2012-06-12 13:53:55 +0200
committerHans Bolinder <[email protected]>2012-08-21 10:12:47 +0200
commitc02a4682b51d2baa32182c6ed7f4adfb4644f07f (patch)
tree7145ab9a1d72d063f3b55ecc76806bcc0a40134e /lib/dialyzer/src/dialyzer_options.erl
parenta49b1a844febb2740c530895b32c0bb0ae7d5aa0 (diff)
downloadotp-c02a4682b51d2baa32182c6ed7f4adfb4644f07f.tar.gz
otp-c02a4682b51d2baa32182c6ed7f4adfb4644f07f.tar.bz2
otp-c02a4682b51d2baa32182c6ed7f4adfb4644f07f.zip
Add an alternative implmentation of the typesignature solver
An alternative implementation of the solver in dialyzer_typesig has been introduced. It is faster than the original implementation. Note: there is code for "loop detection". Where a loop occurs, the evaluation is stopped and the current solution returned. This behaviour is consistent with how the original implementation works. There are a few known cases where the loop detection kicks in. They are due to bugs which will hopefully be fixed in a near future.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_options.erl')
0 files changed, 0 insertions, 0 deletions