From f2172051a91bbb2578918dc784a053a321849b63 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 3 Jun 2022 22:08:18 -0400 Subject: Extensible import syntax [Part 5] --- stdlib/source/program/aedifex/action.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/build.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/stamp.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/time.lux | 2 +- stdlib/source/program/aedifex/artifact/snapshot/version/value.lux | 2 +- stdlib/source/program/aedifex/artifact/time.lux | 2 +- stdlib/source/program/aedifex/artifact/time/date.lux | 4 ++-- stdlib/source/program/aedifex/artifact/time/time.lux | 2 +- stdlib/source/program/aedifex/artifact/versioning.lux | 2 +- stdlib/source/program/aedifex/cli.lux | 2 +- stdlib/source/program/aedifex/command.lux | 2 +- stdlib/source/program/aedifex/command/auto.lux | 2 +- stdlib/source/program/aedifex/command/clean.lux | 2 +- stdlib/source/program/aedifex/command/deploy.lux | 2 +- stdlib/source/program/aedifex/command/deploy/release.lux | 2 +- stdlib/source/program/aedifex/command/deploy/snapshot.lux | 2 +- stdlib/source/program/aedifex/command/deps.lux | 2 +- stdlib/source/program/aedifex/command/install.lux | 2 +- stdlib/source/program/aedifex/command/pom.lux | 2 +- stdlib/source/program/aedifex/command/test.lux | 2 +- stdlib/source/program/aedifex/command/version.lux | 2 +- stdlib/source/program/aedifex/dependency/status.lux | 2 +- stdlib/source/program/aedifex/format.lux | 2 +- stdlib/source/program/aedifex/hash.lux | 4 ++-- stdlib/source/program/aedifex/input.lux | 2 +- stdlib/source/program/aedifex/local.lux | 2 +- stdlib/source/program/aedifex/metadata.lux | 2 +- stdlib/source/program/aedifex/metadata/artifact.lux | 2 +- stdlib/source/program/aedifex/pom.lux | 2 +- stdlib/source/program/aedifex/project.lux | 2 +- stdlib/source/program/aedifex/repository.lux | 2 +- stdlib/source/program/aedifex/repository/identity.lux | 2 +- stdlib/source/program/aedifex/repository/local.lux | 2 +- stdlib/source/program/aedifex/repository/origin.lux | 2 +- stdlib/source/program/aedifex/repository/remote.lux | 2 +- 35 files changed, 37 insertions(+), 37 deletions(-) (limited to 'stdlib/source/program') diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux index fcb096034..fac52a5e7 100644 --- a/stdlib/source/program/aedifex/action.lux +++ b/stdlib/source/program/aedifex/action.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only Monad)]] [control diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux index 1ccaeceda..79c7ba794 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)] [monad (.only do)]] diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 315aa037d..0831be2b6 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)] [monad (.only do)]] diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux index 9f306f1d7..732423ad2 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)] [monad (.only do)]] diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux index aa5e59fe8..26bb272e3 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)]] [data diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index a35084d6e..c702b10b4 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["[0]" time] [abstract [equivalence (.only Equivalence)] diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index 4b5f41a0d..4f364d651 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)] [equivalence (.only Equivalence)]] @@ -21,7 +21,7 @@ ["[0]" year] ["[0]" month]] [type - [primitive (.full)]]]]) + [primitive (.except)]]]]) (def: .public (pad value) (-> Nat Text) diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index a957c6a15..e890d0231 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["[0]" time] [abstract [monad (.only do)]] diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index fd4563b10..b9c158c6b 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)] [monad (.only do)]] diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux index 6b6bf6637..0eabd6b7e 100644 --- a/stdlib/source/program/aedifex/cli.lux +++ b/stdlib/source/program/aedifex/cli.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)] [monad (.only do)]] diff --git a/stdlib/source/program/aedifex/command.lux b/stdlib/source/program/aedifex/command.lux index c7fe7d1dd..1dae4cffc 100644 --- a/stdlib/source/program/aedifex/command.lux +++ b/stdlib/source/program/aedifex/command.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full)]] + [lux (.except)]] ["[0]" // ["[1]" profile] ["[1][0]" action (.only Action)]]) diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index d9b565a08..dc922b4c1 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract ["[0]" monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/command/clean.lux b/stdlib/source/program/aedifex/command/clean.lux index 6b03b8cea..3187376e8 100644 --- a/stdlib/source/program/aedifex/command/clean.lux +++ b/stdlib/source/program/aedifex/command/clean.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract ["[0]" monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux index 572672110..0f34ba9a3 100644 --- a/stdlib/source/program/aedifex/command/deploy.lux +++ b/stdlib/source/program/aedifex/command/deploy.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/command/deploy/release.lux b/stdlib/source/program/aedifex/command/deploy/release.lux index 04c699286..2f7d1e4d7 100644 --- a/stdlib/source/program/aedifex/command/deploy/release.lux +++ b/stdlib/source/program/aedifex/command/deploy/release.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["[0]" ffi (.only import:)] [abstract [predicate (.only Predicate)] diff --git a/stdlib/source/program/aedifex/command/deploy/snapshot.lux b/stdlib/source/program/aedifex/command/deploy/snapshot.lux index f1c779517..90251c3bd 100644 --- a/stdlib/source/program/aedifex/command/deploy/snapshot.lux +++ b/stdlib/source/program/aedifex/command/deploy/snapshot.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)] [predicate (.only Predicate)]] diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux index f3cfc3d20..379217a18 100644 --- a/stdlib/source/program/aedifex/command/deps.lux +++ b/stdlib/source/program/aedifex/command/deps.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux index 803bda26f..90ace7b46 100644 --- a/stdlib/source/program/aedifex/command/install.lux +++ b/stdlib/source/program/aedifex/command/install.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux index 865e650a1..478f77946 100644 --- a/stdlib/source/program/aedifex/command/pom.lux +++ b/stdlib/source/program/aedifex/command/pom.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux index 921a74148..994bf7967 100644 --- a/stdlib/source/program/aedifex/command/test.lux +++ b/stdlib/source/program/aedifex/command/test.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/command/version.lux b/stdlib/source/program/aedifex/command/version.lux index 488b7660a..506c1d93f 100644 --- a/stdlib/source/program/aedifex/command/version.lux +++ b/stdlib/source/program/aedifex/command/version.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [control [try (.only Try)] [concurrency diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux index 1ed4b187a..1a76605d0 100644 --- a/stdlib/source/program/aedifex/dependency/status.lux +++ b/stdlib/source/program/aedifex/dependency/status.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)]] [data diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux index 17faaa55c..af0521b85 100644 --- a/stdlib/source/program/aedifex/format.lux +++ b/stdlib/source/program/aedifex/format.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [data ["[0]" text ("[1]#[0]" equivalence)] [collection diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index 42113d5e8..c38f993c4 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["[0]" ffi (.only import:)] [abstract [codec (.only Codec)] @@ -21,7 +21,7 @@ ["n" nat] ["[0]" i64]]] [type - [primitive (.full)]]]]) + [primitive (.except)]]]]) ... TODO: Replace with pure-Lux implementations of these algorithms ... https://en.wikipedia.org/wiki/SHA-1#SHA-1_pseudocode diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index c9cea74cc..5733fa97a 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract ["[0]" monad (.only Monad do)] ["[0]" mix]] diff --git a/stdlib/source/program/aedifex/local.lux b/stdlib/source/program/aedifex/local.lux index 7de56dfaa..a1b69e311 100644 --- a/stdlib/source/program/aedifex/local.lux +++ b/stdlib/source/program/aedifex/local.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [data [text ["%" format (.only format)]]] diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux index e85c4dd5b..107fd1b3d 100644 --- a/stdlib/source/program/aedifex/metadata.lux +++ b/stdlib/source/program/aedifex/metadata.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [data ["[0]" text (.only) ["%" format (.only format)]]] diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux index 6391eb70a..113db629d 100644 --- a/stdlib/source/program/aedifex/metadata/artifact.lux +++ b/stdlib/source/program/aedifex/metadata/artifact.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)] [equivalence (.only Equivalence)]] diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux index 4bf36f52a..76be72b40 100644 --- a/stdlib/source/program/aedifex/pom.lux +++ b/stdlib/source/program/aedifex/pom.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 80c8292ba..811e89d0c 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)] [monoid (.only Monoid)] diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index da102b99d..65c13db0f 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index 6dbc2afd7..f3111fed3 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["[0]" ffi (.only import:)] [abstract [equivalence (.only Equivalence)]] diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux index 89faa2788..e712e1db1 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux index 04ffb2c70..c69337877 100644 --- a/stdlib/source/program/aedifex/repository/origin.lux +++ b/stdlib/source/program/aedifex/repository/origin.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [equivalence (.only Equivalence)]] [data diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 7f5d84775..c6aafb221 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) [abstract [monad (.only do)]] [control -- cgit v1.2.3