diff options
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl')
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl b/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl index ad3771aa2c..026d6f0c77 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl +++ b/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl @@ -2,13 +2,12 @@ -export([f/0, gen/0]). --opaque id() :: string(). +-export_type([id/0]). --spec f() -> boolean(). +-opaque id() :: string(). -%%Equality test issue -f() -> "Dummy" == gen(). +-spec f() -> id(). +f() -> "Dummy" = gen(). %% Matching issue -spec gen() -> id(). - gen() -> "Dummy". |