diff options
| author | Stavros Aronis <[email protected]> | 2015-11-23 15:00:22 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-02-01 08:45:16 +0100 |
| commit | 6b2b36f3ef1a6715b971b81c03edf534a64c6c55 (patch) | |
| tree | eb7c8a536178f18e02f09664d39a2d92f5e60221 /lib/dialyzer/test/opaque_SUITE_data | |
| parent | e038cbe699acc19901e10b9569a3b783e900582d (diff) | |
| download | otp-6b2b36f3ef1a6715b971b81c03edf534a64c6c55.tar.gz otp-6b2b36f3ef1a6715b971b81c03edf534a64c6c55.tar.bz2 otp-6b2b36f3ef1a6715b971b81c03edf534a64c6c55.zip | |
dialyzer: Remove t_parameterized_module/0 from erl_types
Parameterized modules are no longer supported, so module() can only be
an atom().
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/simple | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/simple b/lib/dialyzer/test/opaque_SUITE_data/results/simple index 5f58f69730..391c37664e 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/results/simple +++ b/lib/dialyzer/test/opaque_SUITE_data/results/simple @@ -70,8 +70,8 @@ simple1_api.erl:478: The call 'foo':A(A::simple1_adt:a()) breaks the opaqueness simple1_api.erl:486: The call A:'foo'(A::simple1_adt:a()) breaks the opaqueness of the term A :: simple1_adt:a() simple1_api.erl:499: The call 'foo':A(A::simple1_api:i()) requires that A is of type atom() not simple1_api:i() simple1_api.erl:503: The call 'foo':A(A::simple1_adt:i()) requires that A is of type atom() not simple1_adt:i() -simple1_api.erl:507: The call A:'foo'(A::simple1_api:i()) requires that A is of type atom() | tuple() not simple1_api:i() -simple1_api.erl:511: The call A:'foo'(A::simple1_adt:i()) requires that A is of type atom() | tuple() not simple1_adt:i() +simple1_api.erl:507: The call A:'foo'(A::simple1_api:i()) requires that A is of type atom() not simple1_api:i() +simple1_api.erl:511: The call A:'foo'(A::simple1_adt:i()) requires that A is of type atom() not simple1_adt:i() simple1_api.erl:519: Guard test A::simple1_adt:d2() == B::simple1_adt:d1() contains opaque terms as 1st and 2nd arguments simple1_api.erl:534: Guard test A::simple1_adt:d1() >= 3 contains an opaque term as 1st argument simple1_api.erl:536: Guard test A::simple1_adt:d1() == 3 contains an opaque term as 1st argument |