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/date.lux | 44 +++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 stdlib/source/test/aedifex/artifact/time/date.lux

(limited to 'stdlib/source/test/aedifex/artifact/time/date.lux')

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))))
+          )))
-- 
cgit v1.2.3