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 ---------------------- .../test/aedifex/artifact/time_stamp/time.lux | 31 --------------- 2 files changed, 75 deletions(-) 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/time_stamp') 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 - (.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 - (.run /.parser) - (try\map (\ time.equivalence = expected)) - (try.default false)))) - ))) -- cgit v1.2.3