aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis3.erl
blob: 07c9f0a2706491a3ef6344bf0a8531c06354efd1 (plain) (tree)
1
2
3
4
5
6
7
8
9



                      
                          


                    
                              

                         
                               

                 
-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() -> zoltan_adt:id().

gen() -> "Dummy".