diff options
| author | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
| commit | 5d44577c3849a045052dc1c9f0dd7deddd032120 (patch) | |
| tree | b0e00801734720e9f985c7dfa239aaa0bdea7bcd /stdlib/source/test/aedifex/metadata/snapshot.lux | |
| parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) | |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/test/aedifex/metadata/snapshot.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/metadata/snapshot.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 27cffb1f0..3c4bb2395 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -21,14 +21,14 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] ["[0]" time ["[0]" date] ["[0]" year] ["[0]" month] - ["[0]" instant {"+" Instant}] + ["[0]" instant (.only Instant)] ["[0]" duration]] [world ["[0]" file] @@ -44,7 +44,7 @@ ["/[1]" // ["/[1]" // "_" [artifact - [versioning {"+" Versioning}] + [versioning (.only Versioning)] ["[1][0]" snapshot]] ["[1][0]" repository "_" ["[1]/[0]" local]]]]]]) |