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 | |
| 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')
4 files changed, 7 insertions, 8 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis1.erl b/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis1.erl index 82bcf2edcf..e09ccb80df 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis1.erl +++ b/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis1.erl @@ -6,7 +6,7 @@ -spec f() -> integer(). -%BIF and Unification(t_unify) issue +%% BIF and Unification(t_unify) issue f() -> erlang:length(gen()). -spec gen() -> id(). diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis2.erl b/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis2.erl index a4b0a18157..38c6051c58 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis2.erl +++ b/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis2.erl @@ -7,7 +7,7 @@ -spec get(term(), data()) -> term(). get(Key, Data) -> - %%Should unopaque data for remote calls + %% Should unopaque data for remote calls case gb_trees:lookup(Key, Data) of 'none' -> 'undefined'; {'value', Val} -> Val diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis3.erl b/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis3.erl index 4977ca4bc9..b62b9de576 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis3.erl +++ b/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis3.erl @@ -6,7 +6,7 @@ -spec f() -> char(). -%%List pattern matching issue +%% List pattern matching issue f() -> [H|_T] = gen(), H. -spec gen() -> id(). 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". |