aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/artifact
diff options
context:
space:
mode:
authorEduardo Julian2022-06-04 02:28:47 -0400
committerEduardo Julian2022-06-04 02:28:47 -0400
commit56d2835d35093e2d92c5e8a4371aa322b55e037b (patch)
tree1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/test/aedifex/artifact
parentf2172051a91bbb2578918dc784a053a321849b63 (diff)
Extensible import syntax [Part 6]
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/artifact.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/extension.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/build.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/stamp.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/time.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/snapshot/version/value.lux6
-rw-r--r--stdlib/source/test/aedifex/artifact/time.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/date.lux4
-rw-r--r--stdlib/source/test/aedifex/artifact/time/time.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/type.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact/versioning.lux2
13 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index e16c5f534..aefe175f4 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -10,7 +10,7 @@
["$[0]" order]
["$[0]" hash]]]
[data
- ["[0]" text ("[1]#[0]" equivalence)]]
+ ["[0]" text (.open: "[1]#[0]" equivalence)]]
[math
["[0]" random (.only Random)]]
[world
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