diff options
author | Hans Bolinder <[email protected]> | 2015-12-09 15:05:40 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2015-12-15 08:55:07 +0100 |
commit | ce1cffd6f8812fa6216d9d71afaca20e789b7beb (patch) | |
tree | 7b88bb1a63bb087a50cf1a1569b18ca91234807b /lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring | |
parent | 2af883c62efe6bae1bf9013783f43a5b9848c237 (diff) | |
download | otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.tar.gz otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.tar.bz2 otp-ce1cffd6f8812fa6216d9d71afaca20e789b7beb.zip |
dialyzer: Print constraints using the '::' syntax
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring b/lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring index 0ad6eee766..e148e5cf22 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring +++ b/lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring @@ -1,3 +1,3 @@ pretty_bitstring.erl:7: Function t/0 has no local return -pretty_bitstring.erl:8: The call binary:copy(#{#<1>(8, 1, 'integer', ['unsigned', 'big']), #<2>(8, 1, 'integer', ['unsigned', 'big']), #<3>(3, 1, 'integer', ['unsigned', 'big'])}#,2) breaks the contract (Subject,N) -> binary() when is_subtype(Subject,binary()), is_subtype(N,non_neg_integer()) +pretty_bitstring.erl:8: The call binary:copy(#{#<1>(8, 1, 'integer', ['unsigned', 'big']), #<2>(8, 1, 'integer', ['unsigned', 'big']), #<3>(3, 1, 'integer', ['unsigned', 'big'])}#,2) breaks the contract (Subject,N) -> binary() when Subject :: binary(), N :: non_neg_integer() |