diff options
| author | Eduardo Julian | 2021-07-12 22:51:25 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-12 22:51:25 -0400 |
| commit | 86bcfadb774618defaa27bbb9361a93d288fb985 (patch) | |
| tree | 48c8422b872ec21d60810a88e47f38c9583f6333 /stdlib/source/program/aedifex/command/auto.lux | |
| parent | 86df87512966e8038d70624ab654262ce14a915c (diff) | |
A bit more clarity for Licentia licenses.
Diffstat (limited to 'stdlib/source/program/aedifex/command/auto.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/command/auto.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index 398fb26cf..ee2ab4bbd 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -12,7 +12,7 @@ ["." set]]] [world [program (#+ Program)] - [shell (#+ Shell)] + [shell (#+ Exit Shell)] [console (#+ Console)] ["." file ["." watch (#+ Watcher)]]]] @@ -45,8 +45,8 @@ (def: #export (do! delay watcher command) (All [a] (-> Nat (Watcher Promise) - (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command a)) - (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command Any)))) + (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command [Exit a])) + (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command [Exit Any])))) (function (_ console program fs shell resolution) (function (_ profile) (with_expansions [<call> ((command console program fs shell resolution) profile)] |