diff options
author | Stavros Aronis <[email protected]> | 2011-11-23 17:28:57 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2011-11-30 14:18:31 +0100 |
commit | 804df7a55aa2ec49c2001f03aa5f0af1e5f7e18f (patch) | |
tree | 5cf6257149e6e6178fb360c48689a5719572df59 /lib/dialyzer/test/underspecs_SUITE_data/src/remote | |
parent | c2c93dd69c0d66a836ec938aeabbc7130960e445 (diff) | |
download | otp-804df7a55aa2ec49c2001f03aa5f0af1e5f7e18f.tar.gz otp-804df7a55aa2ec49c2001f03aa5f0af1e5f7e18f.tar.bz2 otp-804df7a55aa2ec49c2001f03aa5f0af1e5f7e18f.zip |
No warnings for underspecs with remote types
Diffstat (limited to 'lib/dialyzer/test/underspecs_SUITE_data/src/remote')
-rw-r--r-- | lib/dialyzer/test/underspecs_SUITE_data/src/remote/remotes1.erl | 61 | ||||
-rw-r--r-- | lib/dialyzer/test/underspecs_SUITE_data/src/remote/some_known_remote.erl | 5 |
2 files changed, 66 insertions, 0 deletions
diff --git a/lib/dialyzer/test/underspecs_SUITE_data/src/remote/remotes1.erl b/lib/dialyzer/test/underspecs_SUITE_data/src/remote/remotes1.erl new file mode 100644 index 0000000000..b722495095 --- /dev/null +++ b/lib/dialyzer/test/underspecs_SUITE_data/src/remote/remotes1.erl @@ -0,0 +1,61 @@ +-module(remotes1). + +-compile(export_all). + +-spec foo1(some_unknown_remote:type42()) -> ok. +foo1(ok) -> ok. + +-spec foo2(ok) -> some_unknown_remote:type42(). +foo2(ok) -> ok. + +-spec foo3(some_known_remote:type42()) -> ok. +foo3(ok) -> ok. + +-spec foo4(ok) -> some_known_remote:type42(). +foo4(ok) -> ok. + +-spec foo5(ok|ko) -> ok|ko. +foo5(ok) -> ok. + +-spec foo6(ok|ko) -> ok. +foo6(ok) -> ok. + +-type local_type_42() :: ok | ko. + +-spec foo7(ok) -> local_type_42(). +foo7(ok) -> ok. + +-spec foo8(local_type_42()) -> ok. +foo8(ok) -> ok. + +-type local_and_known_remote_type_42() :: some_known_remote:type42() | ok | ko. + +-spec foo9(ok) -> local_and_known_remote_type_42(). +foo9(ok) -> ok. + +-spec foo10(local_and_known_remote_type_42()) -> ok. +foo10(ok) -> ok. + +-type local_and_ok_known_remote_type_42() :: some_known_remote:type42() | ok. + +-spec foo11(ok) -> local_and_ok_known_remote_type_42(). +foo11(ok) -> ok. + +-spec foo12(local_and_ok_known_remote_type_42()) -> ok. +foo12(ok) -> ok. + +-type local_and_unknown_remote_type_42() :: some_unknown_remote:type42() | ok | ko. + +-spec foo13(ok) -> local_and_unknown_remote_type_42(). +foo13(ok) -> ok. + +-spec foo14(local_and_unknown_remote_type_42()) -> ok. +foo14(ok) -> ok. + +-type local_and_ok_unknown_remote_type_42() :: some_unknown_remote:type42() | ok. + +-spec foo15(ok) -> local_and_ok_unknown_remote_type_42(). +foo15(ok) -> ok. + +-spec foo16(local_and_ok_unknown_remote_type_42()) -> ok. +foo16(ok) -> ok. diff --git a/lib/dialyzer/test/underspecs_SUITE_data/src/remote/some_known_remote.erl b/lib/dialyzer/test/underspecs_SUITE_data/src/remote/some_known_remote.erl new file mode 100644 index 0000000000..437f1e7826 --- /dev/null +++ b/lib/dialyzer/test/underspecs_SUITE_data/src/remote/some_known_remote.erl @@ -0,0 +1,5 @@ +-module(some_known_remote). + +-export_type([type42/0]). + +-type type42() :: ok | ko. |