diff options
author | Richard Carlsson <[email protected]> | 2018-02-20 13:47:25 +0100 |
---|---|---|
committer | Richard Carlsson <[email protected]> | 2018-02-20 21:35:53 +0100 |
commit | 9883f9714bd4a56ae9d68b3b0e7958461918946e (patch) | |
tree | db0432be9d234c11c6df8ae1f97cc8d0bbd4a4f7 /lib/dialyzer/test/small_SUITE_data/results/chars | |
parent | 6b9d92005cf3eb9b2d8dc2370dd089f8d262fa06 (diff) | |
download | otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.tar.gz otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.tar.bz2 otp-9883f9714bd4a56ae9d68b3b0e7958461918946e.zip |
Dialyzer should not throw away spec information because of overspec
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/chars')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/chars | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/chars b/lib/dialyzer/test/small_SUITE_data/results/chars index 2c1f8f8d17..72fbdb4528 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/chars +++ b/lib/dialyzer/test/small_SUITE_data/results/chars @@ -1,4 +1,4 @@ -chars.erl:29: Invalid type specification for function chars:f/1. The success typing is (#{'b':=50}) -> 'ok' -chars.erl:32: Function t1/0 has no local return -chars.erl:32: The call chars:f(#{'b':=50}) breaks the contract (#{'a':=49,'b'=>50,'c'=>51}) -> 'ok' +chars.erl:37: Invalid type specification for function chars:f/1. The success typing is (#{'b':=50}) -> 'ok' +chars.erl:40: Function t1/0 has no local return +chars.erl:40: The call chars:f(#{'b':=50}) breaks the contract (#{'a':=49,'b'=>50,'c'=>51}) -> 'ok' |