From bfacc0c96e56eedf788aba44bd8ad2848a35c390 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 16 Jul 2021 02:23:00 -0400
Subject: Fixed some inconsistent naming.

---
 stdlib/source/test/aedifex/artifact/extension.lux |  8 +++++---
 stdlib/source/test/aedifex/artifact/time.lux      | 12 ++++++++++++
 2 files changed, 17 insertions(+), 3 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index fd28c5d92..b8a2144aa 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -29,10 +29,12 @@
                                 uniques (set.from_list text.hash options)]
                             (n.= (list.size options)
                                  (set.size uniques))))
-                 (_.cover [/.extension]
+                 (_.cover [/.extension /.type]
                           (`` (and (~~ (template [<type> <extension>]
-                                         [(text\= <extension>
-                                                  (/.extension <type>))]
+                                         [(and (text\= <extension>
+                                                       (/.extension <type>))
+                                               (text\= <type>
+                                                       (/.type (/.extension <type>))))]
 
                                          [//.lux_library /.lux_library]
                                          [//.jvm_library /.jvm_library]
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index f69566096..131155500 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -10,6 +10,8 @@
      ["." try ("#\." functor)]
      [parser
       ["<.>" text]]]
+    [time
+     ["." instant ("#\." equivalence)]]
     [math
      ["." random (#+ Random)]
      [number
@@ -43,6 +45,16 @@
                          (<text>.run /.parser)
                          (try\map (\ /.equivalence = expected))
                          (try.default false))))
+          (do random.monad
+            [expected ..random]
+            (_.cover [/.instant /.from_instant]
+                     (|> expected
+                         /.instant
+                         /.from_instant
+                         (try\map (\ /.equivalence = expected))
+                         (try.default false))))
+          (_.cover [/.epoch]
+                   (instant\= instant.epoch (/.instant /.epoch)))
 
           /date.test
           /time.test
-- 
cgit v1.2.3