aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis5.erl
blob: ecf14c91c1b30c11333e1e870c4e669ca64ec036 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
-module(zoltan_kis5).

-export([f/0, gen/0]).

-opaque id() :: string().

-spec f() -> boolean().

%% Equality test issue
f() -> "Dummy" == gen().

-spec gen() -> id().

gen() -> "Dummy".