From 7db42ab1b9d3c764772ca63c74bf44bb2b8b8325 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 9 Jul 2022 14:35:38 -0400
Subject: First-class programs instead of having a "lux program" extension.

---
 .../source/program/aedifex/dependency/resolution.lux | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 7cabf5b88..ae075b5b0 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -6,17 +6,18 @@
    [abstract
     [codec (.only Codec)]
     [equivalence (.only Equivalence)]
-    [monad (.only do)]
-    ["[0]" predicate (.only Predicate)]]
+    [monad (.only do)]]
    [control
     ["[0]" maybe]
     ["[0]" try (.only Try) (.use "[1]#[0]" functor)]
     ["[0]" exception (.only Exception exception)]
+    [function
+     ["[0]" predicate (.only Predicate)]]
     [concurrency
      ["[0]" async (.only Async)]]]
    [data
     ["[0]" binary (.only Binary)]
-    ["[0]" textnone
+    ["[0]" text (.only)
      ["%" \\format (.only format)]
      [encoding
       ["[0]" utf8]]]
@@ -49,7 +50,7 @@
    ["[1][0]" artifact (.only Version Artifact)
     ["[1]/[0]" extension (.only Extension)]
     ["[1]/[0]" versioning]
-    ["[0]" snapshotnone
+    ["[0]" snapshot (.only)
      [version
       ["[0]" value]]]]
    ["[1][0]" repository (.only Repository)
@@ -222,12 +223,13 @@
                   tail
                   resolution)
         _ (do [! async.monad]
-            [?package (case (dictionary.value head resolution)
-                        {.#Some package}
-                        (in {try.#Success package})
+            [?package (is (Async (Try Package))
+                          (case (dictionary.value head resolution)
+                            {.#Some package}
+                            (in {try.#Success package})
 
-                        {.#None}
-                        (..any console repositories head))]
+                            {.#None}
+                            (..any console repositories head)))]
             (case ?package
               {try.#Success package}
               (do !
-- 
cgit v1.2.3