diff options
Diffstat (limited to 'lib/dialyzer/test/opaque_tests_SUITE_data/src/gb_sets/gb_sets_rec.erl')
| -rw-r--r-- | lib/dialyzer/test/opaque_tests_SUITE_data/src/gb_sets/gb_sets_rec.erl | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/lib/dialyzer/test/opaque_tests_SUITE_data/src/gb_sets/gb_sets_rec.erl b/lib/dialyzer/test/opaque_tests_SUITE_data/src/gb_sets/gb_sets_rec.erl deleted file mode 100644 index 008b0a486a..0000000000 --- a/lib/dialyzer/test/opaque_tests_SUITE_data/src/gb_sets/gb_sets_rec.erl +++ /dev/null @@ -1,23 +0,0 @@ -%%--------------------------------------------------------------------- -%% 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_set()}). - --spec new() -> #rec{}. -new() -> - #rec{g = gb_sets:empty()}. - --spec get_g(#rec{}) -> gb_set(). -get_g(R) -> - R#rec.g. |