From a40f40f230e6312ae432f06e7f73aa5945d8fa49 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 18 Jul 2021 23:10:18 -0400
Subject: New JVM compiler can now compile JVM interfaces.

---
 stdlib/source/program/aedifex/pom.lux        | 5 ++++-
 stdlib/source/program/aedifex/repository.lux | 1 +
 2 files changed, 5 insertions(+), 1 deletion(-)

(limited to 'stdlib/source/program')

diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index c5756ee97..be03d36f5 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -18,7 +18,9 @@
      [collection
       ["." list ("#\." monoid functor fold)]
       ["." set]
-      ["." dictionary]]]]]
+      ["." dictionary]]]
+    [world
+     ["." file]]]]
   ["." // #_
    ["/" profile]
    ["#." dependency (#+ Dependency)]
@@ -40,6 +42,7 @@
 (def: version_tag "version")
 
 (def: #export file
+  file.Path
   "pom.xml")
 
 (def: version
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 93e9096e7..7ae07e9b5 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -49,6 +49,7 @@
     (implementation
      (def: description
        (\ mock the_description))
+     
      (def: (download uri)
        (stm.commit
         (do {! stm.monad}
-- 
cgit v1.2.3