diff options
| author | Magnus Lång <[email protected]> | 2016-03-01 12:51:16 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-04-28 16:16:10 +0200 |
| commit | 67c7fd3c516b08d3d8814debca0db2a295e0c0b8 (patch) | |
| tree | f4b1cc958870dcbf381a1fb08ae34f07e149c29d /lib/dialyzer/test/map_SUITE_data/results | |
| parent | 50054b94fee69fd39af32b4161d005588ed5f22f (diff) | |
| download | otp-67c7fd3c516b08d3d8814debca0db2a295e0c0b8.tar.gz otp-67c7fd3c516b08d3d8814debca0db2a295e0c0b8.tar.bz2 otp-67c7fd3c516b08d3d8814debca0db2a295e0c0b8.zip | |
dialyzer_contracts: Consider #{} a violation
This is analogous to the case of nil. Since #{} is a base-case of almost
all map types, contract and success typing sharing #{} does not mean
much, and is often sign of a violation.
Diffstat (limited to 'lib/dialyzer/test/map_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/results/contract_violation | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/contract_violation b/lib/dialyzer/test/map_SUITE_data/results/contract_violation new file mode 100644 index 0000000000..958321618f --- /dev/null +++ b/lib/dialyzer/test/map_SUITE_data/results/contract_violation @@ -0,0 +1,3 @@ + +contract_violation.erl:12: The pattern #{I:=Loc} can never match the type #{} +contract_violation.erl:16: Invalid type specification for function contract_violation:beam_disasm_lines/2. The success typing is ('none' | <<_:32,_:_*8>>,_) -> #{pos_integer()=>{'location',_,_}} |