blob: fedac566ea4b978acd1fb9cb2fa76cf0dc6290ad (
plain) (
tree)
|
|
%%%-------------------------------------------------------------------
%%% 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.
|