blob: 1f383be0a530d4b6a37e7d747f9cd893db9e64cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
-module(obvious_booleans).
-export([?MODULE/0]).
-compile([warnings_as_errors]).
?MODULE() ->
true = both_ok(ok, ok),
false = both_ok(ok, nok),
true = one_ok(ok, nok),
true = one_ok(nok, ok),
false = one_ok(nok, nok),
ok.
both_ok(A, B) ->
A =:= ok andalso B =:= ok.
one_ok(A, B) ->
A =:= ok orelse B =:= ok.
|