aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/atom_widen.erl
blob: 81bfac9d56924ede915584738b03117188dab497 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
%%---------------------------------------------------------------------
%% Tests that the set widening limit is at least as big as 13,
%% which allows for the following discrepancy to be detected.
%%---------------------------------------------------------------------

-module(atom_widen).
-export([test/0, foo/1]).

test() ->
  foo(z).

foo(a) ->  1;
foo(b) ->  2;
foo(c) ->  3;
foo(d) ->  4;
foo(e) ->  5;
foo(f) ->  6;
foo(g) ->  7;
foo(h) ->  8;
foo(i) ->  9;
foo(k) -> 10;
foo(l) -> 11;
foo(m) -> 12;
foo(n) -> 13.