Add boolean primitives and more (better) tests

2 files changed, 62 insertions, 17 deletions

diff --git a/examples/arithmetic.bdl b/examples/arithmetic.bdl
index 5e102e9..83404e2 100644
--- a/examples/arithmetic.bdl
+++ b/examples/arithmetic.bdl
@@ -1,22 +1,22 @@
-;
-; Basic arithmetic operations
-;
+;;
+;; Basic arithmetic operations.
+;;
 
-; Addition
-(+ 10 100)
-(+ 1 -2 3 4)
+;; Addition.
+(print "(+ 10 100) -> ") (+ 10 100)
+(print "(+ 1 -2 3 4) -> ") (+ 1 -2 3 4)
 
-; Substraction
-(- 100 75)
-(- 10 20 30)
+;; Substraction.
+(print "(- 100 75) -> ") (- 100 75)
+(print "(- 10 20 30) -> ") (- 10 20 30)
 
-; Multiplication
-(* 10 7)
-(* -1 66)
+;; Multiplication.
+(print "(* 10 7) -> ") (* 10 7)
+(print "(* -1 66) -> ") (* -1 66)
 
-; Division
-(/ 45 5)
-(/ 10 5 2)
+;; Division.
+(print "(/ 45 5) -> ") (/ 45 5)
+(print "(/ 10 5 2) -> ") (/ 10 5 2)
 
-; Nesting operations.
-(* 20 (+ 100 (- 50 30) (/ 300 3)) 10)
+;; Nesting operations.
+(print "(* 20 (+ 100 (- 50 30) (/ 300 3)) 10) -> ") (* 20 (+ 100 (- 50 30) (/ 300 3)) 10)
diff --git a/examples/booleans.bdl b/examples/booleans.bdl
new file mode 100644
index 0000000..d248bf8
--- /dev/null
+++ b/examples/booleans.bdl
@@ -0,0 +1,45 @@
+;;
+;; Boolean primitives.
+;;
+
+;; Boolean test.
+(print "(boolean? true) -> ")   (boolean? true)
+(print "(boolean? false) -> ")   (boolean? false)
+(print "(boolean? 1) -> ")   (boolean? 1)
+(print "(boolean? 5) -> ")   (boolean? 5)
+(print "(boolean? \"string\") -> ") (boolean? "string")
+(print "(boolean? (+ 1 2 3)) -> ")   (boolean? (+ 1 2 3))
+(print "(boolean? (not 1)) -> ")   (boolean? (not 1))
+
+;; Not.
+(print "(not true) -> ")   (not true)
+(print "(not false) -> ")   (not false)
+(print "(not (not true)) -> ")   (not (not true))
+(print "(not (not false)) -> ")   (not (not false))
+(print "(not 1) -> ")   (not 1)
+(print "(not (not 1)) -> ")   (not (not 1))
+(print "(not \"string\") -> ") (not "string")
+(print "(not (not \"string\")) -> ") (not (not "string"))
+
+;; And.
+(print "(and 1 \"string\" 4 true) -> ") (and 1 "string" 4 true)
+(print "(and true true true) -> ")   (and true true true)
+(print "(and (+ 1 2 3)) -> ")   (and (+ 1 2 3))
+(print "(and false false false) -> ")   (and false false false)
+(print "(and true false false) -> ")   (and true false false)
+(print "(and false true false) -> ")   (and false true false)
+(print "(and false true true) -> ")   (and false true true)
+(print "(and (not false) true true) -> ")   (and (not false) true true)
+
+;; Or.
+(print "(or 1 \"string\" 4 true) -> ") (or 1 "string" 4 true)
+(print "(or false 1) -> ")   (or false 1)
+(print "(or false \"string\") -> ") (or false "string")
+(print "(or false) -> ")   (or false)
+(print "(or true true true) -> ")   (or true true true)
+(print "(or false false false) -> ")   (or false false false)
+(print "(or true false false) -> ")   (or true false false)
+(print "(or false true false) -> ")   (or false true false)
+(print "(or false true true) -> ")   (or false true true)
+(print "(or (not false) true true) -> ")   (or (not false) true true)
+(print "(or (not true) false) -> ")   (or (not true) false)