diff options
| author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
| commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
| tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/test/aedifex/metadata | |
| parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) | |
Extensible import syntax [Part 4]
Diffstat (limited to 'stdlib/source/test/aedifex/metadata')
| -rw-r--r-- | stdlib/source/test/aedifex/metadata/artifact.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/metadata/snapshot.lux | 14 |
2 files changed, 12 insertions, 12 deletions
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 |