diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/metadata.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/metadata/artifact.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/metadata/snapshot.lux | 14 | 
3 files changed, 13 insertions, 13 deletions
| diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index bcdfee998..7bdf5b983 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -8,7 +8,7 @@      ["[0]" text ("[1]#[0]" equivalence)]]     [math      ["[0]" random]]]] - ["[0]" / "_" + ["[0]" /    ["[1][0]" artifact]    ["[1][0]" snapshot]    [// diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index e78d7b977..dc1189ffd 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -24,7 +24,7 @@      ["[0]" random (.only Random)]      [number       ["n" nat]]] -   ["[0]" time +   ["[0]" time (.only)      ["[0]" date]      ["[0]" year]      ["[0]" month] @@ -34,11 +34,11 @@      ["[0]" file]      ["[0]" program]]]]   [\\program -  ["[0]" / -   ["/[1]" // -    ["/[1]" // "_" +  ["[0]" / (.only) +   ["/[1]" // (.only) +    ["/[1]" //       ["[1][0]" artifact] -     ["[1][0]" repository "_" +     ["[1][0]" repository        ["[1]/[0]" local]]]]]])  (def: .public random diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 34afe63bd..35ebfe382 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -24,7 +24,7 @@      ["[0]" random (.only Random) ("[1]#[0]" monad)]      [number       ["n" nat]]] -   ["[0]" time +   ["[0]" time (.only)      ["[0]" date]      ["[0]" year]      ["[0]" month] @@ -33,20 +33,20 @@     [world      ["[0]" file]      ["[0]" program]]]] - ["$[0]" /// "_" + ["$[0]" ///    ["[1][0]" artifact     ["[1]/[0]" type]     ["[1]/[0]" time] -   ["[1]/[0]" snapshot "_" +   ["[1]/[0]" snapshot      ["[1]/[0]" version]]]]   [\\program -  ["[0]" / -   ["/[1]" // -    ["/[1]" // "_" +  ["[0]" / (.only) +   ["/[1]" // (.only) +    ["/[1]" //       [artifact        [versioning (.only Versioning)]        ["[1][0]" snapshot]] -     ["[1][0]" repository "_" +     ["[1][0]" repository        ["[1]/[0]" local]]]]]])  (def: random_instant | 
