diff options
| author | Hans Bolinder <[email protected]> | 2017-09-18 08:29:50 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-09-18 08:29:50 +0200 |
| commit | 25ad8573ba9e0b225b48f35964afb2eb023ecca4 (patch) | |
| tree | 975a29cd67b55d2d529ab2c57decb3f762626479 /lib/dialyzer/test/map_SUITE_data/results/opaque_key | |
| parent | fe3db9d584a8b52a00323d8173d60d75fd6d0a43 (diff) | |
| parent | c4aadfd7f88fa379355d6b5e86833066b859d3b2 (diff) | |
| download | otp-25ad8573ba9e0b225b48f35964afb2eb023ecca4.tar.gz otp-25ad8573ba9e0b225b48f35964afb2eb023ecca4.tar.bz2 otp-25ad8573ba9e0b225b48f35964afb2eb023ecca4.zip | |
Merge branch 'hasse/dialyzer/map_fixes/OTP-14572' into maint
* hasse/dialyzer/map_fixes/OTP-14572:
dialyzer: Adjust a test case
dialyzer: Modify handling of singleton map key types
Dialyzer: Rewrite one map type invariant
Dialyzer: Rewrite some of the docs of map types
Diffstat (limited to 'lib/dialyzer/test/map_SUITE_data/results/opaque_key')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/results/opaque_key | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/opaque_key b/lib/dialyzer/test/map_SUITE_data/results/opaque_key index 2ae0e0c5c6..8d6379b5e0 100644 --- a/lib/dialyzer/test/map_SUITE_data/results/opaque_key +++ b/lib/dialyzer/test/map_SUITE_data/results/opaque_key @@ -1,4 +1,5 @@ +opaque_key_adt.erl:35: Invalid type specification for function opaque_key_adt:s2/0. The success typing is () -> #{3:='a'} opaque_key_adt.erl:41: Invalid type specification for function opaque_key_adt:s4/0. The success typing is () -> #{1:='a'} opaque_key_adt.erl:44: Invalid type specification for function opaque_key_adt:s5/0. The success typing is () -> #{2:=3} opaque_key_adt.erl:56: Invalid type specification for function opaque_key_adt:smt1/0. The success typing is () -> #{3:='a'} |