diff options
| author | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
| commit | 56d2835d35093e2d92c5e8a4371aa322b55e037b (patch) | |
| tree | 1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/test/aedifex/artifact/snapshot | |
| parent | f2172051a91bbb2578918dc784a053a321849b63 (diff) | |
Extensible import syntax [Part 6]
Diffstat (limited to '')
6 files changed, 9 insertions, 9 deletions
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]]] |