blob: 313c2e8b8688a969e4bed4415d316eb64bb76386 (
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
|
%%%-------------------------------------------------------------------
%%% File : disj_norm_form.erl
%%% Author : Tobias Lindahl <[email protected]>
%%% Description : Exposes a bad behavior in expansion to
%%% disjunctive normal form of guards.
%%%
%%% Created : 24 Aug 2007 by Tobias Lindahl <[email protected]>
%%%-------------------------------------------------------------------
-module(disj_norm_form).
-export([t/1]).
-record(foo, {bar}).
t(R) ->
if R#foo.bar =:= 1;
R#foo.bar =:= 2;
R#foo.bar =:= 3;
R#foo.bar =:= 4;
R#foo.bar =:= 5;
R#foo.bar =:= 6 -> ok;
true -> error
end.
|
