From 772f621c19408c711c1e587668a52a8cfeeea418 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 12 Aug 2022 22:26:57 -0400 Subject: Fixes for Aedifex tests. --- stdlib/source/library/lux/data/collection/list.lux | 2 +- stdlib/source/library/lux/world/file.lux | 6 ++ stdlib/source/library/lux/world/shell.lux | 3 +- .../program/aedifex/command/deploy/release.lux | 9 +- stdlib/source/program/aedifex/format.lux | 39 +++++---- stdlib/source/program/aedifex/hash.lux | 2 +- stdlib/source/program/aedifex/parser.lux | 2 +- stdlib/source/program/aedifex/profile.lux | 5 +- stdlib/source/program/aedifex/project.lux | 2 +- stdlib/source/test/aedifex.lux | 2 +- .../aedifex/artifact/snapshot/version/value.lux | 5 +- stdlib/source/test/aedifex/artifact/time/date.lux | 7 +- stdlib/source/test/aedifex/artifact/time/time.lux | 3 +- stdlib/source/test/aedifex/cli.lux | 10 +-- stdlib/source/test/aedifex/command/auto.lux | 13 +-- stdlib/source/test/aedifex/command/build.lux | 11 +-- stdlib/source/test/aedifex/command/deploy.lux | 99 ++++++++++++++-------- stdlib/source/test/aedifex/command/deps.lux | 15 ++-- stdlib/source/test/aedifex/command/install.lux | 12 +-- stdlib/source/test/aedifex/command/test.lux | 11 +-- .../source/test/aedifex/dependency/resolution.lux | 3 +- stdlib/source/test/aedifex/input.lux | 13 +-- stdlib/source/test/aedifex/metadata/artifact.lux | 6 +- stdlib/source/test/aedifex/metadata/snapshot.lux | 8 +- stdlib/source/test/aedifex/parser.lux | 31 ++++--- stdlib/source/test/aedifex/profile.lux | 23 +++-- stdlib/source/test/aedifex/repository.lux | 2 +- stdlib/source/test/aedifex/repository/local.lux | 6 +- stdlib/source/test/lux/data/collection/list.lux | 2 +- .../compiler/language/lux/analysis/coverage.lux | 34 ++++---- 30 files changed, 227 insertions(+), 159 deletions(-) (limited to 'stdlib') diff --git a/stdlib/source/library/lux/data/collection/list.lux b/stdlib/source/library/lux/data/collection/list.lux index 77e5529b1..cddf68036 100644 --- a/stdlib/source/library/lux/data/collection/list.lux +++ b/stdlib/source/library/lux/data/collection/list.lux @@ -143,7 +143,7 @@ )))] [while {.#Item x (while predicate xs')} {.#End}] - [until (until predicate xs') xs] + [until xs (until predicate xs')] ) (def .public (split_at n xs) diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux index 1e2bdd90d..11adc36a7 100644 --- a/stdlib/source/library/lux/world/file.lux +++ b/stdlib/source/library/lux/world/file.lux @@ -1337,3 +1337,9 @@ (if ? (in (exception.except ..cannot_make_file [path])) (at fs write path content)))) + +(def .public (copy monad fs from to) + (All (_ !) (-> (Monad !) (System !) Path Path (! (Try Any)))) + (do (try.with monad) + [data (at fs read from)] + (at fs write to data))) diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index bd7829907..4101cb3c9 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -82,7 +82,8 @@ (type .public (Shell !) (Interface - (is (-> [Environment Path Command (List Argument)] (! (Try (Process !)))) + (is (-> [Environment Path Command (List Argument)] + (! (Try (Process !)))) execute))) (def .public (async shell) diff --git a/stdlib/source/program/aedifex/command/deploy/release.lux b/stdlib/source/program/aedifex/command/deploy/release.lux index 88303069a..5a2496648 100644 --- a/stdlib/source/program/aedifex/command/deploy/release.lux +++ b/stdlib/source/program/aedifex/command/deploy/release.lux @@ -97,6 +97,7 @@ [pom ////artifact/extension.pom] [tar ////artifact/extension.lux_library] [jar ////artifact/extension.jvm_library] + [sha-1 ////artifact/extension.sha-1] [md5 ////artifact/extension.md5] ) @@ -142,6 +143,11 @@ (at ////hash.md5_codec encoded) (at utf8.codec encoded) (at remote upload (..md5 artifact))) + _ (|> it + ////hash.sha-1 + (at ////hash.sha-1_codec encoded) + (at utf8.codec encoded) + (at remote upload (..sha-1 artifact))) _ (..release_unsigned_artifact! local remote signature)] (in []))) @@ -150,8 +156,7 @@ (do [! ////action.monad] [_ (///install.do! console fs local profile) _ (install_dummies! environment local fs artifact) - .let [working_directory (at environment directory) - @root (////repository/local.root environment fs) + .let [@root (////repository/local.root environment fs) $bundle (////artifact.bundle (the ////artifact.#version artifact) artifact) / (at fs separator) @local (%.format @root / $bundle)] diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux index 594b91014..771bcc9de 100644 --- a/stdlib/source/program/aedifex/format.lux +++ b/stdlib/source/program/aedifex/format.lux @@ -28,31 +28,31 @@ (def (license [name url type]) (Format /.License) - (`' [#name (, (code.text name)) - #url (, (code.text url)) - #type (, (when type - {/.#Repo} - (' "repo") + (`' ["name" (, (code.text name)) + "url" (, (code.text url)) + "type" (, (when type + {/.#Repo} + (' "repo") - {/.#Manual} - (' "manual")))])) + {/.#Manual} + (' "manual")))])) (def (organization [name url]) (Format /.Organization) - (`' [#name (, (code.text name)) - #url (, (code.text url))])) + (`' ["name" (, (code.text name)) + "url" (, (code.text url))])) (def (developer [name url organization]) (Format /.Developer) (when organization {.#None} - (`' [#name (, (code.text name)) - #url (, (code.text url))]) + (`' ["name" (, (code.text name)) + "url" (, (code.text url))]) {.#Some value} - (`' [#name (, (code.text name)) - #url (, (code.text url)) - #organization (, (..organization value))]))) + (`' ["name" (, (code.text name)) + "url" (, (code.text url)) + "organization" (, (..organization value))]))) (def contributor (Format /.Contributor) @@ -156,10 +156,18 @@ (` [(, (code.symbol definition)) (,* (list#each code.text parameters))])) +(def configuration + (Format /.Configuration) + (|>> (list#each (function (_ [setting value]) + (list (code.text setting) + (code.text value)))) + list#conjoint + code.tuple)) + (def .public lux_compiler_label "lux") -(def (profile value) +(def .public (profile value) (Format /.Profile) (`` (|> ..empty (..on_list "parents" (the /.#parents value) code.text) @@ -174,6 +182,7 @@ (..on_maybe "program" (the /.#program value) code.symbol) (..on_maybe "test" (the /.#test value) code.symbol) (..on_dictionary "deploy_repositories" (the /.#deploy_repositories value) code.text code.text) + (dictionary.has "configuration" (..configuration (the /.#configuration value))) (,, (with_template [] [(dictionary.has (template.text []) (..runtime (the value)))] diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index 64e9784d3..a83752014 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -8,7 +8,7 @@ [monad (.only do)]] [control ["[0]" try (.only Try)] - ["[0]" exception (.only exception)]] + ["[0]" exception (.only Exception)]] [data ["[0]" binary (.only Binary)] ["[0]" text (.only) diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux index 0327a4cd9..6e64f5bf2 100644 --- a/stdlib/source/program/aedifex/parser.lux +++ b/stdlib/source/program/aedifex/parser.lux @@ -288,5 +288,5 @@ (Parser Project) (at <>.monad each (dictionary.of_list text.hash) - (.tuple (<>.many (<>.and .text + (.tuple (<>.some (<>.and .text ..profile))))) diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 2d9d41b4c..e887160b5 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -164,6 +164,9 @@ Name "") +(type .public Configuration + (property.List Text)) + (type .public Profile (Record [#parents (List Name) @@ -178,7 +181,7 @@ #program (Maybe Symbol) #test (Maybe Symbol) #deploy_repositories (Dictionary Text Address) - #configuration (property.List Text) + #configuration Configuration #java Runtime #js Runtime #python Runtime diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 9d0a00f43..d35873c71 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -7,7 +7,7 @@ ["[0]" monad (.only do)]] [control ["[0]" try (.only Try)] - ["[0]" exception (.only exception)]] + ["[0]" exception (.only Exception)]] [data ["[0]" text (.only) ["%" \\format (.only format)]] diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux index 41c03b43b..8b859955e 100644 --- a/stdlib/source/test/aedifex.lux +++ b/stdlib/source/test/aedifex.lux @@ -10,7 +10,7 @@ ["[1][0]" artifact] ["[1][0]" cli] ["[1][0]" command] - ["[1][0]" dependency + ["[1][0]" dependency (.only) ["[1]/[0]" deployment] ["[1]/[0]" resolution] ["[1]/[0]" status]] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 470cd66c7..f116a0a78 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -16,8 +16,9 @@ [number ["n" nat] ["i" int]]] - [time - ["[0]" instant]] + [world + [time + ["[0]" instant]]] [test ["_" property (.only Test)]]]] ["$[0]" /// diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 5efc00d4e..23f0a69f8 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -16,9 +16,10 @@ [number ["n" nat] ["i" int]]] - [time - ["[0]" date (.use "[1]#[0]" equivalence)] - ["[0]" year]] + [world + [time + ["[0]" date (.use "[1]#[0]" equivalence)] + ["[0]" year]]] [test ["_" property (.only Test)]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index d4bc90f4e..90ac9819b 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["[0]" time] [abstract [monad (.only do)]] [control @@ -14,6 +13,8 @@ [number ["n" nat] ["i" int]]] + [world + ["[0]" time]] [test ["_" property (.only Test)]]]] [\\program diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index b388866c6..fa6d9c72c 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -7,15 +7,15 @@ ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" try] - [parser - ["[0]" cli]]] + ["[0]" try]] [data ["[0]" text] [collection ["[0]" list]]] [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] + [program + ["cli" \\parser]] [test ["_" property (.only Test)]]]] [\\program @@ -79,7 +79,7 @@ (cli.result /.command) (pipe.when {try.#Success [names actual]} - (and (at (list.equivalence text.equivalence) = (list //.default) names) + (and (at (list.equivalence text.equivalence) = (list) names) (at /.equivalence = expected actual)) {try.#Failure error} @@ -97,7 +97,7 @@ (cli.result /.command) (pipe.when {try.#Success [actual_profile actual_command]} - (and (at (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile) + (and (at (list.equivalence text.equivalence) = (list expected_profile) actual_profile) (at /.equivalence = expected_command actual_command)) {try.#Failure error} diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index b202af97f..c46b474ac 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -6,8 +6,6 @@ [control ["[0]" pipe] ["[0]" try] - [parser - ["[0]" environment]] [concurrency ["[0]" atom (.only Atom)] ["[0]" async (.only Async)]]] @@ -26,8 +24,10 @@ [world [console (.only Console)] ["[0]" shell (.only Exit Shell)] - ["[0]" program (.only Program)] - ["[0]" file + ["[0]" environment + ["program" / (.only Environment)] + ["[1]" \\parser]] + ["[0]" file (.only) ["[0]" watch]] [time ["[0]" instant]]] @@ -49,7 +49,7 @@ (def (command expected_runs end_signal fs dummy_file) (-> Nat Text (file.System Async) file.Path [(Atom Nat) - (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))]) + (-> (Console Async) (Environment Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))]) (let [@runs (is (Atom Nat) (atom.atom 0))] [@runs @@ -71,7 +71,8 @@ .let [/ (at file.default separator) [fs watcher] (watch.mock /)] - program (random.alphabetic 5) + program (random.and (random.alphabetic 5) + (random.alphabetic 5)) target (random.alphabetic 5) source (random.alphabetic 5) .let [empty_profile (is Profile diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index c039b6e9c..674a04e93 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -9,9 +9,7 @@ ["[0]" try] ["[0]" exception] [concurrency - ["[0]" async (.only Async)]] - [parser - ["[0]" environment]]] + ["[0]" async (.only Async)]]] [data ["[0]" text (.use "[1]#[0]" equivalence)] [collection @@ -21,7 +19,9 @@ [world ["[0]" file] ["[0]" shell (.only Shell)] - ["[0]" program]] + ["[0]" environment + ["program" /] + ["[1]" \\parser]]] [test ["[0]" unit] ["_" property (.only Test)]]]] @@ -146,7 +146,8 @@ last_error (random.alphabetic 5) .let [fs (file.mock (at file.default separator)) shell (shell.async (..good_shell []))] - program (random.alphabetic 5) + program (random.and (random.alphabetic 5) + (random.alphabetic 5)) target (random.alphabetic 5) home (random.alphabetic 5) working_directory (random.alphabetic 5) diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 55fac78c6..6e8d38d31 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -2,22 +2,21 @@ [library [lux (.except) [abstract - [monad (.only do)]] + ["[0]" monad (.only do)]] [control ["[0]" maybe] ["[0]" try (.only Try)] + ["[0]" exception] [concurrency - ["[0]" async (.only Async)]] - [parser - ["[0]" environment]]] + ["[0]" async (.only Async) (.use "[1]#[0]" monad)]]] [data - ["[0]" binary (.use "[1]#[0]" equivalence)] + ["[0]" binary (.use "[1]#[0]" equivalence) + ["[0]" \\format]] ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] [encoding ["[0]" utf8]]] ["[0]" format - ["[1]" binary] ["[0]" tar] ["[0]" xml]] [collection @@ -30,41 +29,74 @@ ["[0]" export]]]] [world ["[0]" file] - ["[0]" program (.only Program)] - ["[0]" shell]] + ["[0]" shell (.only Process Shell)] + ["[0]" environment + ["program" / (.only Environment)] + ["[1]" \\parser]]] [test ["[0]" unit] ["_" property (.only Test)]]]] - [// - ["$[0]" build] - ["$[0]" install] - ["$[0]" version] + ["$" // + ["[1][0]" install] + ["[1][0]" version] [// - ["$[0]" profile] - ["$[0]" repository]]] + ["[1][0]" profile] + ["[1][0]" repository]]] [\\program ["[0]" / (.only) - ["//[1]" /// - ["[1]" profile] - ["[1][0]" action] - ["[1][0]" pom] - ["[1][0]" hash] - ["[1][0]" repository (.only Repository) - ["[1]/[0]" local] - ["[1]/[0]" remote]] - ["[1][0]" artifact (.only Artifact) - ["[1]/[0]" extension]]]]]) + ["/[1]" // + ["[1][0]" install] + ["/[1]" // + ["[1]" profile] + ["[1][0]" action] + ["[1][0]" pom] + ["[1][0]" hash] + ["[1][0]" repository (.only Repository) + ["[1]/[0]" local] + ["[1]/[0]" remote]] + ["[1][0]" artifact (.only Artifact) + ["[1]/[0]" extension]]]]]]) + +(def (shell fs) + (-> (file.System Async) (Shell Async)) + (implementation + (def (execute [environment working_directory command arguments]) + (do [! ///action.monad] + [files (at fs directory_files working_directory) + _ (monad.each ! + (function (_ file) + (do ! + [_ (is (Async (Try Any)) + (file.copy async.monad fs + file + (format file ".asc")))] + (in []))) + files)] + (<| in + (is (Process Async)) + (implementation + (def (read _) + (async#in (exception.except shell.no_more_output []))) + (def (fail _) + (async#in (exception.except shell.no_more_output []))) + (def (write input) + (async#in {try.#Failure "write"})) + (def (destroy _) + (async#in {try.#Failure "destroy"})) + (def (await _) + (in shell.error)))))))) (def (execute! program local remote fs artifact profile) - (-> (Program Async) (Repository Async) (Repository Async) (file.System Async) + (-> (Environment Async) (Repository Async) (Repository Async) (file.System Async) Artifact ///.Profile - (Async (Try Text))) + (Async (Try [Text Text]))) (do ///action.monad - [.let [console ($version.echo "") - shell (shell.async ($build.bad_shell []))] + [.let [console ($version.echo "")] _ ($install.make_sources! fs (the ///.#sources profile)) - _ (/.do! program shell console local remote fs artifact profile)] - (at console read_line []))) + _ (/.do! program (..shell fs) console local remote fs artifact profile) + locally_installed! (at console read_line []) + deployed! (at console read_line [])] + (in [locally_installed! deployed!]))) (def .public test Test @@ -87,12 +119,12 @@ $repository.empty)]] (in (do [! async.monad] [verdict (do [! ///action.monad] - [logging (..execute! program local remote fs artifact profile) + [[locally_installed! deployed!] (..execute! program local remote fs artifact profile) expected_library (|> profile (the ///.#sources) set.list (export.library fs) - (at ! each (format.result tar.format))) + (at ! each (\\format.result tar.format))) actual_pom (at remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact ///artifact/extension.pom)) actual_library (at remote download (///repository/remote.uri (the ///artifact.#version artifact) artifact ///artifact/extension.lux_library)) @@ -108,7 +140,8 @@ (at ///hash.md5_codec decoded actual_md5))) .let [succeeded! - (text#= /.success logging) + (and (text#= //install.success locally_installed!) + (text#= /.success deployed!)) deployed_library! (binary#= expected_library diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 15d5e3986..64060127b 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -2,14 +2,13 @@ [library [lux (.except) [abstract - [monad (.only do)] - ["[0]" predicate]] + [monad (.only do)]] [control ["[0]" try] + [function + ["[0]" predicate]] [concurrency - ["[0]" async]] - [parser - ["[0]" environment]]] + ["[0]" async]]] [data ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] @@ -23,8 +22,10 @@ [math ["[0]" random (.only Random)]] [world - ["[0]" program] - ["[0]" file]] + ["[0]" file] + ["[0]" environment + ["program" /] + ["[1]" \\parser]]] [test ["[0]" unit] ["_" property (.only Test)]]]] diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index ff8bca5e9..d942a9d17 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -7,9 +7,7 @@ ["[0]" try (.only Try) (.use "[1]#[0]" functor)] ["[0]" exception] [concurrency - ["[0]" async (.only Async)]] - [parser - ["[0]" environment]]] + ["[0]" async (.only Async)]]] [data ["[0]" binary] ["[0]" text (.use "[1]#[0]" equivalence) @@ -20,7 +18,9 @@ ["[0]" random]] [world ["[0]" file] - ["[0]" program (.only Program)]] + ["[0]" environment + ["program" / (.only Environment)] + ["[1]" \\parser]]] [test ["[0]" unit] ["_" property (.only Test)]]]] @@ -31,7 +31,7 @@ ["$[0]" artifact]]] [\\program ["[0]" / (.only) - ["/[1]" /// + ["//[1]" /// ["[1]" profile] ["[1][0]" action (.only Action)] ["[1][0]" local] @@ -54,7 +54,7 @@ (file.make_file async.monad fs (binary.empty 0) (format head / head ".lux"))))))))) (def (execute! program fs sample) - (-> (Program Async) (file.System Async) ///.Profile (Async (Try Text))) + (-> (Environment Async) (file.System Async) ///.Profile (Async (Try Text))) (do ///action.monad [.let [console ($version.echo "")] _ (..make_sources! fs (the ///.#sources sample)) diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 1209b4020..31afea06b 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -7,9 +7,7 @@ ["[0]" try] ["[0]" exception] [concurrency - ["[0]" async]] - [parser - ["[0]" environment]]] + ["[0]" async]]] [data ["[0]" text (.use "[1]#[0]" equivalence)] [collection @@ -20,7 +18,9 @@ [world ["[0]" file] ["[0]" shell] - ["[0]" program]] + ["[0]" environment + ["program" /] + ["[1]" \\parser]]] [test ["[0]" unit] ["_" property (.only Test)]]]] @@ -45,7 +45,8 @@ Test (<| (_.covering /._) (do [! random.monad] - [test (random.alphabetic 5) + [test (random.and (random.alphabetic 5) + (random.alphabetic 5)) target (random.alphabetic 5) home (random.alphabetic 5) working_directory (random.alphabetic 5) diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 0f353d828..ad9d9033f 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -3,12 +3,13 @@ [lux (.except all) [abstract [monad (.only do)] - ["[0]" predicate] [\\specification ["$[0]" equivalence]]] [control ["[0]" try] ["[0]" exception] + [function + ["[0]" predicate]] [concurrency ["[0]" async]]] [data 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))))))) diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index f2d430fb2..27c194d84 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -8,8 +8,6 @@ [control ["[0]" maybe] ["[0]" try (.use "[1]#[0]" functor)] - [parser - ["[0]" environment]] [concurrency ["[0]" async]]] [data @@ -27,7 +25,9 @@ ["[0]" code]] [world ["[0]" file] - ["[0]" program] + ["[0]" environment + ["program" /] + ["[1]" \\parser]] ["[0]" time (.only) ["[0]" date] ["[0]" year] diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 34965c98a..fa26186ea 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -8,8 +8,6 @@ [control ["[0]" maybe] ["[0]" try (.use "[1]#[0]" functor)] - [parser - ["[0]" environment]] [concurrency ["[0]" async]]] [data @@ -27,7 +25,9 @@ ["[0]" code]] [world ["[0]" file] - ["[0]" program] + ["[0]" environment + ["program" /] + ["[1]" \\parser]] ["[0]" time (.only) ["[0]" date] ["[0]" year] @@ -38,7 +38,7 @@ ["[0]" unit] ["_" property (.only Test)]]]] ["$[0]" /// - ["[1][0]" artifact + ["[1][0]" artifact (.only) ["[1]/[0]" type] ["[1]/[0]" time] ["[1]/[0]" snapshot diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 54cdbc17a..cbc67dbab 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -6,7 +6,7 @@ [hash (.only Hash)]] [control ["[0]" pipe] - ["[0]" try]] + ["[0]" try (.use "[1]#[0]" functor)]] [data ["[0]" text] [collection @@ -40,7 +40,7 @@ (def (list_of random) (All (_ a) (-> (Random a) (Random (List a)))) (do [! random.monad] - [size (at ! each (n.% 5) random.nat)] + [size (at ! each (|>> (n.% 5) ++) random.nat)] (random.list size random))) (def (dictionary_of key_hash key_random value_random) @@ -72,6 +72,16 @@ (//project.project //.default (at //.monoid identity)) project)) +(def with_defaults + (-> Project Project) + (|>> ..with_empty_profile + dictionary.entries + (list#each (function (_ [name profile]) + [name (|> profile + ..with_default_sources + ..with_default_repository)])) + (dictionary.of_list text.hash))) + (def .public test Test (<| (_.covering /._) @@ -84,17 +94,6 @@ //format.project list (.result /.project) - (pipe.when - {try.#Success actual} - (|> expected - ..with_empty_profile - dictionary.entries - (list#each (function (_ [name profile]) - [name (|> profile - ..with_default_sources - ..with_default_repository)])) - (dictionary.of_list text.hash) - (at //project.equivalence = actual)) - - {try.#Failure error} - false)))))) + (try#each (at //project.equivalence = (..with_defaults expected))) + (try.else false) + ))))) diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 9a2c5ba3c..4d964ebdd 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except) + [lux (.except symbol) [abstract [monad (.only do)] [hash (.only Hash)] @@ -8,9 +8,7 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try] - [parser - ["[0]" cli]]] + ["[0]" try]] [data ["[0]" text (.use "[1]#[0]" equivalence)] [collection @@ -26,6 +24,8 @@ [cli ["[0]" compiler (.only) ["$[1]" \\test]]]]]] + [program + ["cli" \\parser]] [test ["_" property (.only Test)]]]] [// @@ -124,6 +124,11 @@ (Random /.Target) (random.alphabetic 1)) +(def (symbol module_size short_size) + (-> Nat Nat (Random Symbol)) + (random.and (random.alphabetic module_size) + (random.alphabetic short_size))) + (def .public random (Random /.Profile) (all random.and @@ -136,11 +141,11 @@ (..list_of $compiler.random) (..set_of text.hash ..source) ..target - (random.maybe (random.alphabetic 1)) - (random.maybe (random.alphabetic 2)) - (..dictionary_of text.hash (random.alphabetic 3) ..repository) - (..list_of (random.and (random.alphabetic 4) - (random.alphabetic 5))) + (random.maybe (symbol 1 2)) + (random.maybe (symbol 3 4)) + (..dictionary_of text.hash (random.alphabetic 5) ..repository) + (..list_of (random.and (random.alphabetic 6) + (random.alphabetic 7))) (random#in //runtime.default_java) (random#in //runtime.default_js) (random#in //runtime.default_python) diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index fd26f3898..f61f1ec50 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -8,7 +8,7 @@ [control ["[0]" io] ["[0]" try] - ["[0]" exception (.only exception)]] + ["[0]" exception (.only Exception)]] [data ["[0]" product] ["[0]" binary (.only Binary)] diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 96a07f678..874c773b3 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -5,8 +5,6 @@ [monad (.only do)]] [control ["[0]" try (.use "[1]#[0]" functor)] - [parser - ["[0]" environment]] [concurrency ["[0]" async]]] [data @@ -18,7 +16,9 @@ ["[0]" random]] [world ["[0]" file] - ["[0]" program]] + ["[0]" environment + ["program" /] + ["[1]" \\parser]]] [test ["[0]" unit] ["_" property (.only Test)]]]] diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index bd1e684d7..f32a5c3d5 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -230,7 +230,7 @@ (_.coverage [/.while /.until] (/#= sample (/#composite (/.while n.even? sample) - (/.until n.even? sample)))) + (/.until (|>> n.even? not) sample)))) (_.coverage [/.sub] (let [subs (/.sub sub_size sample)] (and (/.every? (|>> /.size (n.<= sub_size)) subs) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux index cf2d5edac..9aa2277d3 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/coverage.lux @@ -55,7 +55,7 @@ (random.set n.hash ..spread random.nat) (random.set i.hash ..spread random.int) (random.set r.hash ..spread random.rev) - (random.set f.hash ..spread random.frac) + (random.set f.hash ..spread random.safe_frac) (random.set text.hash ..spread (random.unicode 1)) (all random.and (random.maybe (random#in ..spread)) @@ -96,7 +96,7 @@ [random.nat n.hash /.#Nat //simple.#Nat] [random.int i.hash /.#Int //simple.#Int] [random.rev r.hash /.#Rev //simple.#Rev] - [random.frac f.hash /.#Frac //simple.#Frac] + [random.safe_frac f.hash /.#Frac //simple.#Frac] [(random.unicode 1) text.hash /.#Text //simple.#Text] )) @@ -115,22 +115,20 @@ (do [! random.monad] [arity (..ranged 2 (n.- 2 ..spread)) - it (random.list arity again) - .let [coverages (list#each product.left it) - patterns (list#each product.right it)]] - (in [(|> coverages - (list.only (|>> /.exhaustive? not)) - list.reversed - (pipe.when - {.#End} - {/.#Exhaustive} - - {.#Item last prevs} - (list#mix (function (_ left right) - {/.#Seq left right}) - last - prevs))) - {//pattern.#Complex {//complex.#Tuple patterns}}])) + it (random.list arity again)] + (in [(when (|> it + (list#each product.left) + list.reversed + (list.until (|>> /.exhaustive? not))) + {.#End} + {/.#Exhaustive} + + {.#Item last prevs} + (list#mix (function (_ left right) + {/.#Seq left right}) + last + prevs)) + {//pattern.#Complex {//complex.#Tuple (list#each product.right it)}}])) (do random.monad [register random.nat] -- cgit v1.2.3