From 3de94c8a341ef3f19fd75eeeb98e5333d2fe89d0 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 5 Apr 2018 06:18:46 -0400 Subject: - Re-named "is" to "is?". --- stdlib/test/test/lux.lux | 14 ++++++------- stdlib/test/test/lux/control/parser.lux | 9 --------- stdlib/test/test/lux/data/coll/array.lux | 6 +++--- stdlib/test/test/lux/data/coll/bits.lux | 8 ++++---- stdlib/test/test/lux/data/coll/sequence.lux | 2 +- stdlib/test/test/lux/data/coll/stack.lux | 6 +++--- stdlib/test/test/lux/data/coll/tree/zipper.lux | 28 +++++++++++++------------- stdlib/test/test/lux/data/ident.lux | 4 ++-- stdlib/test/test/lux/data/lazy.lux | 8 ++++---- stdlib/test/test/lux/host.js.lux | 22 ++++++++++---------- stdlib/test/test/lux/macro/syntax.lux | 10 ++++----- stdlib/test/test/lux/math/constructive.lux | 2 +- 12 files changed, 55 insertions(+), 64 deletions(-) (limited to 'stdlib/test') diff --git a/stdlib/test/test/lux.lux b/stdlib/test/test/lux.lux index f5c5fd2f1..b8861eab6 100644 --- a/stdlib/test/test/lux.lux +++ b/stdlib/test/test/lux.lux @@ -18,11 +18,11 @@ y (r.text size)] ($_ seq (test "Every value is identical to itself, and the 'id' function doesn't change values in any way." - (and (is x x) - (is x (id x)))) + (and (is? x x) + (is? x (id x)))) (test "Values created separately can't be identical." - (not (is x y))) + (not (is? x y))) )))) (do-template [category rand-gen inc dec even? odd? = < >] @@ -183,11 +183,11 @@ false))) (test "Can have defaults for Maybe values." - (and (is "yolo" (maybe.default "yolo" - #.None)) + (and (is? "yolo" (maybe.default "yolo" + #.None)) - (is "lol" (maybe.default "yolo" - (#.Some "lol"))))) + (is? "lol" (maybe.default "yolo" + (#.Some "lol"))))) )) (template: (hypotenuse x y) diff --git a/stdlib/test/test/lux/control/parser.lux b/stdlib/test/test/lux/control/parser.lux index 64e8fac32..ae69d8ec9 100644 --- a/stdlib/test/test/lux/control/parser.lux +++ b/stdlib/test/test/lux/control/parser.lux @@ -42,15 +42,6 @@ _ false)) -(def: (is? Eq test parser input) - (All [s a] (-> (Eq a) a (&.Parser s a) s Bool)) - (case (&.run input parser) - (#E.Success [_ output]) - (:: Eq = test output) - - _ - false)) - (def: (fails? input) (All [a] (-> (E.Error a) Bool)) (case input diff --git a/stdlib/test/test/lux/data/coll/array.lux b/stdlib/test/test/lux/data/coll/array.lux index cd834a41e..289e7e988 100644 --- a/stdlib/test/test/lux/data/coll/array.lux +++ b/stdlib/test/test/lux/data/coll/array.lux @@ -30,11 +30,11 @@ (n/= size (@.size original))) (test "Cloning an array should yield and identical array, but not the same one." (and (:: (@.Eq number.Eq) = original clone) - (not (is original clone)))) + (not (is? original clone)))) (test "Full-range manual copies should give the same result as cloning." (exec (@.copy size +0 original +0 copy) (and (:: (@.Eq number.Eq) = original copy) - (not (is original copy))))) + (not (is? original copy))))) (test "Array folding should go over all values." (exec (:: @.Fold fold (function [x idx] @@ -107,7 +107,7 @@ (test "Functor shouldn't alter original array." (let [copy (map id array)] (and (= array copy) - (not (is array copy))))) + (not (is? array copy))))) (test "Functor should go over all available array elements." (let [there (map n/inc array) back-again (map n/dec there)] diff --git a/stdlib/test/test/lux/data/coll/bits.lux b/stdlib/test/test/lux/data/coll/bits.lux index ccf0ff63d..d33fa61b1 100644 --- a/stdlib/test/test/lux/data/coll/bits.lux +++ b/stdlib/test/test/lux/data/coll/bits.lux @@ -44,7 +44,7 @@ (test "Bits (must) shrink when (and as much as) possible." (let [grown (/.flip idx /.empty)] (and (n/> +0 (/.capacity grown)) - (is /.empty (/.flip idx grown))))) + (is? /.empty (/.flip idx grown))))) (test "Intersection can be detected when there are set bits in common." (and (not (/.intersects? /.empty @@ -59,14 +59,14 @@ (test "'and' with oneself changes nothing" (:: /.Eq = sample (/.and sample sample))) (test "'and' with one's opposite yields the empty bit-set." - (is /.empty (/.and sample (/.not sample)))) + (is? /.empty (/.and sample (/.not sample)))) (test "'or' with one's opposite fully saturates a bit-set." (n/= (/.size (/.or sample (/.not sample))) (/.capacity sample))) (test "'xor' with oneself yields the empty bit-set." - (is /.empty (/.xor sample sample))) + (is? /.empty (/.xor sample sample))) (test "'xor' with one's opposite fully saturates a bit-set." (n/= (/.size (/.xor sample (/.not sample))) (/.capacity sample))) @@ -74,7 +74,7 @@ (test "Double negation results in original bit-set." (:: /.Eq = sample (/.not (/.not sample)))) (test "Negation does not affect the empty bit-set." - (is /.empty (/.not /.empty))) + (is? /.empty (/.not /.empty))) (_eq.spec /.Eq ..bits) )))) diff --git a/stdlib/test/test/lux/data/coll/sequence.lux b/stdlib/test/test/lux/data/coll/sequence.lux index 145493c3e..afeca6154 100644 --- a/stdlib/test/test/lux/data/coll/sequence.lux +++ b/stdlib/test/test/lux/data/coll/sequence.lux @@ -37,7 +37,7 @@ (&.put idx non-member) (&.nth idx) maybe.assume - (is non-member))) + (is? non-member))) (test "Can update elements of sequences." (|> sample diff --git a/stdlib/test/test/lux/data/coll/stack.lux b/stdlib/test/test/lux/data/coll/stack.lux index c5f1e598f..216c1a8c5 100644 --- a/stdlib/test/test/lux/data/coll/stack.lux +++ b/stdlib/test/test/lux/data/coll/stack.lux @@ -37,9 +37,9 @@ )) (test "Pushing onto a stack always increases it by 1, adding a new value at the top." - (and (is sample - (&.pop (&.push new-top sample))) + (and (is? sample + (&.pop (&.push new-top sample))) (n/= (n/inc (&.size sample)) (&.size (&.push new-top sample))) (|> (&.push new-top sample) &.peek maybe.assume - (is new-top)))) + (is? new-top)))) )))) diff --git a/stdlib/test/test/lux/data/coll/tree/zipper.lux b/stdlib/test/test/lux/data/coll/tree/zipper.lux index 1347ee7bd..831cc9573 100644 --- a/stdlib/test/test/lux/data/coll/tree/zipper.lux +++ b/stdlib/test/test/lux/data/coll/tree/zipper.lux @@ -52,8 +52,8 @@ (if (&.branch? zipper) (let [child (|> zipper &.down)] (and (not (tree/= sample (&.unzip child))) - (|> child &.up (is zipper) not) - (|> child &.root (is zipper) not))) + (|> child &.up (is? zipper) not) + (|> child &.root (is? zipper) not))) (and (&.leaf? zipper) (|> zipper (&.prepend-child new-val) &.branch?))))) @@ -64,12 +64,12 @@ zipper (|> zipper (&.prepend-child pre-val) (&.append-child post-val))] - (and (|> zipper &.down &.value (is pre-val)) - (|> zipper &.down &.right &.value (is mid-val)) - (|> zipper &.down &.right &.right &.value (is post-val)) - (|> zipper &.down &.rightmost &.leftmost &.value (is pre-val)) - (|> zipper &.down &.right &.left &.value (is pre-val)) - (|> zipper &.down &.rightmost &.value (is post-val)))) + (and (|> zipper &.down &.value (is? pre-val)) + (|> zipper &.down &.right &.value (is? mid-val)) + (|> zipper &.down &.right &.right &.value (is? post-val)) + (|> zipper &.down &.rightmost &.leftmost &.value (is? pre-val)) + (|> zipper &.down &.right &.left &.value (is? pre-val)) + (|> zipper &.down &.rightmost &.value (is? post-val)))) true))) (test "Can insert children around a node (unless it's root)." @@ -83,12 +83,12 @@ (&.insert-right post-val) maybe.assume &.up)] - (and (|> zipper &.down &.value (is pre-val)) - (|> zipper &.down &.right &.value (is mid-val)) - (|> zipper &.down &.right &.right &.value (is post-val)) - (|> zipper &.down &.rightmost &.leftmost &.value (is pre-val)) - (|> zipper &.down &.right &.left &.value (is pre-val)) - (|> zipper &.down &.rightmost &.value (is post-val)))) + (and (|> zipper &.down &.value (is? pre-val)) + (|> zipper &.down &.right &.value (is? mid-val)) + (|> zipper &.down &.right &.right &.value (is? post-val)) + (|> zipper &.down &.rightmost &.leftmost &.value (is? pre-val)) + (|> zipper &.down &.right &.left &.value (is? pre-val)) + (|> zipper &.down &.rightmost &.value (is? post-val)))) (and (|> zipper (&.insert-left pre-val) (case> (#.Some _) false #.None true)) (|> zipper (&.insert-right post-val) (case> (#.Some _) false diff --git a/stdlib/test/test/lux/data/ident.lux b/stdlib/test/test/lux/data/ident.lux index 2e3b59853..d6732619e 100644 --- a/stdlib/test/test/lux/data/ident.lux +++ b/stdlib/test/test/lux/data/ident.lux @@ -32,8 +32,8 @@ (^open "&/") &.Codec]] ($_ seq (test "Can get the module & name parts of an ident." - (and (is module1 (&.module ident1)) - (is name1 (&.name ident1)))) + (and (is? module1 (&.module ident1)) + (is? name1 (&.name ident1)))) (test "Can compare idents for equality." (and (&/= ident1 ident1) diff --git a/stdlib/test/test/lux/data/lazy.lux b/stdlib/test/test/lux/data/lazy.lux index c007990de..1b8a76730 100644 --- a/stdlib/test/test/lux/data/lazy.lux +++ b/stdlib/test/test/lux/data/lazy.lux @@ -18,10 +18,10 @@ (n/= expected (&.thaw lazy))) (test "Lazy values only evaluate once." - (and (not (is expected - (&.thaw lazy))) - (is (&.thaw lazy) - (&.thaw lazy)))) + (and (not (is? expected + (&.thaw lazy))) + (is? (&.thaw lazy) + (&.thaw lazy)))) )))) (context: "Functor, Applicative, Monad." diff --git a/stdlib/test/test/lux/host.js.lux b/stdlib/test/test/lux/host.js.lux index c7d65343a..49b15d7e4 100644 --- a/stdlib/test/test/lux/host.js.lux +++ b/stdlib/test/test/lux/host.js.lux @@ -1,4 +1,4 @@ -(;module: +(.module: lux (lux [io] (control ["M" monad #+ do Monad]) @@ -10,22 +10,22 @@ (context: "JavaScript operations" ($_ seq (test "Null equals itself." - (is (&;null) (&;null))) + (is? (&.null) (&.null))) (test "Undefined equals itself." - (is (&;undef) (&;undef))) + (is? (&.undef) (&.undef))) (test "Can reference JavaScript objects." - (is (&;ref "Math") (&;ref "Math"))) + (is? (&.ref "Math") (&.ref "Math"))) (test "Can create objects and access their fields." - (|> (&;object "foo" "BAR") - (&;get "foo" Text) - (is "BAR"))) + (|> (&.object "foo" "BAR") + (&.get "foo" Text) + (is? "BAR"))) (test "Can call JavaScript functions" - (and (is 124.0 - (&;call! (&;ref "Math.ceil" &;Function) [123.45] Frac)) - (is 124.0 - (&;call! (&;ref "Math") "ceil" [123.45] Frac)))) + (and (is? 124.0 + (&.call! (&.ref "Math.ceil" &.Function) [123.45] Frac)) + (is? 124.0 + (&.call! (&.ref "Math") "ceil" [123.45] Frac)))) )) diff --git a/stdlib/test/test/lux/macro/syntax.lux b/stdlib/test/test/lux/macro/syntax.lux index f53af1cb7..5c5ea835f 100644 --- a/stdlib/test/test/lux/macro/syntax.lux +++ b/stdlib/test/test/lux/macro/syntax.lux @@ -9,7 +9,7 @@ [number] [bool] [ident] - ["E" error]) + ["e" error]) ["r" math/random] [macro] (macro [code] @@ -35,17 +35,17 @@ _ false)) -(def: (is? Eq test parser input) +(def: (equals? Eq reference parser input) (All [a] (-> (Eq a) a (Syntax a) (List Code) Bool)) (case (p.run input parser) (#.Right [_ output]) - (:: Eq = test output) + (:: Eq = reference output) _ false)) (def: (fails? input) - (All [a] (-> (E.Error a) Bool)) + (All [a] (-> (e.Error a) Bool)) (case input (#.Left _) true @@ -66,7 +66,7 @@ (with-expansions [ (do-template [ ] [(test - (and (is? (list ( ))) + (and (equals? (list ( ))) (found? (s.this? ( )) (list ( ))) (enforced? (s.this ( )) (list ( )))))] diff --git a/stdlib/test/test/lux/math/constructive.lux b/stdlib/test/test/lux/math/constructive.lux index 715a9a60c..86f8b7360 100644 --- a/stdlib/test/test/lux/math/constructive.lux +++ b/stdlib/test/test/lux/math/constructive.lux @@ -25,7 +25,7 @@ (theorem: #export [t] (is {reference t} {sample t}) (Test (equality reference sample)) - (.if (.is reference sample) + (.if (.is? reference sample) (#_.True (.let [the-axiom (axiom "is")] the-axiom)) (#_.False absurdity))) -- cgit v1.3.1