aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/results
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2016-10-31 14:03:13 +0100
committerHans Bolinder <[email protected]>2016-11-22 10:29:04 +0100
commitc79e32a66c366bbdf5025ad0ae7f7057a0ddb156 (patch)
tree29c1556796f9383f567c2811206d8a9b919bba3f /lib/dialyzer/test/opaque_SUITE_data/results
parent4683b5c227a238ee27f658bdfe2981c4b69acf09 (diff)
downloadotp-c79e32a66c366bbdf5025ad0ae7f7057a0ddb156.tar.gz
otp-c79e32a66c366bbdf5025ad0ae7f7057a0ddb156.tar.bz2
otp-c79e32a66c366bbdf5025ad0ae7f7057a0ddb156.zip
dialyzer: Correct a warnings message
Messages like "The attempt to match a term of type rec_api:f() against the variable _ breaks the opaqueness of rec_adt:f()" now look like "The attempt to match a term of type rec_adt:f() against the record field 'f' with type rec_api:f() breaks the opaqueness of the term".
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/results')
-rw-r--r--lib/dialyzer/test/opaque_SUITE_data/results/simple2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/simple b/lib/dialyzer/test/opaque_SUITE_data/results/simple
index 391c37664e..5a7f006d8c 100644
--- a/lib/dialyzer/test/opaque_SUITE_data/results/simple
+++ b/lib/dialyzer/test/opaque_SUITE_data/results/simple
@@ -23,7 +23,7 @@ rec_api.erl:29: Matching of pattern {'r1', 10} tagged with a record name violate
rec_api.erl:33: The attempt to match a term of type rec_adt:r1() against the pattern {'r1', 'a'} breaks the opaqueness of the term
rec_api.erl:35: Invalid type specification for function rec_api:adt_t1/1. The success typing is (#r1{f1::'a'}) -> #r1{f1::'a'}
rec_api.erl:40: Invalid type specification for function rec_api:adt_r1/0. The success typing is () -> #r1{f1::'a'}
-rec_api.erl:85: The attempt to match a term of type rec_api:f() against the variable _ breaks the opaqueness of rec_adt:f()
+rec_api.erl:85: The attempt to match a term of type rec_adt:f() against the record field 'f' declared to be of type rec_api:f() breaks the opaqueness of the term
rec_api.erl:99: Record construction #r2{f1::10} violates the declared type of field f1::rec_api:a()
simple1_api.erl:113: The test simple1_api:d1() =:= simple1_api:d2() can never evaluate to 'true'
simple1_api.erl:118: Guard test simple1_api:d2() =:= A::simple1_api:d1() can never succeed