diff options
| author | Hans Bolinder <[email protected]> | 2019-03-27 12:54:46 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-04-08 13:58:40 +0200 |
| commit | 9db8a098a90003424773b125b6e2031819f243fb (patch) | |
| tree | 50137194702512c165ef9cabf7eec302c81b0e10 /lib/dialyzer/test/opaque_SUITE_data | |
| parent | f93862d2fe7e994523b1a6b2ca99635a4cf5bba3 (diff) | |
| download | otp-9db8a098a90003424773b125b6e2031819f243fb.tar.gz otp-9db8a098a90003424773b125b6e2031819f243fb.tar.bz2 otp-9db8a098a90003424773b125b6e2031819f243fb.zip | |
dialyzer: Fix pretty printing of binaries
Notice the comment in dialyzer_utils:
%% Copied from core_pp. The function cerl:binary_segments/2 should/could
%% be extended to handle literals, but then the cerl module cannot be
%% HiPE-compiled as of Erlang/OTP 22.0 (due to <<I:N>>).
When at it: simplify some common cases like "/binary-unit:8".
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/simple | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/simple b/lib/dialyzer/test/opaque_SUITE_data/results/simple index 5cd8916aee..0e1bb934e9 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/results/simple +++ b/lib/dialyzer/test/opaque_SUITE_data/results/simple @@ -63,9 +63,9 @@ simple1_api.erl:381: Invalid type specification for function simple1_api:bool_ad simple1_api.erl:407: The size simple1_adt:i1() breaks the opacity of A simple1_api.erl:418: The attempt to match a term of type non_neg_integer() against the variable A breaks the opacity of simple1_adt:i1() simple1_api.erl:425: The attempt to match a term of type non_neg_integer() against the variable B breaks the opacity of simple1_adt:i1() -simple1_api.erl:432: The pattern <<_:B/integer-unit:1>> can never match the type any() +simple1_api.erl:432: The pattern <<_:B>> can never match the type any() simple1_api.erl:448: The attempt to match a term of type non_neg_integer() against the variable Sz breaks the opacity of simple1_adt:i1() -simple1_api.erl:460: The attempt to match a term of type simple1_adt:bit1() against the pattern <<_/binary-unit:8>> breaks the opacity of the term +simple1_api.erl:460: The attempt to match a term of type simple1_adt:bit1() against the pattern <<_/binary>> breaks the opacity of the term simple1_api.erl:478: The call 'foo':A(A::simple1_adt:a()) breaks the opacity of the term A :: simple1_adt:a() simple1_api.erl:486: The call A:'foo'(A::simple1_adt:a()) breaks the opacity of the term A :: simple1_adt:a() simple1_api.erl:499: The call 'foo':A(A::simple1_api:i()) requires that A is of type atom() not simple1_api:i() |