aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/timer/timer_use.erl
blob: 9c8ea0af1ce2a0ee465a5c7823bb3eb7c3e2c9e1 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
%%---------------------------------------------------------------------------
%% A test case with:
%%   - a genuine matching error					-- 1st branch
%%   - a violation of the opaqueness of timer:tref()		-- 2nd branch
%%   - a subtle violation of the opaqueness of timer:tref()	-- 3rd branch
%% The test is supposed to check that these cases are treated properly.
%%---------------------------------------------------------------------------

-module(timer_use).
-export([wrong/0]).

-spec wrong() -> error.

wrong() ->
  case timer:kill_after(42, self()) of
    gazonk -> weird;
    {ok, 42} -> weirder;
    {Tag, gazonk} when Tag =/= error -> weirdest;
    {error, _} -> error
  end.