1 files changed, 47 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/ditrap.erl b/lib/dialyzer/test/small_SUITE_data/src/ditrap.erl
new file mode 100644
index 0000000000..2d75f25bd5
--- /dev/null
+++ b/lib/dialyzer/test/small_SUITE_data/src/ditrap.erl
@@ -0,0 +1,47 @@
+%% A bug reported by Tail-f Systems. The problem is that record types
+%% are included without properly limiting their depth.
+
+-module(ditrap).
+
+-define(tref(T), ?MODULE:T).
+-define(fref(T), ?MODULE:T).
+
+-export_type([ module_rec/0
+             , typedef_rec/0
+             , type_spec_fun/0
+             ]).
+
+-record(type, {
+          base :: 'builtin' | external:random_type() | ?tref(typedef_rec()),
+          type_spec_fun :: ?fref(type_spec_fun())
+         }).
+
+-record(typedef, {type :: #type{}}).
+
+-record(typedefs, {
+          map :: ?tref(typedef_rec()),
+          parent :: 'undefined' | #typedefs{}
+         }).
+
+-record(sn, {
+          module :: ?tref(module_rec()),
+          typedefs :: #typedefs{},
+          type :: 'undefined' | #type{},
+          keys :: 'undefined' | [#sn{}],
+          children = [] :: [#sn{}]
+         }).
+
+-record(augment, {children = [] :: [#sn{}]}).
+
+-record(module, {
+          submodules = [] :: [{#module{}, external:pos()}],
+          typedefs = #typedefs{} :: #typedefs{},
+          children = [] :: [#sn{}],
+          remote_augments = [] :: [{ModuleName :: atom(), [#augment{}]}],
+          local_augments  = [] :: [#augment{}]
+         }).
+
+-type typedef_rec() :: #typedef{}.
+-type module_rec() :: #module{}.
+
+-type type_spec_fun() :: undefined | fun((#type{}, #module{}) -> any()).