diff options
author | Luca Favatella <[email protected]> | 2015-07-02 23:57:37 +0100 |
---|---|---|
committer | Luca Favatella <[email protected]> | 2015-07-11 21:46:40 +0100 |
commit | d0143499cd9ff1c1cf029ff33c65c908229536c7 (patch) | |
tree | 49b26b74a9bf760c8a4896c5f450aa5e4d1c52a1 /erts/example | |
parent | 745563e98f6993e279703dc1ad1e9a2c38dfac28 (diff) | |
download | otp-d0143499cd9ff1c1cf029ff33c65c908229536c7.tar.gz otp-d0143499cd9ff1c1cf029ff33c65c908229536c7.tar.bz2 otp-d0143499cd9ff1c1cf029ff33c65c908229536c7.zip |
Teach Dialyzer arity of funs with literal arity
Re-insert logic for `erlang:make_fun/3` in `erl_bif_types`. It had
been removed in bd941f5 while type spec-ing `erlang.erl`. Type spec in
`erlang.erl` cannot express arity of returned fun based on value of
argument hence re-introducing logic in `erl_bif_types`.
Re-definition of logic in `erl_bif_types` follows approach in 9d870a0.
Diffstat (limited to 'erts/example')
0 files changed, 0 insertions, 0 deletions