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. --- .../program/aedifex/artifact/time_stamp/time.lux | 35 ---------------------- 1 file changed, 35 deletions(-) delete mode 100644 stdlib/source/program/aedifex/artifact/time_stamp/time.lux (limited to 'stdlib/source/program/aedifex/artifact/time_stamp/time.lux') diff --git a/stdlib/source/program/aedifex/artifact/time_stamp/time.lux b/stdlib/source/program/aedifex/artifact/time_stamp/time.lux deleted file mode 100644 index d14f0a435..000000000 --- a/stdlib/source/program/aedifex/artifact/time_stamp/time.lux +++ /dev/null @@ -1,35 +0,0 @@ -(.module: - [lux #* - ["." time (#+ Time)] - [abstract - [monad (#+ do)]] - [control - ["<>" parser - ["<.>" text (#+ Parser)]]] - [data - [text - ["%" format]]] - [math - [number - ["n" nat]]]] - ["." // #_ - ["#" date]]) - -(def: #export (format value) - (%.Format Time) - (let [(^slots [#time.hour #time.minute #time.second]) (time.clock value)] - (%.format (//.pad hour) - (//.pad minute) - (//.pad second)))) - -(def: #export parser - (.Parser Time) - (do <>.monad - [hour (<>.codec n.decimal (.exactly 2 .decimal)) - minute (<>.codec n.decimal (.exactly 2 .decimal)) - second (<>.codec n.decimal (.exactly 2 .decimal))] - (<>.lift (time.time - {#time.hour hour - #time.minute minute - #time.second second - #time.milli_second 0})))) -- cgit v1.2.3