1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
%%% -*- erlang-indent-level: 2 -*-
%%%-------------------------------------------------------------------
%%% Author: Kostis Sagonas
%%%
%%% Contains tests for correct handling of guards and guard BIFs.
%%%-------------------------------------------------------------------
-module(basic_guards).
-export([test/0]).
test() ->
ok = guard0(4.2),
ok = guard1([foo]),
ok = test_guard2(),
ok = test_guard3(),
ok.
%%--------------------------------------------------------------------
guard0(X) when X /= 0, is_float(X) ->
ok.
guard1(X) when is_atom(X) orelse is_float(X) ->
error1;
guard1(X) when is_reference(hd(X)) ->
error2;
guard1(X) when is_integer(hd(X)) ->
error3;
guard1(X) when hd(X) == foo ->
ok.
%%--------------------------------------------------------------------
test_guard2() ->
ok1 = guard2(true),
not_boolean = guard2(42),
ok2 = guard2(false),
ok.
guard2(X) when X -> % gets transformed to: is_boolean(X), X =:= true
ok1;
guard2(X) when X =:= false ->
ok2;
guard2(_) ->
not_boolean.
%%--------------------------------------------------------------------
-define(is_foo(X), (is_atom(X) or (is_tuple(X) and (element(1, X) =:= 'foo')))).
test_guard3() ->
no = f('foo'),
yes = f({'foo', 42}),
no = f(42),
ok.
f(X) when ?is_foo(X) -> yes;
f(_) -> no.
|
