← Back to branch summary

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

« back to all changes in this revision

Viewing changes to lib/dialyzer/test/opaque_tests_SUITE_data/src/my_queue/my_queue_use.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/opaque_tests_SUITE_data/src/my_queue/my_queue_use.erl
 
1
-module(my_queue_use).
 
2
 
 
3
-export([ok1/0, ok2/0, wrong1/0, wrong2/0, wrong3/0, wrong4/0, wrong5/0]).
 
4
 
 
5
ok1() ->
 
6
    my_queue_adt:is_empty(my_queue_adt:new()).
 
7
 
 
8
ok2() ->
 
9
    Q0 = my_queue_adt:new(),
 
10
    Q1 = my_queue_adt:add(42, Q0),
 
11
    {42, Q2} = my_queue_adt:dequeue(Q1),
 
12
    my_queue_adt:is_empty(Q2).
 
13
 
 
14
wrong1() ->
 
15
    my_queue_adt:is_empty([]).
 
16
 
 
17
wrong2() ->
 
18
    Q0 = [],
 
19
    my_queue_adt:add(42, Q0).
 
20
 
 
21
wrong3() ->
 
22
    Q0 = my_queue_adt:new(),
 
23
    Q1 = my_queue_adt:add(42, Q0),
 
24
    [42|Q2] = Q1,
 
25
    Q2.
 
26
 
 
27
wrong4() ->
 
28
    Q0 = my_queue_adt:new(),
 
29
    Q1 = my_queue_adt:add(42, Q0),
 
30
    Q1 =:= [].
 
31
 
 
32
wrong5() ->
 
33
    Q0 = my_queue_adt:new(),
 
34
    {42, Q2} = my_queue_adt:dequeue([42|Q0]),
 
35
    Q2.