diff options
author | Eduardo Julián | 2021-07-14 14:44:53 -0400 |
---|---|---|
committer | GitHub | 2021-07-14 14:44:53 -0400 |
commit | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (patch) | |
tree | f05fd1677a70988c6b39c07e52d031d86eff28f1 /stdlib/source/test/aedifex/repository | |
parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
parent | 8252bdb938a0284dd12e7365b4eb84b5357bacac (diff) |
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
-rw-r--r-- | stdlib/source/test/aedifex/repository/identity.lux | 15 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/repository/local.lux | 41 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/repository/origin.lux | 15 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/repository/remote.lux | 53 |
4 files changed, 64 insertions, 60 deletions
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index df454b436..061bd9de0 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -1,11 +1,12 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [\spec - ["$." equivalence]]] - [math - ["." random (#+ Random)]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [\\spec + ["$." equivalence]]] + [math + ["." random (#+ Random)]]]] [\\program ["." /]]) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 5bf4c5113..1bbf2f7bb 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try ("#\." functor)] - [parser - ["." environment]] - [concurrency - ["." promise]]] - [data - ["." binary ("#\." equivalence)] - [text - [encoding - ["." utf8]]]] - [math - ["." random]] - [world - ["." file] - ["." program]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try ("#\." functor)] + [parser + ["." environment]] + [concurrency + ["." promise]]] + [data + ["." binary ("#\." equivalence)] + [text + [encoding + ["." utf8]]]] + [math + ["." random]] + [world + ["." file] + ["." program]]]] [\\program ["." /]]) diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 7b3675f40..6531726fe 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -1,11 +1,12 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [\spec - ["$." equivalence]]] - [math - ["." random (#+ Random)]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [\\spec + ["$." equivalence]]] + [math + ["." random (#+ Random)]]]] [\\program ["." /]]) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 0fa784a77..5f74cab9d 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -1,30 +1,31 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io (#+ IO)] - ["." try ("#\." monad)] - ["." exception] - ["." function]] - [data - ["." binary ("#\." equivalence)] - ["." maybe ("#\." functor)] - ["." text ("#\." equivalence) - ["%" format (#+ format)] - [encoding - ["." utf8]]] - [collection - ["." dictionary]]] - [math - ["." random (#+ Random)]] - [world - [net (#+ URL) - ["." http #_ - ["#" client] - ["#/." status] - ["@#" /]]]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." io (#+ IO)] + ["." try ("#\." monad)] + ["." exception] + ["." function]] + [data + ["." binary ("#\." equivalence)] + ["." maybe ("#\." functor)] + ["." text ("#\." equivalence) + ["%" format (#+ format)] + [encoding + ["." utf8]]] + [collection + ["." dictionary]]] + [math + ["." random (#+ Random)]] + [world + [net (#+ URL) + ["." http #_ + ["#" client] + ["#/." status] + ["@#" /]]]]]] [\\program ["." / ["/#" // #_ |