aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_adt.erl
blob: ff80d6e99b0cdb2886b5a52aaaffeaa989b0d06b (plain) (tree)



























                                 
-module(rec_adt).

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

-export_type([r1/0]).

-export_type([f/0, op_t/0, a/0]).

-opaque a() :: a | b.

-record(r1,
        {f1 :: a()}).

-opaque r1() :: #r1{}.

-opaque f() :: fun((_) -> _).

-opaque op_t() :: integer().

-spec f() -> f().

f() ->
    fun(_) -> 3 end.

-spec r1() -> r1().

r1() ->
    #r1{f1 = a}.