aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/unsafe_beamcode_bug.erl
blob: 071b4a53c138d58c15b76f1c02c912ddba61d52c (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14













                                                                 
-module(unsafe_beamcode_bug).
-export([test/1]).

test(N) -> i(r(N)).

%% this function cannot be exported, or the error does not occur
i({one}) -> ok1;
i({two, _}) -> ok2;
i({three, {_,R}, _}) -> R.

r(1) -> {one};
r(2) -> {two, 2};
r(42)-> {dummy, 42};	% without this clause, no problem ... hmm
r(3) -> {three, {rec,ok3}, 2}.