blob: 30cebf806ad554df988d9ca2447c8159378c31c5 (
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".
|