aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-06-30 13:42:06 +0200
committerHans Bolinder <[email protected]>2014-06-30 13:42:06 +0200
commita884f78ee7609b3140f5a9fb524599be4ea816d7 (patch)
tree7bc0690dae4881831308cd14b40365e9e717584b /lib/dialyzer
parente54518231ac28096dec8f0a63afe527916ff1343 (diff)
parentd78df206f9356629d82891e5853f7ff53c9f9749 (diff)
downloadotp-a884f78ee7609b3140f5a9fb524599be4ea816d7.tar.gz
otp-a884f78ee7609b3140f5a9fb524599be4ea816d7.tar.bz2
otp-a884f78ee7609b3140f5a9fb524599be4ea816d7.zip
Merge branch 'hb/hipe/pretty_bitstring/OTP-12015' into maint
* hb/hipe/pretty_bitstring/OTP-12015: hipe: Correct pretty-printing of bitstrings
Diffstat (limited to 'lib/dialyzer')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/results/pretty_bitstring3
-rw-r--r--lib/dialyzer/test/small_SUITE_data/src/pretty_bitstring.erl8
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).