From 71de092a045dc70ab1c9eead477cf1512b144a87 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 12 Jan 2021 23:09:05 -0400
Subject: Raise error when trying to use deprecated fields/method/classes in
 JVM.

---
 stdlib/source/test/aedifex/artifact/time.lux       | 42 +++++++++++++++++++++
 stdlib/source/test/aedifex/artifact/time/date.lux  | 44 ++++++++++++++++++++++
 stdlib/source/test/aedifex/artifact/time/time.lux  | 31 +++++++++++++++
 .../test/aedifex/artifact/time_stamp/date.lux      | 44 ----------------------
 .../test/aedifex/artifact/time_stamp/time.lux      | 31 ---------------
 5 files changed, 117 insertions(+), 75 deletions(-)
 create mode 100644 stdlib/source/test/aedifex/artifact/time.lux
 create mode 100644 stdlib/source/test/aedifex/artifact/time/date.lux
 create mode 100644 stdlib/source/test/aedifex/artifact/time/time.lux
 delete mode 100644 stdlib/source/test/aedifex/artifact/time_stamp/date.lux
 delete mode 100644 stdlib/source/test/aedifex/artifact/time_stamp/time.lux

(limited to 'stdlib/source/test/aedifex/artifact')

diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
new file mode 100644
index 000000000..880bc1f83
--- /dev/null
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -0,0 +1,42 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]
+    {[0 #spec]
+     [/
+      ["$." equivalence]]}]
+   [control
+    ["." try ("#\." functor)]
+    [parser
+     ["<.>" text]]]
+   [math
+    ["." random]]
+   [time
+    ["." instant]]]
+  {#program
+   ["." /]}
+  ["." / #_
+   ["#." date]
+   ["#." time]])
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      (_.for [/.Time])
+      ($_ _.and
+          (_.for [/.equivalence]
+                 ($equivalence.spec /.equivalence random.instant))
+
+          (do random.monad
+            [expected random.instant]
+            (_.cover [/.format /.parser]
+                     (|> expected
+                         /.format
+                         (<text>.run /.parser)
+                         (try\map (\ instant.equivalence = expected))
+                         (try.default false))))
+
+          /date.test
+          /time.test
+          )))
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
new file mode 100644
index 000000000..0f4b5b7d3
--- /dev/null
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -0,0 +1,44 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]]
+   [control
+    ["." try ("#\." functor)]
+    [parser
+     ["<.>" text]]]
+   [math
+    ["." random (#+ Random)]
+    [number
+     ["n" nat]
+     ["i" int]]]
+   [time
+    ["." date (#+ Date)]
+    ["." year]]]
+  {#program
+   ["." /]})
+
+(def: #export random
+  (Random Date)
+  (random.one (function (_ raw)
+                (try.to_maybe
+                 (do try.monad
+                   [year (|> raw date.year year.value i.abs (i.% +10,000) year.year)]
+                   (date.date year
+                              (date.month raw)
+                              (date.day_of_month raw)))))
+              random.date))
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      ($_ _.and
+          (do random.monad
+            [expected ..random]
+            (_.cover [/.format /.parser]
+                     (|> expected
+                         /.format
+                         (<text>.run /.parser)
+                         (try\map (\ date.equivalence = expected))
+                         (try.default false))))
+          )))
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
new file mode 100644
index 000000000..bd9bbe071
--- /dev/null
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -0,0 +1,31 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   ["." time (#+ Time)]
+   [abstract
+    [monad (#+ do)]]
+   [control
+    ["." try ("#\." functor)]
+    [parser
+     ["<.>" text]]]
+   [math
+    ["." random (#+ Random)]
+    [number
+     ["n" nat]
+     ["i" int]]]]
+  {#program
+   ["." /]})
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      ($_ _.and
+          (do random.monad
+            [expected random.time]
+            (_.cover [/.format /.parser]
+                     (|> expected
+                         /.format
+                         (<text>.run /.parser)
+                         (try\map (\ time.equivalence = expected))
+                         (try.default false))))
+          )))
diff --git a/stdlib/source/test/aedifex/artifact/time_stamp/date.lux b/stdlib/source/test/aedifex/artifact/time_stamp/date.lux
deleted file mode 100644
index 0f4b5b7d3..000000000
--- a/stdlib/source/test/aedifex/artifact/time_stamp/date.lux
+++ /dev/null
@@ -1,44 +0,0 @@
-(.module:
-  [lux #*
-   ["_" test (#+ Test)]
-   [abstract
-    [monad (#+ do)]]
-   [control
-    ["." try ("#\." functor)]
-    [parser
-     ["<.>" text]]]
-   [math
-    ["." random (#+ Random)]
-    [number
-     ["n" nat]
-     ["i" int]]]
-   [time
-    ["." date (#+ Date)]
-    ["." year]]]
-  {#program
-   ["." /]})
-
-(def: #export random
-  (Random Date)
-  (random.one (function (_ raw)
-                (try.to_maybe
-                 (do try.monad
-                   [year (|> raw date.year year.value i.abs (i.% +10,000) year.year)]
-                   (date.date year
-                              (date.month raw)
-                              (date.day_of_month raw)))))
-              random.date))
-
-(def: #export test
-  Test
-  (<| (_.covering /._)
-      ($_ _.and
-          (do random.monad
-            [expected ..random]
-            (_.cover [/.format /.parser]
-                     (|> expected
-                         /.format
-                         (<text>.run /.parser)
-                         (try\map (\ date.equivalence = expected))
-                         (try.default false))))
-          )))
diff --git a/stdlib/source/test/aedifex/artifact/time_stamp/time.lux b/stdlib/source/test/aedifex/artifact/time_stamp/time.lux
deleted file mode 100644
index bd9bbe071..000000000
--- a/stdlib/source/test/aedifex/artifact/time_stamp/time.lux
+++ /dev/null
@@ -1,31 +0,0 @@
-(.module:
-  [lux #*
-   ["_" test (#+ Test)]
-   ["." time (#+ Time)]
-   [abstract
-    [monad (#+ do)]]
-   [control
-    ["." try ("#\." functor)]
-    [parser
-     ["<.>" text]]]
-   [math
-    ["." random (#+ Random)]
-    [number
-     ["n" nat]
-     ["i" int]]]]
-  {#program
-   ["." /]})
-
-(def: #export test
-  Test
-  (<| (_.covering /._)
-      ($_ _.and
-          (do random.monad
-            [expected random.time]
-            (_.cover [/.format /.parser]
-                     (|> expected
-                         /.format
-                         (<text>.run /.parser)
-                         (try\map (\ time.equivalence = expected))
-                         (try.default false))))
-          )))
-- 
cgit v1.2.3