aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis6.erl
blob: 6f0779d7d19403c9d5fceb16230cd93e897eca73 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14













                                    
-module(zoltan_kis6).

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

-opaque id() :: {integer(),atom()}.

%%-spec f() -> id().

%% Tuple Unification (t_unify) issue
f() -> {X,Y} = gen().

-spec gen() -> id().

gen() -> {34, leprecon}.