diff options
author | Stavros Aronis <[email protected]> | 2011-03-21 18:23:12 +0200 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:15 +0200 |
commit | 5b81e559717a49c87d471510f9358fff9cb16b8c (patch) | |
tree | ef3e6eedcdf8fe2932c65dcecda84d704783a8a0 /lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl | |
parent | a8e28fa5447c5f37917a664e7d0b86aea2337388 (diff) | |
download | otp-5b81e559717a49c87d471510f9358fff9cb16b8c.tar.gz otp-5b81e559717a49c87d471510f9358fff9cb16b8c.tar.bz2 otp-5b81e559717a49c87d471510f9358fff9cb16b8c.zip |
Update opaque/zoltan_kis* sources
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". |