aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_tests_SUITE_data/src/mixed_opaque/mixed_opaque_queue_adt.erl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/test/opaque_tests_SUITE_data/src/mixed_opaque/mixed_opaque_queue_adt.erl')
-rw-r--r--lib/dialyzer/test/opaque_tests_SUITE_data/src/mixed_opaque/mixed_opaque_queue_adt.erl26
1 files changed, 0 insertions, 26 deletions
diff --git a/lib/dialyzer/test/opaque_tests_SUITE_data/src/mixed_opaque/mixed_opaque_queue_adt.erl b/lib/dialyzer/test/opaque_tests_SUITE_data/src/mixed_opaque/mixed_opaque_queue_adt.erl
deleted file mode 100644
index ac59f19cd3..0000000000
--- a/lib/dialyzer/test/opaque_tests_SUITE_data/src/mixed_opaque/mixed_opaque_queue_adt.erl
+++ /dev/null
@@ -1,26 +0,0 @@
-%%---------------------------------------------------------------------------
-%% A clone of 'queue_adt' so as to test its combination with 'rec_adt'
-%%---------------------------------------------------------------------------
--module(mixed_opaque_queue_adt).
-
--export([new/0, add/2, dequeue/1, is_empty/1]).
-
--opaque my_queue() :: list().
-
--spec new() -> my_queue().
-new() ->
- [].
-
--spec add(term(), my_queue()) -> my_queue().
-add(E, Q) ->
- Q ++ [E].
-
--spec dequeue(my_queue()) -> {term(), my_queue()}.
-dequeue([H|T]) ->
- {H, T}.
-
--spec is_empty(my_queue()) -> boolean().
-is_empty([]) ->
- true;
-is_empty([_|_]) ->
- false.