From e7bae75ddfb676cc4c0ee22a9339a9a79c837c4a Mon Sep 17 00:00:00 2001
From: Andrey Orst <andreyorst@gmail.com>
Date: Fri, 23 Oct 2020 22:18:07 +0300
Subject: Changes

- add runtime check to into
- add sort of a test framework
- remove mapkv in favor of generalized mapv that works both for
  sequences and tables
- add more tests
- update doc
---
 core_test.fnl | 137 +++++++++++++++++++++++++++++++++++++---------------------
 1 file changed, 87 insertions(+), 50 deletions(-)

(limited to 'core_test.fnl')

diff --git a/core_test.fnl b/core_test.fnl
index a7e981a..673b007 100644
--- a/core_test.fnl
+++ b/core_test.fnl
@@ -1,51 +1,88 @@
 (import-macros {: fn*} :macros.fn)
-(import-macros {: assert-eq : assert-ne : assert*} :test)
-
-(local {: seq
-        : mapv
-        : mapkv
-        : reduce
-        : reduce-kv
-        : conj
-        : cons
-        : consj
-        : first
-        : rest
-        : eq?
-        : identity
-        : comp
-        : every?} (require :core))
-
-;; comparing basetypes
-(assert-eq 1 1)
-(assert-ne 1 2)
-(assert* (eq? 1 1 1 1 1))
-(assert-eq 1.0 1.0)
-(assert* (eq? 1.0 1.0 1.0))
-(assert* (eq? 1.0 1.0 1.0))
-(assert* (eq? "1" "1" "1" "1" "1"))
-
-;; deep comparison
-(assert* (eq? []))
-(assert-eq [] [])
-(assert-eq [] {})
-(assert-eq [1 2] [1 2])
-(assert-ne [1] [1 2])
-(assert-ne [1 2] [1])
-(assert* (eq? [1 [2]] [1 [2]] [1 [2]]))
-(assert* (eq? [1 [2]] [1 [2]] [1 [2]]))
-(assert* (not (eq? [1 [2]] [1 [2]] [1 [2 [3]]])))
-
-(fn* range
-  ([upper] (range 0 upper 1))
-  ([lower upper] (range lower upper 1))
-  ([lower upper step]
-   (let [res []]
-     (for [i lower (- upper step) step]
-       (table.insert res i))
-     res)))
-
-(assert-eq (range 10) [0 1 2 3 4 5 6 7 8 9])
-(assert-eq (range -5 5) [-5 -4 -3 -2 -1 0 1 2 3 4])
-(assert-eq [0 0.2 0.4 0.6 0.8] [0 0.2 0.4 0.6 0.8])
-(assert-eq (range 0 1 0.2) (range 0 1 0.2))
+(import-macros {: into} :macros.core)
+(import-macros {: assert-eq : assert-ne : assert* : test} :test)
+
+(local {: seq : mapv : mapkv : reduce : reduce-kv : conj : cons : consj : first : rest : eq? : identity : comp : every? : range} (require :core))
+
+(test equality-test
+  ;; comparing basetypes
+  (assert-eq 1 1)
+  (assert-ne 1 2)
+  (assert* (eq? 1 1 1 1 1))
+  (assert-eq 1.0 1.0)
+  (assert* (eq? 1.0 1.0 1.0))
+  (assert* (eq? 1.0 1.0 1.0))
+  (assert* (eq? "1" "1" "1" "1" "1"))
+
+  ;; deep comparison
+  (assert* (eq? []))
+  (assert-eq [] [])
+  (assert-eq [] {})
+  (assert-eq [1 2] [1 2])
+  (assert-ne [1] [1 2])
+  (assert-ne [1 2] [1])
+  (assert* (eq? [1 [2]] [1 [2]] [1 [2]]))
+  (assert* (eq? [1 [2]] [1 [2]] [1 [2]]))
+  (assert* (not (eq? [1 [2]] [1 [2]] [1 [2 [3]]])))
+  (assert-eq (range 10) [0 1 2 3 4 5 6 7 8 9])
+  (assert-eq (range -5 5) [-5 -4 -3 -2 -1 0 1 2 3 4])
+  (assert-eq [0 0.2 0.4 0.6 0.8] [0 0.2 0.4 0.6 0.8])
+  (assert-eq (range 0 1 0.2) (range 0 1 0.2))
+
+  (let [a {:a 1 :b 2}
+        b {:a 1 :b 2}]
+    (table.insert b 10)
+    (assert-ne a b))
+
+  (let [a [1 2 3]
+        b [1 2 3]]
+    (tset b :a 10)
+    (assert-ne a b))
+
+  (assert-eq [1 2 3] {1 1 2 2 3 3})
+
+  ;; TODO: decide if this is right or not.  Looking from `seq'
+  ;; perspective, it is correct, as `(seq {4 1})' and `(seq [nil nil
+  ;; nil 1])' both yield `{4 1}'.  From Lua's point this is not the
+  ;; same thing, for example because the sizes of these tables are
+  ;; different.
+  (assert-eq {4 1} [nil nil nil 1]))
+
+(test mapv-test
+  (assert-eq (mapv #(* $ $) [1 2 3 4]) [1 4 9 16])
+
+  (assert-eq (into {} (mapv (fn [[k v]] [k (* v v)]) {:a 1 :b 2 :c 3}))
+             (into {} [[:a 1] [:b 4] [:c 9]]))
+
+  (assert-eq (into {} (mapv (fn [[k1 v1] [k2 v2]] [k1 (* v1 v2)])
+                            {:a 1 :b 2 :c 3}
+                            {:a -1 :b 0 :c 2}))
+             {:a -1 :b 0 :c 6})
+  (assert-eq (mapv string.upper ["a" "b" "c"]) ["A" "B" "C"])
+  (assert-eq (mapv #(+ $1 $2 $3 $4) [1 -1] [2 -2] [3 -3] [4 -4]) [(+ 1 2 3 4) (+ -1 -2 -3 -4)])
+  (assert-eq (mapv (fn [f-name s-name company position]
+                     (.. f-name " " s-name " works as " position " at " company))
+                   ["Bob" "Alice"]
+                   ["Smith" "Watson"]
+                   ["Happy Days co." "Coffee With You"]
+                   ["secretary" "chief officer"])
+             ["Bob Smith works as secretary at Happy Days co."
+              "Alice Watson works as chief officer at Coffee With You"]))
+
+(test reduce-test
+  (fn ++ [a b] (+ a b))
+  (assert-eq (reduce ++ (range 10)) 45)
+  (assert-eq (reduce ++ -3 (range 10)) 42)
+
+
+  (fn mapping [f]
+    (fn [reducing]
+      (fn [result input]
+        (reducing result (f input)))))
+
+  (fn reduce- [f init tbl]
+    (if (and tbl (> (length tbl) 0))
+        (reduce f (f init (first tbl)) (rest tbl))
+        init))
+
+  (assert-eq (reduce ++ (range 10)) (reduce- ++ 0 (range 10))))
-- 
cgit v1.2.3