From 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 15 Jul 2021 00:45:15 -0400 Subject: Re-named "spec" hierarchy to "specification". --- stdlib/source/test/aedifex/artifact.lux | 2 +- stdlib/source/test/aedifex/artifact/snapshot.lux | 2 +- 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 | 2 +- stdlib/source/test/aedifex/artifact/time.lux | 2 +- stdlib/source/test/aedifex/artifact/versioning.lux | 2 +- stdlib/source/test/aedifex/cli.lux | 2 +- stdlib/source/test/aedifex/dependency.lux | 2 +- stdlib/source/test/aedifex/dependency/resolution.lux | 2 +- stdlib/source/test/aedifex/dependency/status.lux | 2 +- stdlib/source/test/aedifex/hash.lux | 2 +- stdlib/source/test/aedifex/metadata/artifact.lux | 2 +- stdlib/source/test/aedifex/metadata/snapshot.lux | 2 +- stdlib/source/test/aedifex/package.lux | 2 +- stdlib/source/test/aedifex/profile.lux | 2 +- stdlib/source/test/aedifex/project.lux | 2 +- stdlib/source/test/aedifex/repository.lux | 2 +- stdlib/source/test/aedifex/repository/identity.lux | 2 +- stdlib/source/test/aedifex/repository/origin.lux | 2 +- 22 files changed, 22 insertions(+), 22 deletions(-) (limited to 'stdlib/source/test/aedifex') diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 6a1021b4c..6afbbf27c 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -5,7 +5,7 @@ [abstract [monad (#+ do)] [hash (#+ Hash)] - [\\spec + [\\specification ["$." equivalence]]] [control [concurrency diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index 94d98cf22..5f29620c9 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 731219b91..8b0be9f1d 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index ba0c9f368..00be1c227 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index 9cfe28fb0..820214cba 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index f0fc26321..a4a090246 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index dcb23646d..c55b71cd1 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index f4fc185be..f69566096 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 9efdca98a..a16794e98 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index d2eed16d7..71ea72b8c 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control [pipe (#+ case>)] diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index d12434d1f..7ce95f716 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [math ["." random (#+ Random)]]]] diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 638199af3..deb74abcd 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -5,7 +5,7 @@ [abstract [monad (#+ do)] ["." predicate] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try] diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index a3ac5df4e..f886c031f 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -3,7 +3,7 @@ [lux #* ["_" test (#+ Test)] [abstract - [\\spec + [\\specification ["$." equivalence]]] [math ["." random (#+ Random) ("#\." monad)]]]] diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 9064dac8b..524110c35 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence] ["$." codec]]] [control diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index b84eca173..5e5f67bec 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index d34eb60a9..5a821c452 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try ("#\." functor)] diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index ef23f35ce..55bca8ce3 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence]]] [control ["." try] diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 418756ffd..c593f1706 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -5,7 +5,7 @@ [abstract [monad (#+ do)] [hash (#+ Hash)] - [\\spec + [\\specification ["$." equivalence] ["$." monoid]]] [control diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index e1b4b051a..bdeee7993 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -4,7 +4,7 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - [\\spec + [\\specification ["$." equivalence] ["$." monoid]]] [control diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index c86f3d52d..67cc4c10f 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -29,7 +29,7 @@ ["#." remote] [// ["@." artifact]]] - [\\spec + [\\specification ["$." /]] [\\program ["." / diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 061bd9de0..74daecb4d 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -3,7 +3,7 @@ [lux #* ["_" test (#+ Test)] [abstract - [\\spec + [\\specification ["$." equivalence]]] [math ["." random (#+ Random)]]]] diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 6531726fe..daf8e8667 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -3,7 +3,7 @@ [lux #* ["_" test (#+ Test)] [abstract - [\\spec + [\\specification ["$." equivalence]]] [math ["." random (#+ Random)]]]] -- cgit v1.2.3