blob: aa1a4abcb76d8550f9c74b07d3f8d7a716ae2e23 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
-module(zoltan_kis4).
-export([f/0, gen/0]).
-opaque id() :: string().
-spec f() -> boolean().
%%Equality test issue
f() -> "Dummy" == gen().
-spec gen() -> id().
gen() -> "Dummy".
|