diff options
| author | Magnus Lång <[email protected]> | 2016-02-28 00:00:33 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-04-28 16:16:09 +0200 |
| commit | e3ac51b173585f84c397ae38c27d772be2d308c6 (patch) | |
| tree | 209839880b65086d3be7e5db1c42fe1fe5f85708 /lib/dialyzer/src/dialyzer.erl | |
| parent | 92a672ff8159741ebbc9f3eb11e8a81d7067d2c7 (diff) | |
| download | otp-e3ac51b173585f84c397ae38c27d772be2d308c6.tar.gz otp-e3ac51b173585f84c397ae38c27d772be2d308c6.tar.bz2 otp-e3ac51b173585f84c397ae38c27d772be2d308c6.zip | |
dialyzer_dataflow: Add map support
Diffstat (limited to 'lib/dialyzer/src/dialyzer.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.erl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer.erl b/lib/dialyzer/src/dialyzer.erl index 9f51dfe356..bcac8afe64 100644 --- a/lib/dialyzer/src/dialyzer.erl +++ b/lib/dialyzer/src/dialyzer.erl @@ -336,6 +336,9 @@ message_to_string({guard_fail, []}) -> "Clause guard cannot succeed.\n"; 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({map_update, [Type, Key]}) -> + io_lib:format("A key of type ~s cannot exist " + "in a map of type ~s\n", [Key, Type]); message_to_string({neg_guard_fail, [Arg1, Infix, Arg2]}) -> io_lib:format("Guard test not(~s ~s ~s) can never succeed\n", [Arg1, Infix, Arg2]); |