blob: 6385473c20e479171595875a4576d79745ef6905 (
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}.
|
