aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/int/int_adt.erl
blob: 99f8cbdc4a9b2722e491c424867de33e8495f660 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
%%----------------------------------------------------------------------------
%% Module that tests consistency of spec declarations in the presence of
%% opaque types.  Contains both valid and invalid contracts with opaque types.
%%----------------------------------------------------------------------------

-module(int_adt).

-export([new_i/0, add_i/2, div_i/2, add_f/2, div_f/2]).

-export_type([int/0]).

-opaque int() :: integer().

%% the user has declared the return to be an opaque type, but the success
%% typing inference is too strong and finds a subtype as a return: this is OK
-spec new_i() -> int().
new_i() -> 42.

%% the success typing is more general than the contract: this is OK
-spec add_i(int(), int()) -> int().
add_i(X, Y) -> X + Y.

%% the success typing coincides with the contract: this is OK, of course
-spec div_i(int(), int()) -> int().
div_i(X, Y) -> X div Y.

%% the success typing has an incompatible domain element: this is invalid
-spec add_f(int(), int()) -> int().
add_f(X, Y) when is_float(Y) -> X + trunc(Y).

%% the success typing has an incompatible range: this is invalid
-spec div_f(int(), int()) -> int().
div_f(X, Y) -> X / Y.