test logic module

1 files changed, 264 insertions, 0 deletions

diff --git a/spec/lang/logic_spec.moon b/spec/lang/logic_spec.moon
new file mode 100644
index 0000000..f3d0610
--- /dev/null
+++ b/spec/lang/logic_spec.moon
@@ -0,0 +1,264 @@
+import TestPilot from require 'spec.test_setup'
+import T, Array, Constant from require 'alv'
+
+describe "logic", ->
+  test = TestPilot '', '(import* logic)\n'
+  TRUE = T.bool\mk_const true
+  FALSE = T.bool\mk_const false
+
+  describe "==", ->
+    it "can compare any type", ->
+      with COPILOT\eval_once '(== 1 1)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(== 1 2)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(== 1 "hello")'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(== "hello" "hello")'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(== (array 1 2 3) (array 1 2 3))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(== (array 1 2 3) (array 1 2 1))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(== (array 1 2 3) (array 1 2))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(== (array 1 2 3) (array 1 2 3 4))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(==
+          (struct "a" 1 "b" true "c" (array "test"))
+          (struct "a" 1 "b" true "c" (array "test")))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(==
+          (struct "a" 1 "b" false "c" (array "test"))
+          (struct "a" 1 "b" true "c" (array "test")))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(==
+          (struct "a" 1 "b" true "c" (array "test" "toast"))
+          (struct "a" 1 "b" true "c" (array "test")))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(==
+          (struct "a" 1 "b" true)
+          (struct "a" 1 "b" true "c" (array "test")))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(==
+          (struct "a" 1 "b" true)
+          (struct "a" 1))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(== print print)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(== print ==)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+    it "is aliased as eq", ->
+      with COPILOT\eval_once '(== eq ==)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+  describe "!=", ->
+    it "can compare any type", ->
+      with COPILOT\eval_once '(!= 1 1)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(!= 1 2)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!= 1 "hello")'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!= "hello" "hello")'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(!= (array 1 2 3) (array 1 2 3))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(!= (array 1 2 3) (array 1 2 1))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!= (array 1 2 3) (array 1 2))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!= (array 1 2 3) (array 1 2 3 4))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!=
+          (struct "a" 1 "b" true "c" (array "test"))
+          (struct "a" 1 "b" true "c" (array "test")))'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(!=
+          (struct "a" 1 "b" false "c" (array "test"))
+          (struct "a" 1 "b" true "c" (array "test")))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!=
+          (struct "a" 1 "b" true "c" (array "test" "toast"))
+          (struct "a" 1 "b" true "c" (array "test")))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!=
+          (struct "a" 1 "b" true)
+          (struct "a" 1 "b" true "c" (array "test")))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!=
+          (struct "a" 1 "b" true)
+          (struct "a" 1))'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(!= print print)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(!= print ==)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+    it "is aliased as note-eq", ->
+      with COPILOT\eval_once '(== not-eq !=)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+  describe "bool", ->
+    it "coerces numbers", ->
+      with COPILOT\eval_once '(bool 0)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(bool 1)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(bool -1)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(bool 1024)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+    it "accepts booleans", ->
+      with COPILOT\eval_once '(bool false)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(bool true)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+  describe "not", ->
+    it "accepts booleans", ->
+      with COPILOT\eval_once '(not false)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(not true)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+    it "coerces numbers", ->
+      with COPILOT\eval_once '(not 0)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(not 1)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(not -1)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(not 1024)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+
+  describe "or", ->
+    it "accepts any number of mixed arguments", ->
+      with COPILOT\eval_once '(or false 0)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(or 1 0)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(or 0 false 0 0 0 0)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(or 0 0 0 true 0 0)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(or 0 true 0 1 0 0)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+  describe "and", ->
+    it "accepts any number of mixed arguments", ->
+      with COPILOT\eval_once '(and false 1)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(and 1 true)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(and false 0)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(and 1 1 true 0)'
+        assert.is.true \is_const!
+        assert.is.equal FALSE, .result
+
+      with COPILOT\eval_once '(and 1 1 true true 1)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result
+
+      with COPILOT\eval_once '(and 1 1 1)'
+        assert.is.true \is_const!
+        assert.is.equal TRUE, .result