aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/small_tests_SUITE_data/src/atom_widen.erl
blob: 81bfac9d56924ede915584738b03117188dab497 (plain) (tree)























                                                                       
%%---------------------------------------------------------------------
%% 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.