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/artifact/time | |
| parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
| parent | 8252bdb938a0284dd12e7365b4eb84b5357bacac (diff) | |
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time.lux | 29 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/date.lux | 33 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/time/time.lux | 29 |
3 files changed, 47 insertions, 44 deletions
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index c2ab6a354..f4fc185be 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try ("#\." functor)] - [parser - ["<.>" text]]] - [math - ["." random (#+ Random)] - [number - ["i" int]]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try ("#\." functor)] + [parser + ["<.>" text]]] + [math + ["." random (#+ Random)] + [number + ["i" int]]]]] [\\program ["." /]] ["." / #_ diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 494aa5e07..e68645b8a 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try ("#\." functor)] - [parser - ["<.>" text]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]] - [time - ["." date] - ["." year]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try ("#\." functor)] + [parser + ["<.>" text]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]] + [time + ["." date] + ["." year]]]] [\\program ["." /]]) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index a17f9c40c..dd4b63904 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." time] - [abstract - [monad (#+ do)]] - [control - ["." try ("#\." functor)] - [parser - ["<.>" text]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] + [library + [lux #* + ["_" test (#+ Test)] + ["." time] + [abstract + [monad (#+ do)]] + [control + ["." try ("#\." functor)] + [parser + ["<.>" text]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] [\\program ["." /]]) |