diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/src/spec_other_module.erl')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/spec_other_module.erl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/src/spec_other_module.erl b/lib/dialyzer/test/small_SUITE_data/src/spec_other_module.erl new file mode 100644 index 0000000000..b36742b1bd --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/src/spec_other_module.erl @@ -0,0 +1,7 @@ +-module(spec_other_module). + +%% OTP-15562 and ERL-845. Example provided by Kostis. + +-type deep_list(A) :: [A | deep_list(A)]. + +-spec lists:flatten(deep_list(A)) -> [A]. |