diff options
author | Hans Bolinder <[email protected]> | 2016-11-23 08:36:18 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-11-23 08:36:18 +0100 |
commit | 3c8ba27ed87707942c357ade1d1f2471700f4203 (patch) | |
tree | 5d6e212d58b8881fbf8b349553ad8d85e0af3eb1 /lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl | |
parent | 459ee8ccc30472534ce410e62c668568d44b8b8b (diff) | |
parent | ce5bbeaf294491ba74c8cf793a22cc6d00d368b7 (diff) | |
download | otp-3c8ba27ed87707942c357ade1d1f2471700f4203.tar.gz otp-3c8ba27ed87707942c357ade1d1f2471700f4203.tar.bz2 otp-3c8ba27ed87707942c357ade1d1f2471700f4203.zip |
Merge branch 'maint'
* maint:
dialyzer: Substitute 'opacity' for 'opaqueness'
dialyzer: Improve a warning message
dialyzer: Improve a warning message
dialyzer: Correct a warnings message
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl')
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl b/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl index fb6d59d263..59b9e0fec4 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl +++ b/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl @@ -30,7 +30,7 @@ t3() -> adt_t1() -> R = rec_adt:r1(), - {r1, a} = R. % breaks the opaqueness + {r1, a} = R. % breaks the opacity -spec adt_t1(rec_adt:r1()) -> rec_adt:r1(). % invalid type spec @@ -82,7 +82,7 @@ f() -> r_adt() -> {{r, rec_adt:f(), 2}, - #r{f = rec_adt:f(), o = 2}}. % breaks the opaqueness + #r{f = rec_adt:f(), o = 2}}. % breaks the opacity -record(r2, % like #r1{}, but with initial value {f1 = a :: a()}). @@ -110,7 +110,7 @@ u3() -> v1() -> A = #r3{f1 = queue:new()}, - {r3, a} = A. % breaks the opaqueness + {r3, a} = A. % breaks the opacity v2() -> A = {r3, 10}, @@ -120,4 +120,4 @@ v2() -> v3() -> A = {r3, 10}, - #r3{f1 = 10} = A. % breaks the opaqueness + #r3{f1 = 10} = A. % breaks the opacity |