aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorLuca Favatella <[email protected]>2015-07-02 23:57:37 +0100
committerLuca Favatella <[email protected]>2015-07-11 21:46:40 +0100
commitd0143499cd9ff1c1cf029ff33c65c908229536c7 (patch)
tree49b26b74a9bf760c8a4896c5f450aa5e4d1c52a1 /erts
parent745563e98f6993e279703dc1ad1e9a2c38dfac28 (diff)
downloadotp-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')
-rw-r--r--erts/preloaded/src/erlang.erl1
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/preloaded/src/erlang.erl b/erts/preloaded/src/erlang.erl
index 291356c7b1..b4c9de9e1e 100644
--- a/erts/preloaded/src/erlang.erl
+++ b/erts/preloaded/src/erlang.erl
@@ -1974,6 +1974,7 @@ localtime_to_universaltime(_Localtime, _IsDst) ->
%% CHECK! Why the strange very thorough specification of the error
%% condition with disallowed arity in erl_bif_types?
%% Not documented
+%% Shadowed by erl_bif_types: erlang:make_fun/3
-spec erlang:make_fun(Module, Function, Arity) -> function() when
Module :: atom(),
Function :: atom(),