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/results | |
| 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/results')
| -rw-r--r-- | lib/dialyzer/test/underspecs_SUITE_data/results/remote | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/dialyzer/test/underspecs_SUITE_data/results/remote b/lib/dialyzer/test/underspecs_SUITE_data/results/remote new file mode 100644 index 0000000000..1e0cda3bde --- /dev/null +++ b/lib/dialyzer/test/underspecs_SUITE_data/results/remote @@ -0,0 +1,9 @@ + +remotes1.erl:17: The specification for remotes1:foo5/1 states that the function might also return 'ko' but the inferred return is 'ok' +remotes1.erl:20: Type specification remotes1:foo6('ok' | 'ko') -> 'ok' is a supertype of the success typing: remotes1:foo6('ok') -> 'ok' +remotes1.erl:25: The specification for remotes1:foo7/1 states that the function might also return 'ko' but the inferred return is 'ok' +remotes1.erl:28: Type specification remotes1:foo8(local_type_42()) -> 'ok' is a supertype of the success typing: remotes1:foo8('ok') -> 'ok' +remotes1.erl:33: The specification for remotes1:foo9/1 states that the function might also return 'ko' but the inferred return is 'ok' +remotes1.erl:36: Type specification remotes1:foo10(local_and_known_remote_type_42()) -> 'ok' is a supertype of the success typing: remotes1:foo10('ok') -> 'ok' +remotes1.erl:49: Type specification remotes1:foo13('ok') -> local_and_unknown_remote_type_42() is a supertype of the success typing: remotes1:foo13('ok') -> 'ok' +remotes1.erl:52: Type specification remotes1:foo14(local_and_unknown_remote_type_42()) -> 'ok' is a supertype of the success typing: remotes1:foo14('ok') -> 'ok' |