diff options
Diffstat (limited to 'stdlib/source/test/aedifex')
8 files changed, 36 insertions, 22 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index 8888dc848..a318672eb 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -7,9 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" xml]]] + ["[0]" try (.open: "[1]#[0]" functor)]] + [data + [format + ["[0]" xml + ["<[1]>" \\parser]]]] [math ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] ["$[0]" / diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index f6224dd0b..259698287 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -7,9 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" xml]]] + ["[0]" try (.open: "[1]#[0]" functor)]] + [data + [format + ["[0]" xml + ["<[1]>" \\parser]]]] [math ["[0]" random (.only Random)]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index c24a06f5a..36b72daa8 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -7,9 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" xml]]] + ["[0]" try (.open: "[1]#[0]" functor)]] + [data + [format + ["[0]" xml + ["<[1]>" \\parser]]]] [math ["[0]" random (.only Random)]] [time diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index d2a3e01e4..97b51465d 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -7,9 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" xml]]] + ["[0]" try (.open: "[1]#[0]" functor)]] + [data + [format + ["[0]" xml + ["<[1]>" \\parser]]]] [math ["[0]" random (.only Random)]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 451d0b824..ecd2ed616 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -7,9 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try (.open: "[1]#[0]" functor)] - [parser - ["<[0]>" xml]]] + ["[0]" try (.open: "[1]#[0]" functor)]] + [data + [format + ["[0]" xml + ["<[1]>" \\parser]]]] [math ["[0]" random (.only Random)]]]] [\\program diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index a43777707..8dd0ef2b1 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -10,12 +10,14 @@ ["[0]" maybe] ["[0]" try (.open: "[1]#[0]" functor)] [parser - ["[0]" environment] - ["<[0]>" xml]] + ["[0]" environment]] [concurrency ["[0]" async]]] [data ["[0]" text (.open: "[1]#[0]" equivalence)] + [format + ["[0]" xml + ["<[1]>" \\parser]]] [collection ["[0]" list]]] [macro diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index a40ed0553..77975ddad 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -10,12 +10,14 @@ ["[0]" maybe] ["[0]" try (.open: "[1]#[0]" functor)] [parser - ["[0]" environment] - ["<[0]>" xml]] + ["[0]" environment]] [concurrency ["[0]" async]]] [data ["[0]" text (.open: "[1]#[0]" equivalence)] + [format + ["[0]" xml + ["<[1]>" \\parser]]] [collection ["[0]" list]]] [macro diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index e72eef0ef..a4956b3a4 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -7,12 +7,12 @@ [control ["[0]" try] ["[0]" exception] - ["<>" parser (.only) - ["<[0]>" xml]]] + ["<>" parser]] [data ["[0]" text (.open: "[1]#[0]" equivalence)] [format - ["[0]" xml]]] + ["[0]" xml (.only) + ["<[1]>" \\parser]]]] [math ["[0]" random]]]] [// |