From 440608bc32916329c9f3c0f2bd9a8d1152ed5da8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 14 Oct 2020 21:48:00 -0400
Subject: Gave the Location type its own module.

---
 stdlib/source/test/aedifex/artifact/extension.lux | 40 +++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 stdlib/source/test/aedifex/artifact/extension.lux

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

diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
new file mode 100644
index 000000000..e65dd567a
--- /dev/null
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -0,0 +1,40 @@
+(.module:
+  [lux #*
+   ["_" test (#+ Test)]
+   [abstract
+    [monad (#+ do)]]
+   [data
+    ["." text ("#@." equivalence)]
+    [number
+     ["n" nat]]
+    [collection
+     ["." set]
+     ["." list]]]
+   [math
+    ["." random (#+ Random)]]]
+  {#program
+   ["." /
+    ["/#" // #_
+     ["#" type]]]})
+
+(def: #export test
+  Test
+  (<| (_.covering /._)
+      (_.with-cover [/.Extension]
+        ($_ _.and
+            (_.cover [/.lux-library /.jvm-library /.pom
+                      /.sha1 /.md5]
+                     (let [options (list /.lux-library /.jvm-library /.pom /.sha1 /.md5)
+                           uniques (set.from-list text.hash options)]
+                       (n.= (list.size options)
+                            (set.size uniques))))
+            (_.cover [/.extension]
+                     (`` (and (~~ (template [<type> <extension>]
+                                    [(text@= <extension>
+                                             (/.extension <type>))]
+
+                                    [//.lux-library /.lux-library]
+                                    [//.jvm-library /.jvm-library]
+                                    [//.pom /.pom]
+                                    )))))
+            ))))
-- 
cgit v1.2.3