diff options
| author | Niclas Axelsson <[email protected]> | 2011-03-04 16:39:01 +0100 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-03-04 16:39:05 +0100 |
| commit | ce1e0d42cc7e060b10eaa63c67fc1cad6e4d37c6 (patch) | |
| tree | 626a5e2b3b4dd15f8f93b7842877bd6466aa71ff /lib/dialyzer/src/dialyzer.erl | |
| parent | 0f52060f8514ddd3e58004f4231da581a93209c6 (diff) | |
| parent | 271ee9372e07feafae6af35ccc783946371d50bd (diff) | |
| download | otp-ce1e0d42cc7e060b10eaa63c67fc1cad6e4d37c6.tar.gz otp-ce1e0d42cc7e060b10eaa63c67fc1cad6e4d37c6.tar.bz2 otp-ce1e0d42cc7e060b10eaa63c67fc1cad6e4d37c6.zip | |
Merge branch 'sa/dialyzer-fix-guards' into dev
* sa/dialyzer-fix-guards:
Fix warnings about guards containing not
Fix errors in the handling of 'and'/'or' guards
Cosmetic changes
OTP-9099
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 f4b3cff19c..dde0c17c39 100644 --- a/lib/dialyzer/src/dialyzer.erl +++ b/lib/dialyzer/src/dialyzer.erl @@ -336,6 +336,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]); |