diff options
| author | José Valim <[email protected]> | 2013-11-08 23:50:43 +0100 |
|---|---|---|
| committer | Anthony Ramine <[email protected]> | 2013-12-12 10:46:07 +0100 |
| commit | 6c5c39827cc06a9e9b3e3fa4fa856f4610eb40b6 (patch) | |
| tree | 7946344140b7ada4ca214d07de644b9c7119bb5c /lib/kernel | |
| parent | 458e302f61e2de36ebd49c5a5a5b984224bdce94 (diff) | |
| download | otp-6c5c39827cc06a9e9b3e3fa4fa856f4610eb40b6.tar.gz otp-6c5c39827cc06a9e9b3e3fa4fa856f4610eb40b6.tar.bz2 otp-6c5c39827cc06a9e9b3e3fa4fa856f4610eb40b6.zip | |
Support non top level letrecs in dialyzer
Dialyzer so far only supported letrecs at the top-level
and comprehension-like letrecs (i.e. that were directly applied)
in their body.
This commit address this issue by storing in the callgraph
bound letrec labels pointing to their functions. This information
is then used by the dataflow to properly lookup recursive
definitions.
Diffstat (limited to 'lib/kernel')
0 files changed, 0 insertions, 0 deletions