From d0e4ba8124345ce990de7fdf7497dd903de6c342 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 30 Aug 2022 19:33:36 -0400
Subject: Got rid of the superfluous "lux macro" extension.

---
 stdlib/source/test/lux/world/time/instant.lux | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'stdlib/source/test/lux/world/time/instant.lux')

diff --git a/stdlib/source/test/lux/world/time/instant.lux b/stdlib/source/test/lux/world/time/instant.lux
index 32b4c71f3..d81a5ad27 100644
--- a/stdlib/source/test/lux/world/time/instant.lux
+++ b/stdlib/source/test/lux/world/time/instant.lux
@@ -5,14 +5,17 @@
     [monad (.only do)]
     [\\specification
      ["$[0]" equivalence]
+     ["$[0]" hash]
      ["$[0]" order]
      ["$[0]" enum]
      ["$[0]" codec]]]
    [control
     ["[0]" function]
-    ["[0]" try]
+    ["[0]" try (.use "[1]#[0]" functor)]
     ["[0]" io]]
    [data
+    ["[0]" text
+     ["?[1]" \\parser]]
     [collection
      ["[0]" list (.use "[1]#[0]" mix)]]]
    [math
@@ -32,6 +35,8 @@
       (all _.and
            (_.for [/.equivalence]
                   ($equivalence.spec /.equivalence random.instant))
+           (_.for [/.hash]
+                  ($hash.spec /.hash random.instant))
            (_.for [/.order]
                   ($order.spec /.order random.instant))
            (_.for [/.enum]
@@ -104,4 +109,12 @@
                
                {try.#Failure _}
                false))
+           (do random.monad
+             [expected random.instant]
+             (_.coverage [/.format /.parser]
+               (|> expected
+                   /.format
+                   (?text.result /.parser)
+                   (try#each (at /.equivalence = expected))
+                   (try.else false))))
            )))
-- 
cgit v1.2.3