aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/contract5.erl
blob: c4c9ac9ebff27b27328065dcf516b4db33a577cd (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
%%%-------------------------------------------------------------------
%%% File    : contract5.erl
%%% Author  : Tobias Lindahl <[email protected]>
%%% Description : Excercise modified record types.
%%%
%%% Created : 15 Apr 2008 by Tobias Lindahl <[email protected]>
%%%-------------------------------------------------------------------
-module(contract5).
-export([t/0]).

-record(bar, {baz}).

-spec t() -> #bar{baz :: boolean()}.

t() -> #bar{baz = not_a_boolean}.