aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2011-03-21 18:23:12 +0200
committerHenrik Nord <[email protected]>2011-05-04 15:06:15 +0200
commit5b81e559717a49c87d471510f9358fff9cb16b8c (patch)
treeef3e6eedcdf8fe2932c65dcecda84d704783a8a0
parenta8e28fa5447c5f37917a664e7d0b86aea2337388 (diff)
downloadotp-5b81e559717a49c87d471510f9358fff9cb16b8c.tar.gz
otp-5b81e559717a49c87d471510f9358fff9cb16b8c.tar.bz2
otp-5b81e559717a49c87d471510f9358fff9cb16b8c.zip
Update opaque/zoltan_kis* sources
-rw-r--r--lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis1.erl2
-rw-r--r--lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis2.erl2
-rw-r--r--lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis3.erl2
-rw-r--r--lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl9
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".