%%% -*- 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.

%%--------------------------------------------------------------------