From ce1a7a131f7c4df8eae5c019eba2893b56f04d46 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 24 Jun 2021 03:42:57 -0400
Subject: Added a macro for type-casting JVM objects.

---
 stdlib/source/program/aedifex/profile.lux | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index fa49e41cd..592e221fd 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -24,8 +24,8 @@
   [//
    ["." artifact (#+ Artifact)]
    ["." dependency]
-   ["." repository #_
-    ["#" remote (#+ Address)]]])
+   [repository
+    [remote (#+ Address)]]])
 
 (type: #export Distribution
   #Repo
@@ -132,6 +132,10 @@
   Target
   "target")
 
+(def: #export default_repository
+  Address
+  "https://repo1.maven.org/maven2/")
+
 (type: #export Name
   Text)
 
@@ -143,13 +147,13 @@
   {#parents (List Name)
    #identity (Maybe Artifact)
    #info (Maybe Info)
-   #repositories (Set repository.Address)
+   #repositories (Set Address)
    #dependencies (Set dependency.Dependency)
    #sources (Set Source)
    #target (Maybe Target)
    #program (Maybe Module)
    #test (Maybe Module)
-   #deploy_repositories (Dictionary Text repository.Address)})
+   #deploy_repositories (Dictionary Text Address)})
 
 (def: #export equivalence
   (Equivalence Profile)
-- 
cgit v1.2.3