diff options
| author | Hans Bolinder <[email protected]> | 2014-06-26 14:31:15 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-06-26 15:07:01 +0200 |
| commit | d78df206f9356629d82891e5853f7ff53c9f9749 (patch) | |
| tree | 7bc0690dae4881831308cd14b40365e9e717584b /lib/dialyzer/test | |
| parent | e54518231ac28096dec8f0a63afe527916ff1343 (diff) | |
| download | otp-d78df206f9356629d82891e5853f7ff53c9f9749.tar.gz otp-d78df206f9356629d82891e5853f7ff53c9f9749.tar.bz2 otp-d78df206f9356629d82891e5853f7ff53c9f9749.zip | |
hipe: Correct pretty-printing of bitstrings
Diffstat (limited to 'lib/dialyzer/test')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring | 3 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/pretty_bitstring.erl | 8 |
2 files changed, 11 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring b/lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring new file mode 100644 index 0000000000..0ad6eee766 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring @@ -0,0 +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()) diff --git a/lib/dialyzer/test/small_SUITE_data/src/pretty_bitstring.erl b/lib/dialyzer/test/small_SUITE_data/src/pretty_bitstring.erl new file mode 100644 index 0000000000..3dbf5ab7a7 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/pretty_bitstring.erl @@ -0,0 +1,8 @@ +%% Prettyprint bitstrings. + +-module(pretty_bitstring). + +-export([t/0]). + +t() -> + binary:copy(<<1,2,3:3>>,2). |