diff options
author | Hans Bolinder <[email protected]> | 2014-04-29 10:11:14 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2014-05-05 08:38:05 +0200 |
commit | baf80f03d623bc995183da5347eef2ac5ef3a29a (patch) | |
tree | 2b7f78f31fe4a6be538ac441a76aaba551a289c4 /lib/dialyzer/test | |
parent | d019a20989b3f299e8fdcf20dc210e233ddc3028 (diff) | |
download | otp-baf80f03d623bc995183da5347eef2ac5ef3a29a.tar.gz otp-baf80f03d623bc995183da5347eef2ac5ef3a29a.tar.bz2 otp-baf80f03d623bc995183da5347eef2ac5ef3a29a.zip |
Remove pre-defined types dict(), digraph(), &c
The pre-defined types array(), dict(), digraph(), gb_set(), gb_tree(),
queue(), set(), and tid() have been removed.
Diffstat (limited to 'lib/dialyzer/test')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/predef2.erl | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/predef2.erl b/lib/dialyzer/test/small_SUITE_data/src/predef2.erl deleted file mode 100644 index b1d941a49a..0000000000 --- a/lib/dialyzer/test/small_SUITE_data/src/predef2.erl +++ /dev/null @@ -1,56 +0,0 @@ --module(predef2). - --export([array/1, dict/1, digraph/1, digraph2/1, gb_set/1, gb_tree/1, - queue/1, set/1, tid/0, tid2/0]). - --export_type([array/0, digraph/0, gb_set/0]). - --spec array(array()) -> array:array(). - -array(A) -> - array:relax(A). - --spec dict(dict()) -> dict:dict(). - -dict(D) -> - dict:store(1, a, D). - --spec digraph(digraph()) -> [digraph:edge()]. - -digraph(G) -> - digraph:edges(G). - --spec digraph2(digraph:graph()) -> [digraph:edge()]. - -digraph2(G) -> - digraph:edges(G). - --spec gb_set(gb_set()) -> gb_sets:set(). - -gb_set(S) -> - gb_sets:balance(S). - --spec gb_tree(gb_tree()) -> gb_trees:tree(). - -gb_tree(S) -> - gb_trees:balance(S). - --spec queue(queue()) -> queue:queue(). - -queue(Q) -> - queue:reverse(Q). - --spec set(set()) -> sets:set(). - -set(S) -> - sets:union([S]). - --spec tid() -> tid(). - -tid() -> - ets:new(tid, []). - --spec tid2() -> ets:tid(). - -tid2() -> - ets:new(tid, []). |