From 56d2835d35093e2d92c5e8a4371aa322b55e037b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 4 Jun 2022 02:28:47 -0400 Subject: Extensible import syntax [Part 6] --- stdlib/source/test/aedifex/artifact/extension.lux | 2 +- stdlib/source/test/aedifex/artifact/snapshot.lux | 4 ++-- stdlib/source/test/aedifex/artifact/snapshot/build.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 | 2 +- stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 6 +++--- stdlib/source/test/aedifex/artifact/time.lux | 4 ++-- stdlib/source/test/aedifex/artifact/time/date.lux | 4 ++-- stdlib/source/test/aedifex/artifact/time/time.lux | 2 +- stdlib/source/test/aedifex/artifact/type.lux | 2 +- stdlib/source/test/aedifex/artifact/versioning.lux | 2 +- 12 files changed, 17 insertions(+), 17 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 130065193..d8bfd8267 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" set] ["[0]" list]]] diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index e0c7ffc4b..5379dd8af 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -7,11 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] ["$[0]" / ["[1][0]" build] ["[1][0]" stamp] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 96c41ce36..2775467c9 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index fc9488004..e097f5420 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index 65f17c8a4..28dd249cc 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" text]]] [math diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 39883cb64..7ba555256 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 9441be139..27ef6062c 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -7,14 +7,14 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" text]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat] ["i" int]]] diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 81b04c07d..366ec1955 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -7,11 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" text]]] [time - ["[0]" instant ("[1]#[0]" equivalence)]] + ["[0]" instant (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 4f997fef1..12c4a0da1 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" text]]] @@ -17,7 +17,7 @@ ["n" nat] ["i" int]]] [time - ["[0]" date ("[1]#[0]" equivalence)] + ["[0]" date (.open: "[1]#[0]" equivalence)] ["[0]" year]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 60dda35c0..c3b866451 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -6,7 +6,7 @@ [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" text]]] [math diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index de596592b..a2b5926e5 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -10,7 +10,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 6a8e29a08..006ec6566 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math -- cgit v1.2.3