From 92dca9f487c625d27f6c291784ef709b0cc13a72 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 26 Dec 2020 04:34:11 -0400
Subject: Some renamings.

---
 stdlib/source/program/aedifex/package.lux | 42 ++++++++++++-------------------
 1 file changed, 16 insertions(+), 26 deletions(-)

(limited to 'stdlib/source/program/aedifex/package.lux')

diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux
index b3118a7e0..f6ba87078 100644
--- a/stdlib/source/program/aedifex/package.lux
+++ b/stdlib/source/program/aedifex/package.lux
@@ -15,28 +15,13 @@
     [collection
      [set (#+ Set)]]]]
   ["." // #_
-   [dependency (#+ Dependency)
-    ["#." status (#+ Status)]]
    ["/" profile]
    ["#." hash (#+ Hash SHA-1 MD5)]
-   ["#." pom]])
-
-(type: #export Origin
-  #Local
-  #Remote)
-
-(structure: any_equivalence
-  (Equivalence Any)
-
-  (def: (= _ _)
-    true))
-
-(def: origin_equivalence
-  (Equivalence Origin)
-  ($_ sum.equivalence
-      ..any_equivalence
-      ..any_equivalence
-      ))
+   ["#." pom]
+   [dependency (#+ Dependency)
+    ["#." status (#+ Status)]]
+   [repository
+    ["#." origin (#+ Origin)]]])
 
 (type: #export Package
   {#origin Origin
@@ -44,17 +29,22 @@
    #pom [XML Status]})
 
 (template [<name> <tag>]
-  [(def: #export <name>
+  [(def: #export (<name> package)
      (-> Package Bit)
-     (|>> (get@ #origin) (\ ..origin_equivalence = <tag>)))]
+     (case (get@ #origin package)
+       (<tag> _)
+       true
+       
+       _
+       false))]
 
-  [local? #Local]
-  [remote? #Remote]
+  [local? #//origin.Local]
+  [remote? #//origin.Remote]
   )
 
 (def: #export (local pom library)
   (-> XML Binary Package)
-  {#origin #Local
+  {#origin (#//origin.Local "")
    #library [library #//status.Unverified]
    #pom [pom #//status.Unverified]})
 
@@ -68,7 +58,7 @@
 (def: #export equivalence
   (Equivalence Package)
   ($_ product.equivalence
-      ..origin_equivalence
+      //origin.equivalence
       (product.equivalence binary.equivalence //status.equivalence)
       (product.equivalence xml.equivalence //status.equivalence)
       ))
-- 
cgit v1.2.3