← Back to branch summary

~ubuntu-branches/ubuntu/trusty/erlang/trusty

« back to all changes in this revision

Viewing changes to lib/dialyzer/test/small_tests_SUITE_data/src/exhaust_case.erl

  • Committer: Bazaar Package Importer
  • Author(s): Clint Byrum
  • Date: 2011-05-05 15:48:43 UTC
  • mfrom: (3.5.13 sid)
  • Revision ID: james.westby@ubuntu.com-20110505154843-0om6ekzg6m7ugj27
Tags: 1:14.b.2-dfsg-3ubuntu1
* Merge from debian unstable.  Remaining changes:
  - Drop libwxgtk2.8-dev build dependency. Wx isn't in main, and not
    supposed to.
  - Drop erlang-wx binary.
  - Drop erlang-wx dependency from -megaco, -common-test, and -reltool, they
    do not really need wx. Also drop it from -debugger; the GUI needs wx,
    but it apparently has CLI bits as well, and is also needed by -megaco,
    so let's keep the package for now.
  - debian/patches/series: Do what I meant, and enable build-options.patch
    instead.
* Additional changes:
  - Drop erlang-wx from -et
* Dropped Changes:
  - patches/pcre-crash.patch: CVE-2008-2371: outer level option with
    alternatives caused crash. (Applied Upstream)
  - fix for ssl certificate verification in newSSL: 
    ssl_cacertfile_fix.patch (Applied Upstream)
  - debian/patches/series: Enable native.patch again, to get stripped beam
    files and reduce the package size again. (build-options is what
    actually accomplished this)
  - Remove build-options.patch on advice from upstream and because it caused
    odd build failures.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/test/small_tests_SUITE_data/src/exhaust_case.erl
 
1
%%-------------------------------------------------------------------
 
2
%% File    : exhaust_case.erl
 
3
%% Author  : Kostis Sagonas <kostis@it.uu.se>
 
4
%% Description : Tests that Dialyzer warns when it finds an unreachable
 
5
%%               case clause (independently of whether ground vs. var).
 
6
%%
 
7
%% Created : 15 Dec 2004 by Kostis Sagonas <kostis@it.uu.se>
 
8
%%-------------------------------------------------------------------
 
9
 
 
10
-module(exhaust_case).
 
11
-export([t/1]).
 
12
 
 
13
t(X) when is_integer(X) ->
 
14
  case ret(X) of
 
15
    foo -> ok;
 
16
    bar -> ok;
 
17
    42  -> ok;
 
18
    _other -> error     %% unreachable clause (currently no warning)
 
19
    %% other -> error   %% but contrast this with this clause... hmm
 
20
  end.
 
21
 
 
22
ret(1) -> foo;
 
23
ret(2) -> bar.
 
24