aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/aedifex')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux3
-rw-r--r--stdlib/source/test/aedifex/cache.lux10
-rw-r--r--stdlib/source/test/aedifex/cli.lux6
-rw-r--r--stdlib/source/test/aedifex/command/auto.lux16
-rw-r--r--stdlib/source/test/aedifex/command/build.lux12
-rw-r--r--stdlib/source/test/aedifex/command/clean.lux32
-rw-r--r--stdlib/source/test/aedifex/command/deploy.lux12
-rw-r--r--stdlib/source/test/aedifex/command/deps.lux4
-rw-r--r--stdlib/source/test/aedifex/command/install.lux22
-rw-r--r--stdlib/source/test/aedifex/command/pom.lux4
-rw-r--r--stdlib/source/test/aedifex/command/test.lux6
-rw-r--r--stdlib/source/test/aedifex/command/version.lux8
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux10
-rw-r--r--stdlib/source/test/aedifex/dependency/resolution.lux12
-rw-r--r--stdlib/source/test/aedifex/input.lux10
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux4
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/package.lux4
-rw-r--r--stdlib/source/test/aedifex/repository/local.lux4
19 files changed, 89 insertions, 94 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 9152a3d22..9a55ccb59 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -9,9 +9,6 @@
["$." equivalence]
["$." order]
["$." hash]]]
- [control
- [concurrency
- [promise (#+ Promise)]]]
[data
["." text ("#\." equivalence)]]
[math
diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux
index 2f52b1d7b..19fd23203 100644
--- a/stdlib/source/test/aedifex/cache.lux
+++ b/stdlib/source/test/aedifex/cache.lux
@@ -7,7 +7,7 @@
[control
["." try]
[concurrency
- ["." promise (#+ Promise)]]
+ ["." async (#+ Async)]]
[parser
["." environment]]]
[data
@@ -104,10 +104,10 @@
[[dependency expected_package] ..package
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
- #let [fs (: (file.System Promise)
+ #let [fs (: (file.System Async)
(file.mock (\ file.default separator)))
program (program.async (program.mock environment.empty home working_directory))]]
- (wrap (do promise.monad
+ (wrap (do async.monad
[wrote! (/.write_one program fs dependency expected_package)
read! (/.read_one program fs dependency)]
(_.cover' [/.write_one /.read_one]
@@ -125,10 +125,10 @@
[expected ..resolution
home (random.ascii/alpha 5)
working_directory (random.ascii/alpha 5)
- #let [fs (: (file.System Promise)
+ #let [fs (: (file.System Async)
(file.mock (\ file.default separator)))
program (program.async (program.mock environment.empty home working_directory))]]
- (wrap (do promise.monad
+ (wrap (do async.monad
[wrote! (/.write_all program fs expected)
read! (/.read_all program fs (dictionary.keys expected) //dependency/resolution.empty)]
(_.cover' [/.write_all /.read_all]
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index 4239644aa..6f83f5a11 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -48,7 +48,7 @@
## #Auto
..compilation))
-(def: (format_compilation value)
+(def: (compilation_format value)
(-> /.Compilation (List Text))
(case value
#/.Build (list "build")
@@ -63,8 +63,8 @@
#/.Dependencies (list "deps")
#/.Install (list "install")
(#/.Deploy repository [user password]) (list "deploy" repository user password)
- (#/.Compilation compilation) (..format_compilation compilation)
- (#/.Auto compilation) (list& "auto" (..format_compilation compilation))))
+ (#/.Compilation compilation) (..compilation_format compilation)
+ (#/.Auto compilation) (list& "auto" (..compilation_format compilation))))
(def: without_profile
Test
diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index 474a8dd1f..27b12bc42 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -11,7 +11,7 @@
["." environment]]
[concurrency
["." atom (#+ Atom)]
- ["." promise (#+ Promise)]]]
+ ["." async (#+ Async)]]]
[data
["." binary]
["." text
@@ -45,15 +45,15 @@
[resolution (#+ Resolution)]]]]])
(def: (command expected_runs end_signal fs dummy_file)
- (-> Nat Text (file.System Promise) file.Path
+ (-> Nat Text (file.System Async) file.Path
[(Atom Nat)
- (-> (Console Promise) (Program Promise) (file.System Promise) (Shell Promise) Resolution (Command [Exit Any]))])
+ (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))])
(let [@runs (: (Atom Nat)
(atom.atom 0))]
[@runs
(function (_ console program fs shell resolution profile)
- (do {! promise.monad}
- [[_ actual_runs] (promise.future (atom.update inc @runs))]
+ (do {! async.monad}
+ [[_ actual_runs] (async.future (atom.update inc @runs))]
(if (n.= expected_runs actual_runs)
(wrap (#try.Failure end_signal))
(do (try.with !)
@@ -95,13 +95,13 @@
($_ _.and
(_.cover [/.delay]
(n.> 0 /.delay))
- (wrap (do promise.monad
+ (wrap (do async.monad
[verdict (do ///action.monad
[_ (\ fs make_directory source)
_ (\ fs write (binary.create 0) dummy_path)
#let [[@runs command] (..command expected_runs end_signal fs dummy_path)]
_ (\ watcher poll [])]
- (do {! promise.monad}
+ (do {! async.monad}
[no_dangling_process! (|> profile
(set@ #///.compiler compiler)
((/.do! 1 watcher command)
@@ -117,7 +117,7 @@
false))))
correct_number_of_runs! (|> @runs
atom.read
- promise.future
+ async.future
(\ ! map (n.= expected_runs)))]
(wrap (#try.Success (and correct_number_of_runs!
no_dangling_process!)))))]
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index 4b0960d32..3bc7f86dc 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -10,7 +10,7 @@
["." try]
["." exception]
[concurrency
- ["." promise (#+ Promise)]]
+ ["." async (#+ Async)]]
[parser
["." environment]]]
[data
@@ -159,7 +159,7 @@
with_program
with_target)]]
($_ _.and
- (wrap (do promise.monad
+ (wrap (do async.monad
[outcome (/.do! (@version.echo "") (program.async (program.mock environment.empty home working_directory)) fs shell ///dependency/resolution.empty
(with_target empty_profile))]
(_.cover' [/.no_specified_program]
@@ -169,7 +169,7 @@
(#try.Failure error)
(exception.match? /.no_specified_program error)))))
- (wrap (do promise.monad
+ (wrap (do async.monad
[outcome (/.do! (@version.echo "") (program.async (program.mock environment.empty home working_directory)) fs shell ///dependency/resolution.empty profile)]
(_.cover' [/.Compiler /.no_available_compiler]
(case outcome
@@ -181,7 +181,7 @@
(do !
[#let [console (@version.echo "")]
[compiler resolution] ..resolution]
- (wrap (do promise.monad
+ (wrap (do async.monad
[verdict (do ///action.monad
[_ (/.do! console (program.async (program.mock environment.empty home working_directory))
fs shell resolution
@@ -203,7 +203,7 @@
(do !
[#let [console (@version.echo "")]
[compiler resolution] ..resolution]
- (wrap (do promise.monad
+ (wrap (do async.monad
[verdict (do ///action.monad
[_ (/.do! console (program.async (program.mock environment.empty home working_directory))
fs (shell.async (..bad_shell [])) resolution
@@ -224,7 +224,7 @@
shell (|> (list expected/0 expected/1 expected/2)
(..reader_shell <error?>)
shell.async)]
- (wrap (do {! promise.monad}
+ (wrap (do {! async.monad}
[verdict (do ///action.monad
[process (shell [environment.empty working_directory "" (list "")])
_ (<log!> console process)
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index f0a5f4b58..568c6fb76 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -7,7 +7,7 @@
[control
["." try (#+ Try)]
[concurrency
- ["." promise (#+ Promise)]]]
+ ["." async (#+ Async)]]]
[data
[binary (#+ Binary)]
["." product]
@@ -46,32 +46,32 @@
[count (\ ! map (n.% 10) random.nat)
names (random.set text.hash count ..node_name)
contents (random.list count ($binary.random 100))]
- (wrap (list.zip/2 (list\map (|>> (format prefix)) (set.to_list names))
- contents))))
+ (wrap (list.zipped/2 (list\map (|>> (format prefix)) (set.to_list names))
+ contents))))
(def: (create_file! fs [path content])
- (-> (file.System Promise) [Path Binary] (Promise (Try Any)))
+ (-> (file.System Async) [Path Binary] (Async (Try Any)))
(\ fs write content path))
(def: (create_directory! fs path files)
- (-> (file.System Promise) Path (List [Path Binary]) (Promise (Try Any)))
- (do {! (try.with promise.monad)}
- [_ (: (Promise (Try Any))
- (file.make_directories promise.monad fs path))
+ (-> (file.System Async) Path (List [Path Binary]) (Async (Try Any)))
+ (do {! (try.with async.monad)}
+ [_ (: (Async (Try Any))
+ (file.make_directories async.monad fs path))
_ (monad.map ! (..create_file! fs) files)]
(wrap [])))
(def: (directory_exists? fs)
- (-> (file.System Promise) Path (Promise (Try Bit)))
- (|>> (\ fs directory?) (try.lift promise.monad)))
+ (-> (file.System Async) Path (Async (Try Bit)))
+ (|>> (\ fs directory?) (try.lift async.monad)))
(def: (file_exists? fs)
- (-> (file.System Promise) Path (Promise (Try Bit)))
- (|>> (\ fs file?) (try.lift promise.monad)))
+ (-> (file.System Async) Path (Async (Try Bit)))
+ (|>> (\ fs file?) (try.lift async.monad)))
(def: (assets_exist? fs directory_path files)
- (-> (file.System Promise) Path (List [Path Binary]) (Promise (Try Bit)))
- (do {! (try.with promise.monad)}
+ (-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit)))
+ (do {! (try.with async.monad)}
[directory_exists? (..directory_exists? fs directory_path)
files_exist? (: (Action (List Bit))
(|> files
@@ -95,9 +95,9 @@
sub_files (..files (format sub_path /))
dummy @profile.random]
- (wrap (do promise.monad
+ (wrap (do async.monad
[#let [console (@version.echo "")]
- verdict (do {! (try.with promise.monad)}
+ verdict (do {! (try.with async.monad)}
[_ (..create_directory! fs target_path direct_files)
_ (..create_directory! fs sub_path sub_files)
context_exists!/pre (..directory_exists? fs context)
diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux
index d1b955c77..e2f7cfa4a 100644
--- a/stdlib/source/test/aedifex/command/deploy.lux
+++ b/stdlib/source/test/aedifex/command/deploy.lux
@@ -7,7 +7,7 @@
[control
["." try (#+ Try)]
[concurrency
- ["." promise (#+ Promise)]]
+ ["." async (#+ Async)]]
[parser
["." environment]]]
[data
@@ -50,9 +50,9 @@
["#/." extension]]]]])
(def: (execute! program repository fs artifact profile)
- (-> (Program Promise) (Repository Promise) (file.System Promise)
+ (-> (Program Async) (Repository Async) (file.System Async)
Artifact ///.Profile
- (Promise (Try Text)))
+ (Async (Try Text)))
(do ///action.monad
[#let [console ($version.echo "")]
_ ($install.make_sources! fs (get@ #///.sources profile))
@@ -77,7 +77,7 @@
$repository.empty)
fs (file.mock (\ file.default separator))
program (program.async (program.mock environment.empty home working_directory))]]
- (wrap (do {! promise.monad}
+ (wrap (do {! async.monad}
[verdict (do {! ///action.monad}
[logging (..execute! program repository fs artifact profile)
expected_library (|> profile
@@ -89,12 +89,12 @@
actual_pom (\ repository download (///repository/remote.uri (get@ #///artifact.version artifact) artifact ///artifact/extension.pom))
actual_library (\ repository download (///repository/remote.uri (get@ #///artifact.version artifact) artifact ///artifact/extension.lux_library))
actual_sha-1 (\ repository download (///repository/remote.uri (get@ #///artifact.version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.sha-1)))
- actual_sha-1 (\ promise.monad wrap
+ actual_sha-1 (\ async.monad wrap
(do try.monad
[actual_sha-1 (\ utf8.codec decode actual_sha-1)]
(\ ///hash.sha-1_codec decode actual_sha-1)))
actual_md5 (\ repository download (///repository/remote.uri (get@ #///artifact.version artifact) artifact (format ///artifact/extension.lux_library ///artifact/extension.md5)))
- actual_md5 (\ promise.monad wrap
+ actual_md5 (\ async.monad wrap
(do try.monad
[actual_md5 (\ utf8.codec decode actual_md5)]
(\ ///hash.md5_codec decode actual_md5)))
diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux
index 40645b731..1a54ae89d 100644
--- a/stdlib/source/test/aedifex/command/deps.lux
+++ b/stdlib/source/test/aedifex/command/deps.lux
@@ -8,7 +8,7 @@
[control
["." try]
[concurrency
- ["." promise]]
+ ["." async]]
[parser
["." environment]]]
[data
@@ -95,7 +95,7 @@
fs (file.mock (\ file.default separator))
program (program.async (program.mock environment.empty home working_directory))]]
- (wrap (do promise.monad
+ (wrap (do async.monad
[verdict (do ///action.monad
[#let [console (@version.echo "")
local (///repository/local.repository program fs)]
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index 70df9b7a3..3ba225206 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -8,7 +8,7 @@
["." try (#+ Try) ("#\." functor)]
["." exception]
[concurrency
- ["." promise (#+ Promise)]]
+ ["." async (#+ Async)]]
[parser
["." environment]]]
[data
@@ -40,20 +40,20 @@
["#/." local]]]]]])
(def: #export (make_sources! fs sources)
- (-> (file.System Promise) (Set file.Path) (Action (List Any)))
+ (-> (file.System Async) (Set file.Path) (Action (List Any)))
(let [/ (\ fs separator)
! ///action.monad]
(|> sources
set.to_list
(monad.map ! (function (_ head)
(do !
- [_ (: (Promise (Try Any))
- (file.make_directories promise.monad fs head))]
- (: (Promise (Try Any))
- (file.make_file promise.monad fs (binary.create 0) (format head / head ".lux")))))))))
+ [_ (: (Async (Try Any))
+ (file.make_directories async.monad fs head))]
+ (: (Async (Try Any))
+ (file.make_file async.monad fs (binary.create 0) (format head / head ".lux")))))))))
(def: (execute! program fs sample)
- (-> (Program Promise) (file.System Promise) ///.Profile (Promise (Try Text)))
+ (-> (Program Async) (file.System Async) ///.Profile (Async (Try Text)))
(do ///action.monad
[#let [console ($version.echo "")]
_ (..make_sources! fs (get@ #///.sources sample))
@@ -71,7 +71,7 @@
working_directory (random.ascii/alpha 5)
#let [/ (\ file.default separator)]]
($_ _.and
- (wrap (do {! promise.monad}
+ (wrap (do {! async.monad}
[#let [fs (file.mock /)
program (program.async (program.mock environment.empty home working_directory))
@@ -84,17 +84,17 @@
library_exists! (|> library_path
(format home /)
(\ fs file?)
- (\ promise.monad map exception.return))
+ (\ async.monad map exception.return))
pom_exists! (|> pom_path
(format home /)
(\ fs file?)
- (\ promise.monad map exception.return))]
+ (\ async.monad map exception.return))]
(wrap (and succeeded!
library_exists!
pom_exists!)))]
(_.cover' [/.do! /.success]
(try.default false verdict))))
- (wrap (do {! promise.monad}
+ (wrap (do {! async.monad}
[#let [fs (file.mock /)
program (program.async (program.mock environment.empty home working_directory))]
logging (..execute! program fs (set@ #///.identity #.None sample))]
diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux
index 624be95bd..4ee1c49f4 100644
--- a/stdlib/source/test/aedifex/command/pom.lux
+++ b/stdlib/source/test/aedifex/command/pom.lux
@@ -7,7 +7,7 @@
[control
["." try ("#\." functor)]
[concurrency
- ["." promise]]]
+ ["." async]]]
[data
["." binary ("#\." equivalence)]
["." text ("#\." equivalence)
@@ -36,7 +36,7 @@
(do random.monad
[sample @profile.random
#let [fs (file.mock (\ file.default separator))]]
- (wrap (do {! promise.monad}
+ (wrap (do {! async.monad}
[#let [console (@version.echo "")]
outcome (/.do! console fs sample)]
(case outcome
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index 4621028ae..5882992a9 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -8,7 +8,7 @@
["." try]
["." exception]
[concurrency
- ["." promise]]
+ ["." async]]
[parser
["." environment]]]
[data
@@ -61,7 +61,7 @@
($_ _.and
(let [fs (file.mock (\ file.default separator))
console (@version.echo "")]
- (wrap (do promise.monad
+ (wrap (do async.monad
[verdict (do ///action.monad
[_ (/.do! console (program.async (program.mock environment.empty home working_directory))
fs (shell.async (@build.good_shell [])) resolution
@@ -79,7 +79,7 @@
(try.default false verdict)))))
(let [fs (file.mock (\ file.default separator))
console (@version.echo "")]
- (wrap (do promise.monad
+ (wrap (do async.monad
[verdict (do ///action.monad
[#let [bad_shell (shell.mock
(function (_ [actual_environment actual_working_directory actual_command actual_arguments])
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index d0d172a7a..739a02fef 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -8,7 +8,7 @@
["." try]
["." exception (#+ exception:)]
[concurrency
- ["." promise (#+ Promise)]]]
+ ["." async (#+ Async)]]]
[data
["." maybe]
["." text ("#\." equivalence)
@@ -58,7 +58,7 @@
(exception.throw ..console_is_closed! []))))
(def: #export echo
- (-> Text (Console Promise))
+ (-> Text (Console Async))
(|>> [true]
(console.mock ..mock)
console.async))
@@ -68,9 +68,9 @@
(<| (_.covering /._)
(do random.monad
[profile @profile.random]
- (wrap (do promise.monad
+ (wrap (do async.monad
[#let [console (..echo "")]
- verdict (do (try.with promise.monad)
+ verdict (do (try.with async.monad)
[_ (/.do! console profile)
logging (\ console read_line [])]
(wrap (text\= (version.format language/lux.version)
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index a99f37ca1..218bbaf07 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -10,7 +10,7 @@
["." try ("#\." functor)]
[concurrency
["." atom (#+ Atom)]
- ["." promise]]]
+ ["." async]]]
[data
["." product]
["." maybe ("#\." functor)]
@@ -156,9 +156,9 @@
(atom.atom (dictionary.new text.hash)))
http (..http cache)
repository (repository.async (remote.repository http #.None address))]]
- (wrap (do promise.monad
+ (wrap (do async.monad
[?outcome (/.one repository dependency package)
- cache (promise.future (atom.read cache))]
+ cache (async.future (atom.read cache))]
(_.cover' [/.one]
(|> ?outcome
(try\map (verify_one 1 address package cache expected_artifact))
@@ -179,9 +179,9 @@
(atom.atom (dictionary.new text.hash)))
http (..http cache)
repository (repository.async (remote.repository http #.None address))]]
- (wrap (do promise.monad
+ (wrap (do async.monad
[?outcome (/.all repository resolution)
- cache (promise.future (atom.read cache))]
+ cache (async.future (atom.read cache))]
(_.cover' [/.all]
(|> ?outcome
(try\map (function (_ actual_artifacts)
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 9d1f287c6..ea468f851 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -11,7 +11,7 @@
["." try]
["." exception]
[concurrency
- ["." promise]]]
+ ["." async]]]
[data
[binary (#+ Binary)]
["." product]
@@ -259,7 +259,7 @@
bad_md5 (..bad_md5 expected_artifact expected_package dummy_package)]]
(`` ($_ _.and
(wrap
- (do promise.monad
+ (do async.monad
[actual_package (/.one (///repository.mock good [])
{#///dependency.artifact expected_artifact
#///dependency.type ///artifact/type.lux_library})]
@@ -274,7 +274,7 @@
false))))
(~~ (template [<exception> <bad>]
[(wrap
- (do promise.monad
+ (do async.monad
[actual_package (/.one (///repository.mock <bad> [])
{#///dependency.artifact expected_artifact
#///dependency.type ///artifact/type.lux_library})]
@@ -306,7 +306,7 @@
bad_md5 (..bad_md5 expected_artifact expected_package dummy_package)]]
($_ _.and
(wrap
- (do promise.monad
+ (do async.monad
[#let [console ($///version.echo "")]
actual_package (/.any console
(list (///repository.mock bad_sha-1 [])
@@ -324,7 +324,7 @@
(#try.Failure _)
false))))
(wrap
- (do promise.monad
+ (do async.monad
[#let [console ($///version.echo "")]
actual_package (/.any console
(list (///repository.mock bad_sha-1 [])
@@ -411,7 +411,7 @@
(..packages [dependee_artifact depender_artifact ignored_artifact])]
($_ _.and
(wrap
- (do promise.monad
+ (do async.monad
[#let [console ($///version.echo "")]
[successes failures resolution] (/.all console
(list (///repository.mock (..single dependee_artifact dependee_package) [])
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index 529185320..e7f02569f 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -7,7 +7,7 @@
[control
["." try (#+ Try)]
[concurrency
- ["." promise (#+ Promise)]]]
+ ["." async (#+ Async)]]]
[data
[text
["%" format]
@@ -46,17 +46,17 @@
(<| (_.covering /._)
(do {! random.monad}
[expected (\ ! map (set@ #//.parents (list)) $profile.random)
- #let [fs (: (file.System Promise)
+ #let [fs (: (file.System Async)
(file.mock (\ file.default separator)))]]
- (wrap (do promise.monad
+ (wrap (do async.monad
[verdict (do //action.monad
[#let [profile (|> expected
//format.profile
%.code
(\ utf8.codec encode))]
_ (\ fs write profile //project.file)
- actual (: (Promise (Try Profile))
- (/.read promise.monad fs //.default))]
+ actual (: (Async (Try Profile))
+ (/.read async.monad fs //.default))]
(wrap (\ //.equivalence =
(|> expected
(update@ #//.sources ..with_default_source)
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index cc2d78db7..6a2106ad3 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -12,7 +12,7 @@
["." environment]
["<.>" xml]]
[concurrency
- ["." promise]]]
+ ["." async]]]
[data
["." maybe]
["." text ("#\." equivalence)]
@@ -100,7 +100,7 @@
#let [program (program.async (program.mock environment.empty home working_directory))
fs (file.mock (\ file.default separator))
repository (///repository/local.repository program fs)]]
- (wrap (do promise.monad
+ (wrap (do async.monad
[wrote? (/.write repository artifact expected)
actual (/.read repository artifact)]
(_.cover' [/.write /.read]
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index 48738522a..ea0a26a5a 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -12,7 +12,7 @@
["." environment]
["<.>" xml]]
[concurrency
- ["." promise]]]
+ ["." async]]]
[data
["." maybe]
["." text ("#\." equivalence)]
@@ -112,7 +112,7 @@
#let [program (program.async (program.mock environment.empty home working_directory))
fs (file.mock (\ file.default separator))
repository (///repository/local.repository program fs)]]
- (wrap (do promise.monad
+ (wrap (do async.monad
[wrote? (/.write repository artifact expected)
actual (/.read repository artifact)]
(_.cover' [/.write /.read]
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 55bca8ce3..61201456a 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -7,9 +7,7 @@
[\\specification
["$." equivalence]]]
[control
- ["." try]
- [concurrency
- [promise (#+ Promise)]]]
+ ["." try]]
[data
["." product]
["." text
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 1bbf2f7bb..a40924dea 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -9,7 +9,7 @@
[parser
["." environment]]
[concurrency
- ["." promise]]]
+ ["." async]]]
[data
["." binary ("#\." equivalence)]
[text
@@ -38,7 +38,7 @@
expected (\ ! map (\ utf8.codec encode)
(random.ascii/lower 10))]
($_ _.and
- (wrap (do promise.monad
+ (wrap (do async.monad
[before_upload (\ repo download uri)
_ (\ repo upload uri expected)
actual (\ repo download uri)]