aboutsummaryrefslogtreecommitdiffstats
path: root/prebuild.delete
diff options
context:
space:
mode:
authorJosé Valim <[email protected]>2013-11-08 23:50:43 +0100
committerAnthony Ramine <[email protected]>2013-12-12 10:46:07 +0100
commit6c5c39827cc06a9e9b3e3fa4fa856f4610eb40b6 (patch)
tree7946344140b7ada4ca214d07de644b9c7119bb5c /prebuild.delete
parent458e302f61e2de36ebd49c5a5a5b984224bdce94 (diff)
downloadotp-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 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions