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/program/aedifex/artifact/snapshot/stamp.lux | 4 ++-- stdlib/source/program/aedifex/artifact/snapshot/time.lux | 4 ++-- stdlib/source/program/aedifex/artifact/snapshot/version.lux | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/program/aedifex/artifact/snapshot') diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 8e2a68db8..315aa037d 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -5,14 +5,14 @@ [equivalence (.only Equivalence)] [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] [format ["[0]" xml (.only XML)]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" time (.only Time)] ["[1][0]" build (.only Build)]]) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux index 3fd81d69d..9f306f1d7 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text] ["<[0]>" xml (.only Parser)]]] [data @@ -16,7 +16,7 @@ ["[0]" xml (.only XML)]]] [time ["[0]" instant (.only Instant)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" time ["[1]/[0]" date] ["[1]/[0]" time]]]) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index d027bf8e8..a1afbd888 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux @@ -5,7 +5,7 @@ [equivalence (.only Equivalence)] [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" xml (.only Parser)] ["<[0]>" text]]] [data @@ -13,7 +13,7 @@ ["[0]" text] [format ["[0]" xml (.only XML)]]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" type (.only Type)] ["[1][0]" time (.only Time)]]) -- cgit v1.2.3