diff options
author | Hans Bolinder <[email protected]> | 2016-11-22 10:20:55 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-11-22 10:31:59 +0100 |
commit | a5f88f548c7f1045b5aa9642574167df899c2f3b (patch) | |
tree | f3e0735e40cec62b90eb72492be9274ed5c0177f /lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl | |
parent | 773948083b57ad59eb90b5668e72175d79acbe1f (diff) | |
download | otp-a5f88f548c7f1045b5aa9642574167df899c2f3b.tar.gz otp-a5f88f548c7f1045b5aa9642574167df899c2f3b.tar.bz2 otp-a5f88f548c7f1045b5aa9642574167df899c2f3b.zip |
dialyzer: Substitute 'opacity' for 'opaqueness'
Suggested by Kostis.
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 |