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/artifact/extension.lux | 4 ++-- stdlib/source/test/aedifex/artifact/snapshot.lux | 2 +- stdlib/source/test/aedifex/artifact/snapshot/stamp.lux | 2 +- stdlib/source/test/aedifex/artifact/snapshot/time.lux | 2 +- stdlib/source/test/aedifex/artifact/snapshot/version.lux | 4 ++-- stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 6 +++--- stdlib/source/test/aedifex/artifact/time.lux | 2 +- stdlib/source/test/aedifex/artifact/versioning.lux | 4 ++-- 8 files changed, 13 insertions(+), 13 deletions(-) (limited to 'stdlib/source/test/aedifex/artifact') diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 5ec2f0939..4314050e8 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -14,8 +14,8 @@ [number ["n" nat]]]]] [\\program - ["[0]" / - ["/[1]" // "_" + ["[0]" / (.only) + ["/[1]" // ["[1]" type]]]]) (def: .public test diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index adfb1efc8..592b731ce 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -12,7 +12,7 @@ ["<[0]>" xml]]] [math ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] - ["$[0]" / "_" + ["$[0]" / ["[1][0]" build] ["[1][0]" stamp] ["[1][0]" time] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index 92034c73f..eb9b88684 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -16,7 +16,7 @@ ["[0]" instant]]]] [\\program ["[0]" /]] - ["$[0]" // "_" + ["$[0]" // ["[1][0]" time] ["[1][0]" build]]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index e56495624..7b078ff05 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -14,7 +14,7 @@ ["[0]" random (.only Random)]]]] [\\program ["[0]" /]] - ["$[0]" /// "_" + ["$[0]" /// ["[1][0]" time]]) (def: .public random diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 59860fec4..e35b1e58c 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -14,9 +14,9 @@ ["[0]" random (.only Random)]]]] [\\program ["[0]" /]] - ["[0]" / "_" + ["[0]" / ["[1][0]" value]] - ["$[0]" /// "_" + ["$[0]" /// ["[1][0]" type] ["[1][0]" time]]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index e157ff361..9a68089bb 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -20,11 +20,11 @@ ["i" int]]] [time ["[0]" instant]]]] - ["$[0]" /// "_" + ["$[0]" /// ["[1][0]" stamp]] [\\program - ["[0]" / - ["//[1]" /// + ["[0]" / (.only) + ["//[1]" /// (.only) ["[1][0]" stamp] ["[1][0]" time]]]]) diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index a74865f0c..0eec2b191 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -18,7 +18,7 @@ ["i" int]]]]] [\\program ["[0]" /]] - ["[0]" / "_" + ["[0]" / ["[1][0]" date] ["[1][0]" time]]) diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 2f345da94..1c3d4ca55 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -14,9 +14,9 @@ ["[0]" random (.only Random)]]]] [\\program ["[0]" /]] - ["$[0]" // "_" + ["$[0]" // ["[1][0]" time] - ["[1][0]" snapshot + ["[1][0]" snapshot (.only) ["[1]/[0]" version]]]) (def: .public random -- cgit v1.2.3