diff options
| author | Hans Bolinder <[email protected]> | 2012-06-12 13:53:55 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2012-08-21 10:12:47 +0200 |
| commit | c02a4682b51d2baa32182c6ed7f4adfb4644f07f (patch) | |
| tree | 7145ab9a1d72d063f3b55ecc76806bcc0a40134e /xcomp | |
| parent | a49b1a844febb2740c530895b32c0bb0ae7d5aa0 (diff) | |
| download | otp-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 'xcomp')
0 files changed, 0 insertions, 0 deletions