diff options
| author | Hans Bolinder <[email protected]> | 2016-10-31 14:03:13 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-11-22 10:29:04 +0100 |
| commit | c79e32a66c366bbdf5025ad0ae7f7057a0ddb156 (patch) | |
| tree | 29c1556796f9383f567c2811206d8a9b919bba3f /lib/dialyzer/test/opaque_SUITE_data | |
| parent | 4683b5c227a238ee27f658bdfe2981c4b69acf09 (diff) | |
| download | otp-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')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/simple | 2 |
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 |