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.

---
 .../test/aedifex/artifact/time_stamp/date.lux      | 44 ----------------------
 1 file changed, 44 deletions(-)
 delete mode 100644 stdlib/source/test/aedifex/artifact/time_stamp/date.lux

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

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