diff options
| author | Stavros Aronis <[email protected]> | 2011-03-20 23:42:58 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:15 +0200 |
| commit | a8e28fa5447c5f37917a664e7d0b86aea2337388 (patch) | |
| tree | d9c5c0339866dc9d0dbde43b4dfb560bd9fdba3f /lib/dialyzer/test/options1_SUITE_data/results | |
| parent | ca4633fd683527097451ca1398c90c87bb5c14fc (diff) | |
| download | otp-a8e28fa5447c5f37917a664e7d0b86aea2337388.tar.gz otp-a8e28fa5447c5f37917a664e7d0b86aea2337388.tar.bz2 otp-a8e28fa5447c5f37917a664e7d0b86aea2337388.zip | |
Update options1/compiler results
Diffstat (limited to 'lib/dialyzer/test/options1_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/options1_SUITE_data/results/compiler | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/test/options1_SUITE_data/results/compiler b/lib/dialyzer/test/options1_SUITE_data/results/compiler index 924ef389df..e82087ae86 100644 --- a/lib/dialyzer/test/options1_SUITE_data/results/compiler +++ b/lib/dialyzer/test/options1_SUITE_data/results/compiler @@ -6,8 +6,8 @@ beam_disasm.erl:537: The variable X can never match since previous clauses compl beam_type.erl:284: The pattern <'pi', 0> can never match the type <_,1 | 2> beam_validator.erl:396: The pattern <{'jump', {'f', _}}, Vst = {'vst', 'none', _}> can never match the type <_,#vst{current::#st{ct::[]}}> beam_validator.erl:690: The pattern <'term', OldT> can never match the type <{'tuple',[any(),...]},_> -beam_validator.erl:692: Clause guard cannot succeed. The pattern <NewT = {Type, New}, OldT = {_, Old}> was matched against the type <{'tuple',[any(),...]},_> -beam_validator.erl:699: Clause guard cannot succeed. The pattern <NewT = {Type, _}, 'number'> was matched against the type <{'tuple',[any(),...]},_> +beam_validator.erl:693: Guard test 'or'('false','false') can never succeed +beam_validator.erl:700: Guard test 'or'('false','false') can never succeed beam_validator.erl:702: The pattern <'number', OldT = {Type, _}> can never match the type <{'tuple',[any(),...]},_> beam_validator.erl:705: The pattern <'bool', {'atom', A}> can never match the type <{'tuple',[any(),...]},_> beam_validator.erl:707: The pattern <{'atom', A}, 'bool'> can never match the type <{'tuple',[any(),...]},_> |