blob: 5ca3202bba8dfc5214a35db08b926a06f027cbb6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
-module(union_adt).
-export([new/1, new_a/1, new_rec/1]).
-record(rec, {x = 42 :: integer()}).
-opaque u() :: 'aaa' | 'bbb' | #rec{}.
new(a) -> aaa;
new(b) -> bbb;
new(X) when is_integer(X) ->
#rec{x = X}.
%% the following two functions (and their uses in union_use.erl) test
%% that the return type is the opaque one and not just a subtype of it
new_a(a) -> aaa.
new_rec(X) when is_integer(X) ->
#rec{x = X}.
|
