diff options
| author | Eduardo Julian | 2022-06-16 02:16:07 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 02:16:07 -0400 |
| commit | e00e0b5f1e5fb509cf8f32424397110f524b8148 (patch) | |
| tree | ad15496975ea945d5f8fb2c795414d561561d2b6 /stdlib/source/test/aedifex/artifact | |
| parent | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (diff) | |
New "parser" hierarchy. [Part 3]
Diffstat (limited to 'stdlib/source/test/aedifex/artifact')
5 files changed, 25 insertions, 15 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 |