lib/dialyzer/test/opaque_tests_SUITE_data/src/zoltan_kis3.erl


1
2
3
4
5
6
7
8
9
10
11
12
13
14

-module(zoltan_kis3).

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

-opaque id() :: string().

-spec f() -> char().

%%List pattern matching issue  
f() -> [H|_T] = gen(), H.

-spec gen() -> id().

gen() -> "Dummy".