blob: 7c34b01c2deb0bd59d23c084d0f535c98e369306 (
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
|
%%---------------------------------------------------------------------
%% This module does not test gb_sets. Instead it tests that we can
%% create records whose fields are declared with an opaque type and
%% retrieve these fields without problems. Unitialized record fields
%% used to cause trouble for the analysis due to the implicit
%% 'undefined' value that record fields contain. The problem was the
%% strange interaction of ?opaque() and ?union() in the definition of
%% erl_types:t_inf/3. This was fixed 18/1/2009.
%% --------------------------------------------------------------------
-module(gb_sets_rec).
-export([new/0, get_g/1]).
-record(rec, {g :: gb_sets:set()}).
-spec new() -> #rec{}.
new() ->
#rec{g = gb_sets:empty()}.
-spec get_g(#rec{}) -> gb_sets:set().
get_g(R) ->
R#rec.g.
|