diff options
| author | Kostis Sagonas <[email protected]> | 2010-09-24 15:22:47 +0300 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2010-09-24 15:22:47 +0300 |
| commit | 7c64e547eff945059732384617676b1cafc11117 (patch) | |
| tree | ebfeb34864eed9305c74ed57ce3185219a84a742 /lib | |
| parent | dd51118499209bbd91c0092d9778897026bde4c6 (diff) | |
| download | otp-7c64e547eff945059732384617676b1cafc11117.tar.gz otp-7c64e547eff945059732384617676b1cafc11117.tar.bz2 otp-7c64e547eff945059732384617676b1cafc11117.zip | |
Correct erroneous specs; strengthen some others
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/stdlib/src/gb_sets.erl | 2 | ||||
| -rw-r--r-- | lib/stdlib/src/lists.erl | 4 | ||||
| -rw-r--r-- | lib/stdlib/src/orddict.erl | 2 | ||||
| -rw-r--r-- | lib/stdlib/src/ordsets.erl | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/lib/stdlib/src/gb_sets.erl b/lib/stdlib/src/gb_sets.erl index 086dc79b46..113f29e252 100644 --- a/lib/stdlib/src/gb_sets.erl +++ b/lib/stdlib/src/gb_sets.erl @@ -657,7 +657,7 @@ intersection_2([], _, As, S) -> intersection_2(_, [], As, S) -> {S, balance_revlist(As, S)}. --spec intersection([gb_set()]) -> gb_set(). +-spec intersection([gb_set(),...]) -> gb_set(). intersection([S | Ss]) -> intersection_list(S, Ss). diff --git a/lib/stdlib/src/lists.erl b/lib/stdlib/src/lists.erl index 08ee595f4d..431e5b114e 100644 --- a/lib/stdlib/src/lists.erl +++ b/lib/stdlib/src/lists.erl @@ -350,7 +350,7 @@ sort_1(X, [], R) -> %% merge(List) -> L %% merges a list of sorted lists --spec merge([T]) -> [T]. +-spec merge([[T]]) -> [T]. merge(L) -> mergel(L, []). @@ -842,7 +842,7 @@ usort_1(X, []) -> %% umerge(List) -> L %% merges a list of sorted lists without duplicates, removes duplicates --spec umerge([T]) -> [T]. +-spec umerge([[T]]) -> [T]. umerge(L) -> umergel(L). diff --git a/lib/stdlib/src/orddict.erl b/lib/stdlib/src/orddict.erl index c7b52b933e..8a13992785 100644 --- a/lib/stdlib/src/orddict.erl +++ b/lib/stdlib/src/orddict.erl @@ -151,7 +151,7 @@ map(F, [{Key,Val}|D]) -> [{Key,F(Key, Val)}|map(F, D)]; map(F, []) when is_function(F, 2) -> []. --spec filter(fun((term(), term()) -> term()), orddict()) -> orddict(). +-spec filter(fun((term(), term()) -> boolean()), orddict()) -> orddict(). filter(F, [{Key,Val}=E|D]) -> case F(Key, Val) of diff --git a/lib/stdlib/src/ordsets.erl b/lib/stdlib/src/ordsets.erl index 05041c15f1..e992b66714 100644 --- a/lib/stdlib/src/ordsets.erl +++ b/lib/stdlib/src/ordsets.erl @@ -147,7 +147,7 @@ intersection(_, []) -> %% intersection([OrdSet]) -> OrdSet. %% Return the intersection of the list of ordered sets. --spec intersection([ordset(_)]) -> ordset(_). +-spec intersection([ordset(_),...]) -> ordset(_). intersection([S1,S2|Ss]) -> intersection1(intersection(S1, S2), Ss); |