From 5b81e559717a49c87d471510f9358fff9cb16b8c Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Mon, 21 Mar 2011 18:23:12 +0200 Subject: Update opaque/zoltan_kis* sources --- lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis1.erl | 2 +- lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis2.erl | 2 +- lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis3.erl | 2 +- lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl | 9 ++++----- 4 files changed, 7 insertions(+), 8 deletions(-) (limited to 'lib/dialyzer/test/opaque_SUITE_data') 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". -- cgit v1.2.3