From 86bcfadb774618defaa27bbb9361a93d288fb985 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 12 Jul 2021 22:51:25 -0400
Subject: A bit more clarity for Licentia licenses.

---
 stdlib/source/test/aedifex/command/auto.lux | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/test/aedifex/command/auto.lux')

diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index dfb4dc672..193a5b8d8 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -27,7 +27,7 @@
     ["." instant]]
    [world
     [console (#+ Console)]
-    ["." shell (#+ Shell)]
+    ["." shell (#+ Exit Shell)]
     ["." program (#+ Program)]
     ["." file
      ["." watch]]]]
@@ -46,7 +46,7 @@
 (def: (command expected_runs end_signal fs dummy_file)
   (-> Nat Text (file.System Promise) file.Path
       [(Atom Nat)
-       (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command Any))])
+       (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command [Exit Any]))])
   (let [@runs (: (Atom Nat)
                  (atom.atom 0))]
     [@runs
@@ -56,10 +56,11 @@
          (if (n.= expected_runs actual_runs)
            (wrap (#try.Failure end_signal))
            (do (try.with !)
-             [_ (\ fs write (\ utf8.codec encode (%.nat actual_runs)) dummy_file)]
-             (\ fs modify
-                (|> actual_runs .int instant.from_millis)
-                dummy_file)))))]))
+             [_ (\ fs write (\ utf8.codec encode (%.nat actual_runs)) dummy_file)
+              _ (\ fs modify
+                   (|> actual_runs .int instant.from_millis)
+                   dummy_file)]
+             (wrap [shell.normal []])))))]))
 
 (def: #export test
   Test
-- 
cgit v1.2.3