diff options
| author | Stavros Aronis <[email protected]> | 2011-01-14 15:36:01 +0200 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-01-18 15:50:09 +0100 |
| commit | 271ee9372e07feafae6af35ccc783946371d50bd (patch) | |
| tree | a233785d6ee89186a4b6521e6afc5f38f880678e /lib/dialyzer/src/dialyzer.erl | |
| parent | 02e0f98ab537b002f2ccb1092d9e7310d9e15c58 (diff) | |
| download | otp-271ee9372e07feafae6af35ccc783946371d50bd.tar.gz otp-271ee9372e07feafae6af35ccc783946371d50bd.tar.bz2 otp-271ee9372e07feafae6af35ccc783946371d50bd.zip | |
Fix warnings about guards containing not
The wording of warnings about unsatisfiable guards that used
'not' was incorrect (the 'not' was not mentioned and it appeared
as "Guard test is_atom(atom()) can never succeed").
Diffstat (limited to 'lib/dialyzer/src/dialyzer.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer.erl b/lib/dialyzer/src/dialyzer.erl index 471f9fccd2..550bf76823 100644 --- a/lib/dialyzer/src/dialyzer.erl +++ b/lib/dialyzer/src/dialyzer.erl @@ -325,6 +325,8 @@ message_to_string({guard_fail, [Arg1, Infix, Arg2]}) -> io_lib:format("Guard test ~s ~s ~s can never succeed\n", [Arg1, Infix, Arg2]); message_to_string({guard_fail, [Guard, Args]}) -> io_lib:format("Guard test ~w~s can never succeed\n", [Guard, Args]); +message_to_string({neg_guard_fail, [Guard, Args]}) -> + io_lib:format("Guard test not(~w~s) can never succeed\n", [Guard, Args]); message_to_string({guard_fail_pat, [Pat, Type]}) -> io_lib:format("Clause guard cannot succeed. The ~s was matched" " against the type ~s\n", [Pat, Type]); |