From 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 3 Jun 2022 20:02:46 -0400 Subject: Extensible import syntax [Part 4] --- stdlib/source/test/aedifex/metadata/snapshot.lux | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'stdlib/source/test/aedifex/metadata/snapshot.lux') 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 -- cgit v1.2.3