diff options
| author | Hans Bolinder <[email protected]> | 2014-01-28 15:38:49 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-01-28 15:38:49 +0100 |
| commit | a0119e4bff42f3ef38df6c9e8bdd1ba40eb49887 (patch) | |
| tree | 944b2bb9a333591ff6e4cde694386616407b62f5 /lib/dialyzer/test/opaque_SUITE_data/results/crash | |
| parent | 127cd6d32a8f5e3ffd56b13ea8f333eeffa253a2 (diff) | |
| parent | 7db0bb7ae867ea5de893914a89c51dc0369b5790 (diff) | |
| download | otp-a0119e4bff42f3ef38df6c9e8bdd1ba40eb49887.tar.gz otp-a0119e4bff42f3ef38df6c9e8bdd1ba40eb49887.tar.bz2 otp-a0119e4bff42f3ef38df6c9e8bdd1ba40eb49887.zip | |
Merge branch 'hb/dialyzer/opaque_types_fixes/OTP-10397'
* hb/dialyzer/opaque_types_fixes/OTP-10397:
[dialyzer] Re-work the handling of opaque types
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/results/crash')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/crash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/crash b/lib/dialyzer/test/opaque_SUITE_data/results/crash index 1ddae5149f..69bdc00257 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/results/crash +++ b/lib/dialyzer/test/opaque_SUITE_data/results/crash @@ -1,6 +1,6 @@ crash_1.erl:45: Record construction #targetlist{list::[]} violates the declared type of field list::'undefined' | crash_1:target() -crash_1.erl:48: The call crash_1:get_using_branch2(Branch::maybe_improper_list(),L::'undefined' | crash_1:target()) contains an opaque term as 2nd argument when terms of different types are expected in these positions +crash_1.erl:48: The call crash_1:get_using_branch2(Branch::maybe_improper_list(),L::'undefined' | crash_1:target()) will never return since it differs in the 2nd argument from the success typing arguments: (any(),maybe_improper_list()) crash_1.erl:50: The pattern <_Branch, []> can never match the type <maybe_improper_list(),'undefined' | crash_1:target()> crash_1.erl:52: The pattern <Branch, [H = {'target', _, _} | _T]> can never match the type <maybe_improper_list(),'undefined' | crash_1:target()> crash_1.erl:54: The pattern <Branch, [{'target', _, _} | T]> can never match the type <maybe_improper_list(),'undefined' | crash_1:target()> |