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
|
%%% -*- erlang-indent-level: 2 -*-
%%%-------------------------------------------------------------------
%%% Author: Kostis Sagonas
%%%
%%% Tests for correct translation of booleans and their primitives.
%%%-------------------------------------------------------------------
-module(basic_boolean).
-export([test/0]).
test() ->
ok = test_boolean_ops(false, true),
ok = test_orelse_redundant(),
ok.
%%--------------------------------------------------------------------
test_boolean_ops(F, T) ->
true = T and T,
false = T and F,
false = F and T,
false = F and F,
true = T or T,
true = T or F,
true = F or T,
false = F or F,
true = T andalso T,
false = T andalso F,
false = F andalso T,
false = F andalso F,
true = T orelse T,
true = T orelse F,
true = F orelse T,
false = F orelse F,
ok.
%%--------------------------------------------------------------------
%% Redundant test in BEAM code will generate type warning.
test_orelse_redundant() ->
true = test_orelse(true, true, true),
ok.
test_orelse(A, B, C) ->
A andalso B orelse C.
%%--------------------------------------------------------------------
|
