diff options
Diffstat (limited to '')
13 files changed, 17 insertions, 17 deletions
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux index 3799bfb74..3b57b0734 100644 --- a/stdlib/source/program/aedifex/artifact.lux +++ b/stdlib/source/program/aedifex/artifact.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except local) [abstract @@ -7,10 +7,10 @@ [hash (.only Hash)]] [data ["[0]" product] - ["[0]" text (.open: "[1]#[0]" order) + ["[0]" text (.use "[1]#[0]" order) ["%" \\format (.only Format)]] [collection - ["[0]" list (.open: "[1]#[0]" monoid)]]] + ["[0]" list (.use "[1]#[0]" monoid)]]] [world ["[0]" file (.only Path)] [net diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux index f78a4b963..e4e8e8a71 100644 --- a/stdlib/source/program/aedifex/artifact/extension.lux +++ b/stdlib/source/program/aedifex/artifact/extension.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except type) [data diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index 45b54e2cd..23eb701e8 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Type) [abstract diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux index 05570de3e..0ff1d45d9 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 1886b5b3e..7ebb79ac6 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux index 87203845f..87d9c89c7 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index 48af92b72..fdd97a517 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Type) [abstract diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux index c0b528186..0dd217a27 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index 9e52e52ca..b4cf0dc02 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["[0]" time] diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index ba908f0af..f6ffea4d6 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -17,7 +17,7 @@ ["n" nat] ["i" int]]] [time - ["[0]" date (.open: "[1]#[0]" equivalence)] + ["[0]" date (.use "[1]#[0]" equivalence)] ["[0]" year] ["[0]" month]] [type diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index d02667bbc..5349a295f 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["[0]" time] diff --git a/stdlib/source/program/aedifex/artifact/type.lux b/stdlib/source/program/aedifex/artifact/type.lux index 971b8757a..cba533fdd 100644 --- a/stdlib/source/program/aedifex/artifact/type.lux +++ b/stdlib/source/program/aedifex/artifact/type.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except Type)]]) diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index 62a6e8fd2..e85833e70 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) [abstract @@ -16,7 +16,7 @@ ["[0]" xml (.only XML) ["<[1]>" \\parser (.only Parser)]]] [collection - ["[0]" list (.open: "[1]#[0]" functor)]]] + ["[0]" list (.use "[1]#[0]" functor)]]] [math [number ["n" nat]]] |