diff options
| author | Hans Bolinder <[email protected]> | 2019-05-07 07:51:45 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-05-07 07:51:45 +0200 |
| commit | fb9cd9534b94fe8c24bc5412205dd97577894b59 (patch) | |
| tree | 34038c43b0b0eda71b414a75f589b0701191e806 /lib/dialyzer/test | |
| parent | 8918de63a3d7ee8e1945a5c57331dddf1ee91fc2 (diff) | |
| parent | 60e47cba35ff565a33b25ecb01e96881ab7fe0da (diff) | |
| download | otp-fb9cd9534b94fe8c24bc5412205dd97577894b59.tar.gz otp-fb9cd9534b94fe8c24bc5412205dd97577894b59.tar.bz2 otp-fb9cd9534b94fe8c24bc5412205dd97577894b59.zip | |
Merge branch 'hasse/stdlib/check_spec_module/OTP-15563/ERL-845'
* hasse/stdlib/check_spec_module/OTP-15563/ERL-845:
stdlib: Do not allow specs for functions in other modules
Diffstat (limited to 'lib/dialyzer/test')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/spec_other_module | 2 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/spec_other_module.erl | 7 |
2 files changed, 0 insertions, 9 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/spec_other_module b/lib/dialyzer/test/small_SUITE_data/results/spec_other_module deleted file mode 100644 index ab2e35cf55..0000000000 --- a/lib/dialyzer/test/small_SUITE_data/results/spec_other_module +++ /dev/null @@ -1,2 +0,0 @@ - -spec_other_module.erl:7: Contract for function that does not exist: lists:flatten/1 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 deleted file mode 100644 index b36742b1bd..0000000000 --- a/lib/dialyzer/test/small_SUITE_data/src/spec_other_module.erl +++ /dev/null @@ -1,7 +0,0 @@ --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]. |