← Back to branch summary

~clint-fewbar/ubuntu/precise/erlang/merge-15b

« back to all changes in this revision

Viewing changes to lib/dialyzer/test/small_SUITE_data/src/confusing_warning.erl

  • Committer: Package Import Robot
  • Author(s): Sergei Golovan
  • Date: 2011-12-15 19:20:10 UTC
  • mfrom: (1.1.18) (3.5.15 sid)
  • mto: (3.5.16 sid)
  • mto: This revision was merged to the branch mainline in revision 33.
  • Revision ID: package-import@ubuntu.com-20111215192010-jnxcfe3tbrpp0big
Tags: 1:15.b-dfsg-1
* New upstream release.
* Upload to experimental because this release breaks external drivers
  API along with ABI, so several applications are to be fixed.
* Removed SSL patch because the old SSL implementation is removed from
  the upstream distribution.
* Removed never used patch which added native code to erlang beam files.
* Removed the erlang-docbuilder binary package because the docbuilder
  application was dropped by upstream.
* Documented dropping ${erlang-docbuilder:Depends} substvar in
  erlang-depends(1) manpage.
* Made erlang-base and erlang-base-hipe provide virtual package
  erlang-abi-15.b (the number means the first erlang version, which
  provides current ABI).

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/test/small_SUITE_data/src/confusing_warning.erl
 
1
%% Test case that results in a confusing warning -- created from a
 
2
%% very stripped down actual application. The second case clause of
 
3
%% test/1 cannot possibly match because all a-pairs match with the
 
4
%% first clause. Dialyzer complains that the second argument of the
 
5
%% second 2-tuple has type 'aaa' | 'bbb'. This is mucho confusing
 
6
%% since there is no 'a'-pair whose second element is 'aaa' | 'bbb'.
 
7
%% Pattern matching compilation is of course what's to blame here.
 
8
 
 
9
-module(confusing_warning).
 
10
-export([test/1]).
 
11
 
 
12
test(N) when is_integer(N) ->
 
13
  case foo(N) of
 
14
    {a, I} when is_integer(I) ->
 
15
      I;
 
16
    {a, {_, L}} ->      % this clause cannot possibly match
 
17
      L
 
18
  end.
 
19
 
 
20
foo(1) -> {a, 42};
 
21
foo(2) -> {b, aaa};     % this is really unused
 
22
foo(3) -> {b, bbb}.     % this is really unused