diff options
author | Eduardo Julian | 2022-08-12 22:26:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-08-12 22:26:57 -0400 |
commit | 772f621c19408c711c1e587668a52a8cfeeea418 (patch) | |
tree | 94a53cae11dc6fe5d46f993fc30364490e668d16 /stdlib/source/test/aedifex/input.lux | |
parent | 29922d1411a75f9fb4259d66e427070aae72b3d3 (diff) |
Fixes for Aedifex tests.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/input.lux | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index 9c296e12c..7dc6ccc8e 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -43,6 +43,11 @@ (-> (Set Address) (Set Address)) (set.has //.default_repository)) +(def with_defaults + (-> Profile Profile) + (|>> (revised //.#sources ..with_default_source) + (revised //.#repositories ..with_default_repository))) + (def .public test Test (<| (_.covering /._) @@ -59,11 +64,7 @@ (at utf8.codec encoded))] _ (at fs write //project.file profile) actual (is (Async (Try Profile)) - (/.read async.monad fs (list //.default)))] - (in (at //.equivalence = - (|> expected - (revised //.#sources ..with_default_source) - (revised //.#repositories ..with_default_repository)) - actual)))] + (/.read async.monad fs (list)))] + (in (at //.equivalence = (with_defaults expected) actual)))] (unit.coverage [/.read] (try.else false verdict))))))) |