diff options
Diffstat (limited to 'stdlib/source/test/aedifex/metadata')
-rw-r--r-- | stdlib/source/test/aedifex/metadata/artifact.lux | 47 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/metadata/snapshot.lux | 47 |
2 files changed, 48 insertions, 46 deletions
diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 56e856b88..b84eca173 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try ("#\." functor)] - [parser - ["<.>" xml]]] - [math - [number - ["n" nat]]] - ["." time - ["." date] - ["." year] - ["." month] - ["." instant] - ["." duration]] - [math - ["." random (#+ Random)]] - [macro - ["." code]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try ("#\." functor)] + [parser + ["<.>" xml]]] + [math + [number + ["n" nat]]] + ["." time + ["." date] + ["." year] + ["." month] + ["." instant] + ["." duration]] + [math + ["." random (#+ Random)]] + [macro + ["." code]]]] [\\program ["." /]]) diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index d94c66761..d34eb60a9 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try ("#\." functor)] - [parser - ["<.>" xml]]] - [math - [number - ["n" nat]]] - ["." time - ["." date] - ["." year] - ["." month] - ["." instant (#+ Instant)] - ["." duration]] - [math - ["." random (#+ Random) ("#\." monad)]] - [macro - ["." code]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try ("#\." functor)] + [parser + ["<.>" xml]]] + [math + [number + ["n" nat]]] + ["." time + ["." date] + ["." year] + ["." month] + ["." instant (#+ Instant)] + ["." duration]] + [math + ["." random (#+ Random) ("#\." monad)]] + [macro + ["." code]]]] ["$." /// #_ ["#." artifact ["#/." type] |