From 7c4775eda4701b4535261b47a3b4e3da8e5d1da0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 17 Feb 2019 21:17:58 -0400
Subject: Adapted more tests to the new format.

---
 stdlib/source/test/lux.lux | 42 ++++++++++++++++--------------------------
 1 file changed, 16 insertions(+), 26 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 391526efb..89136bb50 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -29,17 +29,20 @@
    [tool
     [compiler
      [phase
-      [translation
-       [js
-        [runtime (#+)]
-        [primitive (#+)]
-        [structure (#+)]
-        [reference (#+)]]
-       [scheme
-        [runtime (#+)]
-        [primitive (#+)]
-        [structure (#+)]
-        [reference (#+)]]]]]]
+      ## [translation
+      ##  [scheme
+      ##   [runtime (#+)]
+      ##   [primitive (#+)]
+      ##   [structure (#+)]
+      ##   [reference (#+)]
+      ##   [case (#+)]]
+      ##  [js
+      ##   [runtime (#+)]
+      ##   [primitive (#+)]
+      ##   [structure (#+)]
+      ##   [reference (#+)]
+      ##   [case (#+)]]]
+      ]]]
    ## [control
    ##  ["._" contract]
    ##  ["._" concatenative]
@@ -108,14 +111,7 @@
     ["/." jvm]]
    ["/." control]]
   ## [control
-  ##  ## [region (#+)]
-  ##  ## [security
-  ##  ##  [privacy (#+)]
-  ##  ##  [integrity (#+)]]
   ##  [concurrency
-  ##   [actor (#+)]
-  ##   [atom (#+)]
-  ##   [frp (#+)]
   ##   [promise (#+)]
   ##   [stm (#+)]
   ##   ## [semaphore (#+)]
@@ -224,18 +220,12 @@
   (do r.monad
     [value r.i64]
     ($_ _.and
-        (_.test "'inc' and 'dec' are different."
-                (not (n/= (inc value)
-                          (dec value))))
         (_.test "'inc' and 'dec' are opposites."
                 (and (|> value inc dec (n/= value))
                      (|> value dec inc (n/= value))))
         (_.test "'inc' and 'dec' shift the number by 1."
-                (let [shift 1]
-                  (and (n/= (n/+ shift value)
-                            (inc value))
-                       (n/= (n/- shift value)
-                            (dec value))))))))
+                (and (|> (inc value) (n/- value) (n/= 1))
+                     (|> value (n/- (dec value)) (n/= 1)))))))
 
 (def: (check-neighbors has-property? value)
   (All [a] (-> (Predicate (I64 a)) (I64 a) Bit))
-- 
cgit v1.2.3