diff options
| author | Hans Bolinder <[email protected]> | 2015-06-15 13:05:06 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-06-15 13:05:06 +0200 |
| commit | 56e3ade9d8396cba5508b0de557a1bd574c37b69 (patch) | |
| tree | 3df65950661a78026aa2334fd26dd5ff75382942 /lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl | |
| parent | 26ed9f0e4a23985b7a0fbf7d9a38142edaf5c1aa (diff) | |
| parent | d65264ca24c966402876aa6f9127be8810310255 (diff) | |
| download | otp-56e3ade9d8396cba5508b0de557a1bd574c37b69.tar.gz otp-56e3ade9d8396cba5508b0de557a1bd574c37b69.tar.bz2 otp-56e3ade9d8396cba5508b0de557a1bd574c37b69.zip | |
Merge branch 'hb/dialyzer/fix_opaque_types/OTP-12493'
* hb/dialyzer/fix_opaque_types/OTP-12493:
dialyzer: Fix a minor bug concerning opaque types
dialyzer: Modify warning for comparison of opaque types
dialyzer: Modify the handling of parametrized opaque types
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl b/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl index eef2074e0c..7db1100597 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl +++ b/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl @@ -145,7 +145,7 @@ adt_t4() -> A = simple1_adt:n1(), B = simple1_adt:n2(), A = A, % OK - A = B. % opaque term + A = B. % opaque terms adt_t7() -> A = simple1_adt:n1(), @@ -178,7 +178,7 @@ c2(A, B) -> c2() -> A = simple1_adt:d1(), B = simple1_adt:d2(), - if A =< B -> ok end. % opaque term + if A =< B -> ok end. % opaque terms c3() -> B = simple1_adt:d2(), @@ -516,7 +516,7 @@ eq1() -> A = simple1_adt:d2(), B = simple1_adt:d1(), if - A == B -> % opaque term + A == B -> % opaque terms 0; A == A -> 1; @@ -555,7 +555,7 @@ c6(A, B) -> c7(A, B) -> A = simple1_adt:d1(), B = simple1_adt:d2(), - A =< B. % opaque term + A =< B. % opaque terms c8() -> D = digraph:new(), |