diff options
Diffstat (limited to 'lib/dialyzer/test/small_tests_SUITE_data/src/disj_norm_form.erl')
-rw-r--r-- | lib/dialyzer/test/small_tests_SUITE_data/src/disj_norm_form.erl | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/src/disj_norm_form.erl b/lib/dialyzer/test/small_tests_SUITE_data/src/disj_norm_form.erl deleted file mode 100644 index 313c2e8b86..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/src/disj_norm_form.erl +++ /dev/null @@ -1,23 +0,0 @@ -%%%------------------------------------------------------------------- -%%% 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. |