aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/options1_SUITE_data
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2011-03-20 23:42:58 +0200
committerHenrik Nord <[email protected]>2011-05-04 15:06:15 +0200
commita8e28fa5447c5f37917a664e7d0b86aea2337388 (patch)
treed9c5c0339866dc9d0dbde43b4dfb560bd9fdba3f /lib/dialyzer/test/options1_SUITE_data
parentca4633fd683527097451ca1398c90c87bb5c14fc (diff)
downloadotp-a8e28fa5447c5f37917a664e7d0b86aea2337388.tar.gz
otp-a8e28fa5447c5f37917a664e7d0b86aea2337388.tar.bz2
otp-a8e28fa5447c5f37917a664e7d0b86aea2337388.zip
Update options1/compiler results
Diffstat (limited to 'lib/dialyzer/test/options1_SUITE_data')
-rw-r--r--lib/dialyzer/test/options1_SUITE_data/results/compiler4
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(),...]},_>