← 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/inf_loop2.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/inf_loop2.erl
 
1
%%---------------------------------------------------------------------
 
2
%% Module that went into an infinite loop when trying to assign types.
 
3
%%
 
4
%% What was happening is that for functions which are in an SCC but all
 
5
%% return none(), a second chance was given to them by the analysis to
 
6
%% see whether they return none() because they are involved in an loop
 
7
%% (presumably server-related) and could be assigned the type unit()
 
8
%% instead. The problem is that when the really return none() for some
 
9
%% other reason (an error such in this case) then we will again find
 
10
%% none() and try again for unit(), thereby entering an infinite loop.
 
11
%% The issue was resolved on May 17th by adding an appropriate boolean
 
12
%% parameter to dialyzer_typesig:solve_scc() function.
 
13
%%---------------------------------------------------------------------
 
14
-module(inf_loop2).
 
15
 
 
16
-export([test/0]).
 
17
 
 
18
test() ->
 
19
  lists:reverse(gazonk),
 
20
  loop().
 
21
 
 
22
loop() ->
 
23
  test().