diff options
author | Björn Gustavsson <[email protected]> | 2012-01-17 15:27:26 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2012-01-17 18:00:21 +0100 |
commit | e3b658cbc9b5838ed2596cc30790c26bfa90953f (patch) | |
tree | 832eed48aa35e345cee7e17edbe7245a0eecdbc2 /lib/public_key/src | |
parent | f8815dc88bd86d6508d2a3dad031ea939fb2b443 (diff) | |
download | otp-e3b658cbc9b5838ed2596cc30790c26bfa90953f.tar.gz otp-e3b658cbc9b5838ed2596cc30790c26bfa90953f.tar.bz2 otp-e3b658cbc9b5838ed2596cc30790c26bfa90953f.zip |
erl_lint: Consistently reject local calls from guards
If a guard test (such as is_list/1) has a local definition in a
module (or is imported), erl_lint will reject a call to it from
a guard if the call is not at the top-level:
foo(L) when is_list(L) =:= true -> %% Will be rejected.
ok.
is_list(_) -> ok.
But if the call is at the top-level, it will be accepted (and
cause a crash in a later compiler pass):
foo(L) when is_list(L) -> %% Will be accepted by erl_lint
ok.
is_list(_) -> ok.
This inconsistency was an oversight introduced when it became
possible to override BIFs with local definitions.
Diffstat (limited to 'lib/public_key/src')
0 files changed, 0 insertions, 0 deletions