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/lux | |
parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
parent | 8252bdb938a0284dd12e7365b4eb84b5357bacac (diff) |
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to 'stdlib/source/test/lux')
179 files changed, 3521 insertions, 3212 deletions
diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux index b31c10617..e8368434b 100644 --- a/stdlib/source/test/lux/abstract.lux +++ b/stdlib/source/test/lux/abstract.lux @@ -1,6 +1,7 @@ (.module: - [lux #* - ["_" test (#+ Test)]] + [library + [lux #* + ["_" test (#+ Test)]]] ["." / #_ ["#." apply] ["#." codec] diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index 97bef5b24..01fe8375f 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - [abstract - [monad (#+ do)]] - [data - ["." maybe] - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat]]] - ["_" test (#+ Test)]] - [\\ + [library + [lux #* + [abstract + [monad (#+ do)]] + [data + ["." maybe] + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat]]] + ["_" test (#+ Test)]]] + [\\library ["." / (#+ Apply)]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux index 3365c1d66..00452c205 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try]] - [data - ["." bit ("#\." equivalence)] - [format - ["." json (#+ JSON)]]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [data + ["." bit ("#\." equivalence)] + [format + ["." json (#+ JSON)]]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / (#+ Codec) [// [equivalence (#+ Equivalence)]]]]) diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux index 088b4fe55..9b4d935d8 100644 --- a/stdlib/source/test/lux/abstract/comonad.lux +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - [abstract - [monad (#+ do)]] - [data - ["." identity (#+ Identity)]] - [math - ["." random] - [number - ["n" nat]]] - ["_" test (#+ Test)]] - [\\ + [library + [lux #* + [abstract + [monad (#+ do)]] + [data + ["." identity (#+ Identity)]] + [math + ["." random] + [number + ["n" nat]]] + ["_" test (#+ Test)]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index 9e6c8a1b1..82647f79d 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [functor (#+ Functor)] - [comonad (#+ CoMonad)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." comonad]]] - [control - ["//" continuation]] - [data - [collection - ["." list] - ["." sequence (#+ Sequence) ("#\." comonad)]]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [functor (#+ Functor)] + [comonad (#+ CoMonad)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." comonad]]] + [control + ["//" continuation]] + [data + [collection + ["." list] + ["." sequence (#+ Sequence) ("#\." comonad)]]] + [math + ["." random]]]] + [\\library ["." /]]) (def: (injection value) diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index 5a923019c..09ef32175 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." product] - ["." maybe ("#\." functor)] - [collection - ["." list ("#\." fold)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." product] + ["." maybe ("#\." functor)] + [collection + ["." list ("#\." fold)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 520fa141c..5b0bfced8 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - [functor - ["$." contravariant]]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + [functor + ["$." contravariant]]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." / (#+ Equivalence)]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/fold.lux b/stdlib/source/test/lux/abstract/fold.lux index 8165c29c3..787a8a03d 100644 --- a/stdlib/source/test/lux/abstract/fold.lux +++ b/stdlib/source/test/lux/abstract/fold.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Fold)]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index 05b72f73f..63b0ad2d7 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." maybe] - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." maybe] + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Functor)]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/functor/contravariant.lux b/stdlib/source/test/lux/abstract/functor/contravariant.lux index 38bf62cbf..6a07cb0c5 100644 --- a/stdlib/source/test/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux @@ -1,7 +1,8 @@ (.module: - [lux #* - ["_" test (#+ Test)]] - [\\ + [library + [lux #* + ["_" test (#+ Test)]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index f06a7dfc2..4c9bc67f6 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - [functor - ["$." contravariant]]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random] - [number - ["." nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + [functor + ["$." contravariant]]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random] + [number + ["." nat]]]]] + [\\library ["." / (#+ Hash) [// [equivalence (#+ Equivalence)]]]]) diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index db8eb86be..718663b4b 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - ["." order] - [\spec - ["$." equivalence]]] - [control - [pipe (#+ case>)]] - [data - [collection - ["." set] - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + ["." order] + [\\spec + ["$." equivalence]]] + [control + [pipe (#+ case>)]] + [data + [collection + ["." set] + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Interval) ("\." equivalence)]]) (template [<name> <cmp>] diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index f66ee182f..cc4642e13 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [data - ["." identity (#+ Identity)] - [collection - ["." list ("#\." functor fold)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [data + ["." identity (#+ Identity)] + [collection + ["." list ("#\." functor fold)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Monad do)]]) (def: #export test diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 6afb3ed62..a56c01fd5 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ Monad do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [data - [collection - ["." list ("#\." functor)]]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [functor (#+ Functor)] + [apply (#+ Apply)] + [monad (#+ Monad do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [data + [collection + ["." list ("#\." functor)]]] + [math + ["." random]]]] + [\\library ["." /]]) (def: injection diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index acd00b91a..876ac1f46 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -1,14 +1,15 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." int]]]]] + [\\library ["." / [// [equivalence (#+ Equivalence)]]]]) diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index 2dc09461c..2173691de 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - [functor - ["$." contravariant]]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + [functor + ["$." contravariant]]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / [// [equivalence (#+ Equivalence)]]]]) diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 133fbdcba..0535b5802 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)] - [\spec - ["$." monoid] - [functor - ["$." contravariant]]]] - [control - ["." function]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [monad (#+ do)] + [\\spec + ["$." monoid] + [functor + ["$." contravariant]]]] + [control + ["." function]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: (multiple? factor) diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux index faf08f9b8..e1ab4f5f1 100644 --- a/stdlib/source/test/lux/control.lux +++ b/stdlib/source/test/lux/control.lux @@ -1,6 +1,7 @@ (.module: - [lux (#- function) - ["_" test (#+ Test)]] + [library + [lux (#- function) + ["_" test (#+ Test)]]] ["." / #_ ["#." concatenative] ["#." concurrency #_ diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index bfac126b0..39265aafe 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." sum] - ["." name] - ["." bit ("#\." equivalence)]] - [macro - ["." template]] - [math - ["." random] - [number - ["n" nat] - ["i" int] - ["r" rev] - ["f" frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." sum] + ["." name] + ["." bit ("#\." equivalence)]] + [macro + ["." template]] + [math + ["." random] + [number + ["n" nat] + ["i" int] + ["r" rev] + ["f" frac]]]]] + [\\library ["." / (#+ word: => ||>)]]) (def: stack_shuffling diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux index 854a50814..f229909bd 100644 --- a/stdlib/source/test/lux/control/concurrency/actor.lux +++ b/stdlib/source/test/lux/control/concurrency/actor.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try (#+ Try)] - ["." exception (#+ exception:)] - ["." io (#+ IO io)]] - [data - [text - ["%" format (#+ format)]] - [collection - ["." list] - ["." row (#+ Row)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try (#+ Try)] + ["." exception (#+ exception:)] + ["." io (#+ IO io)]] + [data + [text + ["%" format (#+ format)]] + [collection + ["." list] + ["." row (#+ Row)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ actor: message:) [// ["." atom (#+ Atom)] diff --git a/stdlib/source/test/lux/control/concurrency/atom.lux b/stdlib/source/test/lux/control/concurrency/atom.lux index b160f64e0..674e7dd3f 100644 --- a/stdlib/source/test/lux/control/concurrency/atom.lux +++ b/stdlib/source/test/lux/control/concurrency/atom.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." io]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index 659881a20..45d626600 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -1,25 +1,26 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - ["." try] - ["." exception] - ["." io (#+ IO io)]] - [data - [collection - ["." list ("#\." fold monoid)] - ["." row (#+ Row)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + ["." try] + ["." exception] + ["." io (#+ IO io)]] + [data + [collection + ["." list ("#\." fold monoid)] + ["." row (#+ Row)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / [// ["." promise (#+ Promise) ("#\." monad)] diff --git a/stdlib/source/test/lux/control/concurrency/promise.lux b/stdlib/source/test/lux/control/concurrency/promise.lux index 16c60c508..6b6b0ac14 100644 --- a/stdlib/source/test/lux/control/concurrency/promise.lux +++ b/stdlib/source/test/lux/control/concurrency/promise.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["@" target] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - [pipe (#+ case>)] - ["." io]] - [time - ["." instant] - ["." duration]] - [math - ["." random] - [number - ["n" nat] - ["i" int] - ["." i64]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["@" target] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + [pipe (#+ case>)] + ["." io]] + [time + ["." instant] + ["." duration]] + [math + ["." random] + [number + ["n" nat] + ["i" int] + ["." i64]]]]] + [\\library ["." / [// ["." atom (#+ Atom)]]]]) diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index 8924cf66f..38e152456 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -1,31 +1,32 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["@" target] - [abstract - ["." monad (#+ do)] - ["." enum]] - [control - ["." io] - ["." try] - ["." exception (#+ exception:)] - [concurrency - ["." promise (#+ Promise)] - ["." atom (#+ Atom)]]] - [data - ["." maybe] - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." list ("#\." functor)]]] - [math - ["." random] - [number - ["n" nat] - ["." i64]]] - [type - ["." refinement]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["@" target] + [abstract + ["." monad (#+ do)] + ["." enum]] + [control + ["." io] + ["." try] + ["." exception (#+ exception:)] + [concurrency + ["." promise (#+ Promise)] + ["." atom (#+ Atom)]]] + [data + ["." maybe] + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." list ("#\." functor)]]] + [math + ["." random] + [number + ["n" nat] + ["." i64]]] + [type + ["." refinement]]]] + [\\library ["." /]]) (def: delay diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index 6bbbc3f54..6667274b5 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - ["." monad (#+ Monad do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - ["." io (#+ IO)]] - [data - ["." product] - [collection - ["." list ("#\." functor)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + ["." monad (#+ Monad do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + ["." io (#+ IO)]] + [data + ["." product] + [collection + ["." list ("#\." functor)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / [// ["." atom (#+ Atom atom)] diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux index df005c4ac..557b6a80b 100644 --- a/stdlib/source/test/lux/control/concurrency/thread.lux +++ b/stdlib/source/test/lux/control/concurrency/thread.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io]] - [time - ["." instant (#+ Instant)] - ["." duration]] - [math - ["." random] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." io]] + [time + ["." instant (#+ Instant)] + ["." duration]] + [math + ["." random] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." / [// ["." atom (#+ Atom)] diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index a85418f8a..bec8160c1 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [data - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [data + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: injection diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux index e63a2b66e..f62ad9271 100644 --- a/stdlib/source/test/lux/control/exception.lux +++ b/stdlib/source/test/lux/control/exception.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ exception:) [// ["." try (#+ Try)]]]]) diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index 6463e4c1c..8669e4220 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)] - [\spec - ["$." monoid]]] - [data - ["." text ("#!." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [monad (#+ do)] + [\\spec + ["$." monoid]]] + [data + ["." text ("#!." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]] ["." / #_ ["#." contract] diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index e1b06a325..81840fd08 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux index 87cf14b0b..29c39dbdb 100644 --- a/stdlib/source/test/lux/control/function/memo.lux +++ b/stdlib/source/test/lux/control/function/memo.lux @@ -1,25 +1,26 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io (#+ IO)] - ["." state (#+ State) ("#\." monad)]] - [data - ["." product] - [collection - ["." dictionary (#+ Dictionary)] - ["." list ("#\." functor fold)]]] - [math - ["." random] - [number - ["n" nat] - ["." i64]]] - [time - ["." instant] - ["." duration (#+ Duration)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." io (#+ IO)] + ["." state (#+ State) ("#\." monad)]] + [data + ["." product] + [collection + ["." dictionary (#+ Dictionary)] + ["." list ("#\." functor fold)]]] + [math + ["." random] + [number + ["n" nat] + ["." i64]]] + [time + ["." instant] + ["." duration (#+ Duration)]]]] + [\\library ["." / ["/#" // #_ ["#" mixin]]]]) diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index 35cd36027..a74ca04d4 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [predicate (#+ Predicate)] - [monad (#+ do)] - [\spec - ["$." monoid]]] - [control - ["." state (#+ State)]] - [data - ["." product] - [collection - ["." list ("#\." functor fold)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [predicate (#+ Predicate)] + [monad (#+ do)] + [\\spec + ["$." monoid]]] + [control + ["." state (#+ State)]] + [data + ["." product] + [collection + ["." list ("#\." functor fold)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index 120413e5a..c9fbfbace 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." bit ("#\." equivalence)] - [text - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." bit ("#\." equivalence)] + [text + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: test_let diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux index a45fd28a9..1db7423e8 100644 --- a/stdlib/source/test/lux/control/io.lux +++ b/stdlib/source/test/lux/control/io.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ IO) [// ["." function]]]]) diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index 81155f605..ff8520b10 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -1,30 +1,31 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - ["." try (#+ Try)] - [parser - ["<.>" code]]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." list ("#\." functor)]]] - [math - ["." random] - [number - ["n" nat]]] - [macro - [syntax (#+ syntax:)] - ["." code]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [equivalence (#+ Equivalence)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + ["." try (#+ Try)] + [parser + ["<.>" code]]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." list ("#\." functor)]]] + [math + ["." random] + [number + ["n" nat]]] + [macro + [syntax (#+ syntax:)] + ["." code]]]] + [\\library ["." / (#+ Parser)]] ["." / #_ ["#." analysis] diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux index 49e7b0478..8be89e101 100644 --- a/stdlib/source/test/lux/control/parser/analysis.lux +++ b/stdlib/source/test/lux/control/parser/analysis.lux @@ -1,34 +1,35 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - [pipe (#+ case>)] - ["." try] - ["." exception] - ["<>" parser]] - [data - ["." name ("#\." equivalence)] - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int] - ["f" frac] - ["r" rev]]] - [tool - [compiler - [reference (#+ Constant) - [variable (#+)]] - [language - [lux - ["." analysis]]]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + [pipe (#+ case>)] + ["." try] + ["." exception] + ["<>" parser]] + [data + ["." name ("#\." equivalence)] + ["." bit ("#\." equivalence)] + ["." text ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int] + ["f" frac] + ["r" rev]]] + [tool + [compiler + [reference (#+ Constant) + [variable (#+)]] + [language + [lux + ["." analysis]]]]]]] + [\\library ["." /]]) (template: (!expect <expectation> <computation>) diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index 289a80ba9..972078a43 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -1,43 +1,44 @@ (.module: - [lux (#- primitive) - ["_" test (#+ Test)] - ["." type] - [abstract - [equivalence (#+ Equivalence)] - [predicate (#+ Predicate)] - [monad (#+ do)]] - [control - [pipe (#+ case>)] - ["." try] - ["." exception] - ["<>" parser]] - [data - ["." binary] - ["." sum] - ["." maybe] - ["." bit] - ["." name] - ["." text ("#\." equivalence) - ["%" format (#+ format)] - [encoding - ["." utf8]]] - ["." format #_ - ["#" binary]] - [collection - ["." list] - ["." row] - ["." set]]] - [macro - ["." code]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["." i64] - ["." int] - ["." rev] - ["." frac]]]] - [\\ + [library + [lux (#- primitive) + ["_" test (#+ Test)] + ["." type] + [abstract + [equivalence (#+ Equivalence)] + [predicate (#+ Predicate)] + [monad (#+ do)]] + [control + [pipe (#+ case>)] + ["." try] + ["." exception] + ["<>" parser]] + [data + ["." binary] + ["." sum] + ["." maybe] + ["." bit] + ["." name] + ["." text ("#\." equivalence) + ["%" format (#+ format)] + [encoding + ["." utf8]]] + ["." format #_ + ["#" binary]] + [collection + ["." list] + ["." row] + ["." set]]] + [macro + ["." code]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["." i64] + ["." int] + ["." rev] + ["." frac]]]]] + [\\library ["." /]]) (template: (!expect <expectation> <computation>) diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux index 97ffd5e0e..fbf0a810f 100644 --- a/stdlib/source/test/lux/control/parser/cli.lux +++ b/stdlib/source/test/lux/control/parser/cli.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["<>" parser]] - [data - ["." text ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat ("#\." decimal)]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["<>" parser]] + [data + ["." text ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat ("#\." decimal)]]]]] + [\\library ["." /]]) (template: (!expect <pattern> <value>) diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 987f0ad9d..7bb5d1ddb 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -1,28 +1,29 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." function] - ["." try] - ["<>" parser]] - [data - ["." bit] - ["." name] - ["." text] - [collection - ["." list]]] - [macro - ["." code]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." int] - ["." rev] - ["." frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." function] + ["." try] + ["<>" parser]] + [data + ["." bit] + ["." name] + ["." text] + [collection + ["." list]]] + [macro + ["." code]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." int] + ["." rev] + ["." frac]]]]] + [\\library ["." /]]) (template: (!expect <pattern> <value>) diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux index 48b7bca54..68f98ea13 100644 --- a/stdlib/source/test/lux/control/parser/environment.lux +++ b/stdlib/source/test/lux/control/parser/environment.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception]] - [data - ["." text ("#\." equivalence)] - [collection - ["." dictionary]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception]] + [data + ["." text ("#\." equivalence)] + [collection + ["." dictionary]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / ["/#" // ("#\." monad)]]]) diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux index 0a4adcc83..6b6511e15 100644 --- a/stdlib/source/test/lux/control/parser/json.lux +++ b/stdlib/source/test/lux/control/parser/json.lux @@ -1,30 +1,31 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - [pipe (#+ case>)] - ["." try] - ["." exception] - ["<>" parser]] - [data - ["." maybe] - ["." bit] - ["." text] - [collection - ["." list ("#\." functor)] - ["." set] - ["." dictionary] - ["." row (#+ row) ("#\." functor)]] - [format - ["." json]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["." frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + [pipe (#+ case>)] + ["." try] + ["." exception] + ["<>" parser]] + [data + ["." maybe] + ["." bit] + ["." text] + [collection + ["." list ("#\." functor)] + ["." set] + ["." dictionary] + ["." row (#+ row) ("#\." functor)]] + [format + ["." json]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["." frac]]]]] + [\\library ["." /]]) (template: (!expect <pattern> <value>) diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index 064891f2c..83211a95f 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -1,34 +1,35 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - ["." monad (#+ do)]] - [control - [pipe (#+ case>)] - ["<>" parser] - ["." try] - ["." exception]] - [data - ["." bit] - ["." name] - ["." text] - [collection - ["." list ("#\." functor)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["." i64] - ["." frac]]] - [tool - [compiler - [reference (#+) - ["." variable (#+ Variable)]] - [language - [lux - [analysis (#+ Environment)] - ["." synthesis (#+ Synthesis)]]]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + ["." monad (#+ do)]] + [control + [pipe (#+ case>)] + ["<>" parser] + ["." try] + ["." exception]] + [data + ["." bit] + ["." name] + ["." text] + [collection + ["." list ("#\." functor)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["." i64] + ["." frac]]] + [tool + [compiler + [reference (#+) + ["." variable (#+ Variable)]] + [language + [lux + [analysis (#+ Environment)] + ["." synthesis (#+ Synthesis)]]]]]]] + [\\library ["." /]]) (template: (!expect <pattern> <value>) diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index 0ccad4208..d00a21d90 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -1,31 +1,32 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try (#+ Try)] - ["." exception (#+ Exception)] - ["." function]] - [data - ["." maybe] - ["." text ("#\." equivalence) - ["%" format (#+ format)] - ["." unicode #_ - ["#" set] - ["#/." block]]] - [collection - ["." set] - ["." list ("#\." functor)] - [tree - ["." finger]]]] - [math - ["." random] - [number (#+ hex) - ["n" nat]]] - [macro - ["." code]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try (#+ Try)] + ["." exception (#+ Exception)] + ["." function]] + [data + ["." maybe] + ["." text ("#\." equivalence) + ["%" format (#+ format)] + ["." unicode #_ + ["#" set] + ["#/." block]]] + [collection + ["." set] + ["." list ("#\." functor)] + [tree + ["." finger]]]] + [math + ["." random] + [number (#+ hex) + ["n" nat]]] + [macro + ["." code]]]] + [\\library ["." / ["<>" // ["<c>" code]]]]) diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux index f4daaf751..62c4ab04e 100644 --- a/stdlib/source/test/lux/control/parser/tree.lux +++ b/stdlib/source/test/lux/control/parser/tree.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception]] - [data - [collection - ["." tree - ["." zipper]]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception]] + [data + [collection + ["." tree + ["." zipper]]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / ["/#" //]]]) diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index d2a9bce32..7a8feca69 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -1,21 +1,22 @@ (.module: - [lux (#- primitive) - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception]] - [data - ["." name ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]] - ["." type ("#\." equivalence)]] - [\\ + [library + [lux (#- primitive) + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception]] + [data + ["." name ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]] + ["." type ("#\." equivalence)]]] + [\\library ["." / ["/#" //]]]) diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux index 435e3f4d3..aab371fa9 100644 --- a/stdlib/source/test/lux/control/parser/xml.lux +++ b/stdlib/source/test/lux/control/parser/xml.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." type ("#\." equivalence)] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception]] - [data - ["." text ("#\." equivalence)] - ["." name ("#\." equivalence)] - [format - ["." xml]] - [collection - ["." dictionary] - ["." list]]] - [macro - ["." template]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." type ("#\." equivalence)] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception]] + [data + ["." text ("#\." equivalence)] + ["." name ("#\." equivalence)] + [format + ["." xml]] + [collection + ["." dictionary] + ["." list]]] + [macro + ["." template]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / ["/#" // ("#\." monad)]]]) diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index 61d7aab25..e38fafba4 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." debug] - [abstract - [monad (#+ do)]] - [data - ["." identity] - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." debug] + [abstract + [monad (#+ do)]] + [data + ["." identity] + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index 9302a014c..b0edaa401 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Reader) [// ["." io (#+ IO)]]]]) diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux index 5e21b3a37..2d2c5e1f9 100644 --- a/stdlib/source/test/lux/control/region.lux +++ b/stdlib/source/test/lux/control/region.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - [type (#+ :share)] - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [functor (#+ Functor)] - [apply (#+ Apply)] - ["." monad (#+ Monad do)] - ["." enum] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - ["." try (#+ Try)]] - [data - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + [type (#+ :share)] + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [functor (#+ Functor)] + [apply (#+ Apply)] + ["." monad (#+ Monad do)] + ["." enum] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + ["." try (#+ Try)]] + [data + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Region) [// ["." thread (#+ Thread)] diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux index 17c59b8a3..a96f993c9 100644 --- a/stdlib/source/test/lux/control/remember.lux +++ b/stdlib/source/test/lux/control/remember.lux @@ -1,30 +1,31 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." meta] - [abstract - ["." monad (#+ do)]] - [control - ["." io] - ["." try (#+ Try)] - ["." exception] - [parser - ["<c>" code]]] - [data - ["." product] - ["." text - ["%" format (#+ format)]]] - [math - [number (#+ hex)] - ["." random (#+ Random) ("#\." monad)]] - [time - ["." date (#+ Date)] - ["." instant] - ["." duration]] - ["." macro - ["." code] - ["." syntax (#+ syntax:)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." meta] + [abstract + ["." monad (#+ do)]] + [control + ["." io] + ["." try (#+ Try)] + ["." exception] + [parser + ["<c>" code]]] + [data + ["." product] + ["." text + ["%" format (#+ format)]]] + [math + [number (#+ hex)] + ["." random (#+ Random) ("#\." monad)]] + [time + ["." date (#+ Date)] + ["." instant] + ["." duration]] + ["." macro + ["." code] + ["." syntax (#+ syntax:)]]]] + [\\library ["." /]]) (def: deadline (Random Date) random.date) diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index ef3d64d05..2798c21b2 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io (#+ IO)] - [concurrency - ["." promise]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." io (#+ IO)] + [concurrency + ["." promise]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (/.capability: (Can-Shift a) diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 0cf9729dd..87beb9a3a 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [hash (#+ Hash)] - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [data - ["." text ("#\." equivalence)]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [hash (#+ Hash)] + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Context Privacy Can_Conceal Can_Reveal Privilege Private)]]) (def: (injection can_conceal) diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index 6d6626522..2c1541dbf 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - [pipe (#+ let>)] - ["." io]] - [data - ["." product]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + [pipe (#+ let>)] + ["." io]] + [data + ["." product]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ State)]]) (def: (with-conditions [state output] computation) diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index d2369a0bc..f3ad379dd 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Thread) [// ["." io]]]]) diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index c2b00360f..9f131cffd 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad] - ["$." equivalence]]] - [control - pipe - ["." io]] - [data - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad] + ["$." equivalence]]] + [control + pipe + ["." io]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Try)]]) (def: injection diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index 1c007d9b1..8d440ddd0 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [monoid (#+ Monoid)] - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - ["." io]] - [data - ["." product] - ["." text ("#\." equivalence)]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [monoid (#+ Monoid)] + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + ["." io]] + [data + ["." product] + ["." text ("#\." equivalence)]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Writer)]]) (def: (injection monoid value) diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux index 33f0d963b..95576f815 100644 --- a/stdlib/source/test/lux/data.lux +++ b/stdlib/source/test/lux/data.lux @@ -1,10 +1,11 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [math - ["." random]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random]]]] ["." / #_ ["#." binary] ["#." bit] @@ -32,6 +33,7 @@ body))) (def: format + Test ($_ _.and /format/binary.test /format/json.test @@ -39,27 +41,36 @@ /format/xml.test )) +(def: test/0 + Test + ($_ _.and + /binary.test + /bit.test + /color.test + /color/named.test)) + +(def: test/1 + Test + ($_ _.and + /identity.test + /lazy.test + /maybe.test + /name.test)) + +(def: test/2 + Test + ($_ _.and + /product.test + /sum.test + /text.test)) + (def: #export test Test ## TODO: Inline ASAP - (let [test0 ($_ _.and - /binary.test - /bit.test - /color.test - /color/named.test - /identity.test) - test1 ($_ _.and - /lazy.test - /maybe.test - /name.test - /product.test) - test2 ($_ _.and - /sum.test - /text.test - ..format - /collection.test)] - ($_ _.and - (!bundle test0) - (!bundle test1) - (!bundle test2) - ))) + ($_ _.and + (!bundle test/0) + (!bundle test/1) + (!bundle test/2) + (!bundle ..format) + (!bundle /collection.test) + )) diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index ba5e36662..347d9080b 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - ["." monad (#+ do)] - ["." enum] - [\spec - ["$." equivalence] - ["$." monoid]]] - [control - ["." try (#+ Try)] - ["." exception (#+ Exception)]] - [data - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["." i64] - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + ["." monad (#+ do)] + ["." enum] + [\\spec + ["$." equivalence] + ["$." monoid]]] + [control + ["." try (#+ Try)] + ["." exception (#+ Exception)]] + [data + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["." i64] + ["n" nat]]]]] + [\\library ["." / (#+ Binary)]]) (def: (succeed result) diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 341da9beb..499b32779 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [math - ["." random]] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." codec]]] - [control - ["." function]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." monoid] + ["$." codec]]] + [control + ["." function]] + [math + ["." random]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index bcbda46b9..b30d8181f 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -1,6 +1,7 @@ (.module: - [lux #* - ["_" test (#+ Test)]] + [library + [lux #* + ["_" test (#+ Test)]]] ["." / #_ ["#." array] ["#." bits] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index e99478ee8..20d554bea 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." monoid] - ["$." fold] - ["$." functor (#+ Injection)]]] - [data - ["." bit] - ["." maybe] - [collection - ["." list] - ["." set]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." monoid] + ["$." fold] + ["$." functor (#+ Injection)]]] + [data + ["." bit] + ["." maybe] + [collection + ["." list] + ["." set]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Array)]]) (def: injection diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 258c84107..f505b0fce 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - ["." predicate] - [\spec - ["$." equivalence]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + ["." predicate] + [\\spec + ["$." equivalence]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Bits)]]) (def: (size min max) diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index d68b421d9..c28ff6f51 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -1,25 +1,26 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [hash (#+ Hash)] - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." functor (#+ Injection)]]] - [control - ["." try] - ["." exception]] - [data - ["." product] - ["." maybe] - [collection - ["." list ("#\." functor)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [hash (#+ Hash)] + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." functor (#+ Injection)]]] + [control + ["." try] + ["." exception]] + [data + ["." product] + ["." maybe] + [collection + ["." list ("#\." functor)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: injection diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index a004e5c97..66d8098d3 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - [order (#+ Order)] - [\spec - ["$." equivalence]]] - [data - ["." product] - ["." bit ("#\." equivalence)] - ["." maybe ("#\." monad)] - [collection - ["." set] - ["." list ("#\." functor)]]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [equivalence (#+ Equivalence)] + [order (#+ Order)] + [\\spec + ["$." equivalence]]] + [data + ["." product] + ["." bit ("#\." equivalence)] + ["." maybe ("#\." monad)] + [collection + ["." set] + ["." list ("#\." functor)]]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export (dictionary order gen_key gen_value size) diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 4811b1162..3d24c3943 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [data - ["." bit ("#\." equivalence)] - ["." maybe ("#\." monad)] - ["." text] - [collection - ["." set] - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [data + ["." bit ("#\." equivalence)] + ["." maybe ("#\." monad)] + ["." text] + [collection + ["." set] + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export (random size gen_key gen_value) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 625ce2bad..c46ccb681 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -1,34 +1,35 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - ["." enum] - [\spec - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." fold] - ["$." functor] - ["$." apply] - ["$." monad]]] - [control - pipe - ["." io] - ["." function]] - [data - ["." bit] - ["." product] - ["." maybe] - ["." text ("#\." equivalence)] - [collection - ["." set]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["." int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + ["." enum] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." monoid] + ["$." fold] + ["$." functor] + ["$." apply] + ["$." monad]]] + [control + pipe + ["." io] + ["." function]] + [data + ["." bit] + ["." product] + ["." maybe] + ["." text ("#\." equivalence)] + [collection + ["." set]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["." int]]]]] + [\\library ["." / ("#\." monad)]]) (def: bounded_size diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 8ddd0533a..93dd8828f 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." functor (#+ Injection)]]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." set] - ["." list ("#\." monoid)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." functor (#+ Injection)]]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." set] + ["." list ("#\." monoid)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: injection diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 653e0ca52..55d643aa8 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - ["." monad (#+ do)]] - [data - ["." maybe ("#\." functor)] - ["." bit ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + ["." monad (#+ do)]] + [data + ["." maybe ("#\." functor)] + ["." bit ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Queue)]]) (def: #export (random size) diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index e523fd656..6f858efe6 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -1,28 +1,29 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." monoid] - ["$." fold] - ["$." functor (#+ Injection)] - ["$." apply] - ["$." monad]]] - [control - ["." try (#+ Try)] - ["." exception]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." list ("#\." fold)] - ["." set]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." monoid] + ["$." fold] + ["$." functor (#+ Injection)] + ["$." apply] + ["$." monad]]] + [control + ["." try (#+ Try)] + ["." exception]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." list ("#\." fold)] + ["." set]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / ("#\." monad)]]) (def: signatures diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index 1d5e111af..bbac12c34 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - ["." enum] - [\spec - ["$." functor] - ["$." comonad]]] - [data - ["." text - ["%" format (#+ format)]] - [collection - ["." list ("#\." functor)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [equivalence (#+ Equivalence)] + ["." enum] + [\\spec + ["$." functor] + ["$." comonad]]] + [data + ["." text + ["%" format (#+ format)]] + [collection + ["." list ("#\." functor)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (implementation: (equivalence super) diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index f577ce59f..e543dce57 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [hash (#+ Hash)] - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." monoid]]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [hash (#+ Hash)] + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." monoid]]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / ("\." equivalence)]]) (def: gen_nat diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 4e1cd4f48..a6f95a3f0 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [hash (#+ Hash)] - [monad (#+ do)] - ["." predicate] - [\spec - ["$." equivalence] - ["$." hash]]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." set] - ["." list ("#\." fold)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [hash (#+ Hash)] + [monad (#+ do)] + ["." predicate] + [\\spec + ["$." equivalence] + ["$." hash]]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." set] + ["." list ("#\." fold)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: count diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 385bc3c4a..0a6b441b7 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [order (#+ Order)] - [\spec - ["$." equivalence]]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [order (#+ Order)] + [\\spec + ["$." equivalence]]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Set) ["." //]]]) diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 317911b6b..e671b3cee 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." functor (#+ Injection)]]] - [data - ["." maybe] - ["." bit ("#\." equivalence)]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." functor (#+ Injection)]]] + [data + ["." maybe] + ["." bit ("#\." equivalence)]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: (injection value) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 91817180d..ed27499c3 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - ["." monad (#+ do)] - [\spec - ["$." equivalence] - ["$." fold] - ["$." functor]]] - [data - ["." product] - [collection - ["." list ("#\." functor fold)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + ["." monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." fold] + ["$." functor]]] + [data + ["." product] + [collection + ["." list ("#\." functor fold)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Tree)]]) (def: #export (tree gen-value) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 2c4c83466..c34449027 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." maybe ("#\." functor)] - ["." text ("#\." equivalence monoid)] - [collection - ["." list ("#\." fold)]]] - [math - ["." random] - [number - ["n" nat]]] - [type (#+ :by_example)]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." maybe ("#\." functor)] + ["." text ("#\." equivalence monoid)] + [collection + ["." list ("#\." fold)]]] + [math + ["." random] + [number + ["n" nat]]] + [type (#+ :by_example)]]] + [\\library ["." /]]) (def: builder diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 6a7832736..b45e96213 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." functor] - ["$." comonad]]] - [control - pipe] - [data - ["." product] - ["." maybe ("#\." functor)] - ["." text] - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat]]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." functor] + ["$." comonad]]] + [control + pipe] + [data + ["." product] + ["." maybe ("#\." functor)] + ["." text] + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat]]]]] ["." //] - [\\ + [\\library ["." / (#+ Zipper) ["tree" //]]]) diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index 2877af081..b218a15ed 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,25 +1,26 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." monoid]]] - [data - [collection - ["." list]]] - [macro - ["." template]] - ["." math - ["." random (#+ Random)] - [number - ["n" nat] - ["." int] - ["f" frac] - ["r" rev]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." monoid]]] + [data + [collection + ["." list]]] + [macro + ["." template]] + ["." math + ["." random (#+ Random)] + [number + ["n" nat] + ["." int] + ["f" frac] + ["r" rev]]]]] + [\\library ["." /]]) (def: #export random diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index bddd74593..9e027d74d 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - [collection - ["." list] - ["." set]]] - [macro - ["." template]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + [collection + ["." list] + ["." set]]] + [macro + ["." template]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / ["/#" //]]]) diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index 8912ae845..3457833ae 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)] - [\spec - ["$." monoid]]] - [data - ["." binary ("#\." equivalence)]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [monad (#+ do)] + [\\spec + ["$." monoid]]] + [data + ["." binary ("#\." equivalence)]] + [math + ["." random (#+ Random)]]]] + [\\library ["." /]]) (implementation: equivalence diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 5e425db79..8fa74ed9e 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -1,33 +1,34 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." meta] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." codec]]] - [control - ["." try ("#\." functor)]] - [data - ["." product] - ["." bit] - ["." text - ["%" format (#+ format)]] - [collection - ["." row] - ["." dictionary] - ["." set] - ["." list ("#\." functor)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["." frac]]] - ["." macro - ["." syntax (#+ syntax:)] - ["." code]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." meta] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." codec]]] + [control + ["." try ("#\." functor)]] + [data + ["." product] + ["." bit] + ["." text + ["%" format (#+ format)]] + [collection + ["." row] + ["." dictionary] + ["." set] + ["." list ("#\." functor)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["." frac]]] + ["." macro + ["." syntax (#+ syntax:)] + ["." code]]]] + [\\library ["." / (#+ JSON) ("\." equivalence)]]) (def: #export random diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 540eb2af1..8b0655555 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -1,38 +1,39 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception] - ["<>" parser - ["<b>" binary]]] - [data - ["." product] - ["." maybe] - ["." binary ("#\." equivalence monoid)] - ["." text ("#\." equivalence) - ["%" format (#+ format)] - [encoding - ["." utf8]] - ["." unicode #_ - ["#" set] - ["#/." block]]] - [collection - ["." row] - ["." list ("#\." fold)]] - ["." format #_ - ["#" binary]]] - [time - ["." instant (#+ Instant)] - ["." duration]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception] + ["<>" parser + ["<b>" binary]]] + [data + ["." product] + ["." maybe] + ["." binary ("#\." equivalence monoid)] + ["." text ("#\." equivalence) + ["%" format (#+ format)] + [encoding + ["." utf8]] + ["." unicode #_ + ["#" set] + ["#/." block]]] + [collection + ["." row] + ["." list ("#\." fold)]] + ["." format #_ + ["#" binary]]] + [time + ["." instant (#+ Instant)] + ["." duration]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." /]]) (def: path diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 95a06127f..5e4585d7f 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -1,29 +1,30 @@ (.module: - [lux (#- char) - ["_" test (#+ Test)] - [abstract - [monad (#+ Monad do)] - [\spec - ["$." equivalence] - ["$." codec]]] - [control - pipe - ["." try] - ["p" parser - ["</>" xml]]] - [data - ["." name] - ["." maybe] - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." dictionary] - ["." list ("#\." functor)]]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat]]]] - [\\ + [library + [lux (#- char) + ["_" test (#+ Test)] + [abstract + [monad (#+ Monad do)] + [\\spec + ["$." equivalence] + ["$." codec]]] + [control + pipe + ["." try] + ["p" parser + ["</>" xml]]] + [data + ["." name] + ["." maybe] + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." dictionary] + ["." list ("#\." functor)]]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ XML)]]) (def: char_range diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 918eb10f6..c1359fd42 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,14 +1,15 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad] - ["$." comonad]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad] + ["$." comonad]]]]] + [\\library ["." / (#+ Identity)]]) (def: injection diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux index 87d77ca68..9972de30d 100644 --- a/stdlib/source/test/lux/data/lazy.lux +++ b/stdlib/source/test/lux/data/lazy.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad] - ["$." equivalence]]] - [data - ["." product]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad] + ["$." equivalence]]] + [data + ["." product]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Lazy)]]) (def: injection diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux index eea0e3f32..51388c7a2 100644 --- a/stdlib/source/test/lux/data/maybe.lux +++ b/stdlib/source/test/lux/data/maybe.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." functor] - ["$." apply] - ["$." monad]]] - [control - ["." io ("#\." monad)] - pipe] - [data - ["." text] - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." monoid] + ["$." functor] + ["$." apply] + ["$." monad]]] + [control + ["." io ("#\." monad)] + pipe] + [data + ["." text] + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / ("#\." monoid monad)]]) (def: #export test diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index 8c2722466..958d236bf 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." codec]]] - [control - pipe] - [data - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." codec]]] + [control + pipe] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export (random module_size short_size) @@ -57,18 +58,17 @@ (_.cover [/.module /.short] (and (is? module1 (/.module name1)) (is? short1 (/.short name1)))) - (_.for [.name_of] (let [(^open "/\.") /.equivalence] ($_ _.and (_.test "Can obtain Name from identifier." - (and (/\= ["lux" "yolo"] (.name_of .yolo)) + (and (/\= [.prelude_module "yolo"] (.name_of .yolo)) (/\= ["test/lux/data/name" "yolo"] (.name_of ..yolo)) (/\= ["" "yolo"] (.name_of yolo)) - (/\= ["lux/test" "yolo"] (.name_of lux/test.yolo)))) + (/\= ["library/lux/test" "yolo"] (.name_of library/lux/test.yolo)))) (_.test "Can obtain Name from tag." - (and (/\= ["lux" "yolo"] (.name_of #.yolo)) + (and (/\= [.prelude_module "yolo"] (.name_of #.yolo)) (/\= ["test/lux/data/name" "yolo"] (.name_of #..yolo)) (/\= ["" "yolo"] (.name_of #yolo)) - (/\= ["lux/test" "yolo"] (.name_of #lux/test.yolo))))))) + (/\= ["library/lux/test" "yolo"] (.name_of #library/lux/test.yolo))))))) ))))) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 3e8124dde..ed086d66a 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [math - ["." random] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [math + ["." random] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index 6725a7a24..b06d4ea79 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - pipe] - [data - ["." text] - [collection - ["." list ("#\." functor)]]] - [math - ["." random] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + pipe] + [data + ["." text] + [collection + ["." list ("#\." functor)]]] + [math + ["." random] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 1838206a8..5b13a9076 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -1,24 +1,25 @@ (.module: - [lux (#- char) - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." monoid]]] - [control - pipe] - [data - ["." maybe] - [collection - ["." list] - ["." set]]] - [math - ["." random] - [number - ["n" nat]]]] + [library + [lux (#- char) + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." monoid]]] + [control + pipe] + [data + ["." maybe] + [collection + ["." list] + ["." set]]] + [math + ["." random] + [number + ["n" nat]]]]] ["." / #_ ["#." buffer] ["#." encoding] @@ -27,7 +28,7 @@ ["#." escape] ["#." unicode #_ ["#" set]]] - [\\ + [\\library ["." /]]) (def: bounded_size diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index 551d7943f..0f6e73d35 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: part diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 981fb2d22..53bc78299 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -1,25 +1,26 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." codec]]] - [control - ["." try]] - [data - ["." maybe] - ["." text ("#\." equivalence)] - [collection - ["." list ("#\." fold)] - ["." set]]] - [macro - ["." template]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." codec]]] + [control + ["." try]] + [data + ["." maybe] + ["." text ("#\." equivalence)] + [collection + ["." list ("#\." fold)] + ["." set]]] + [macro + ["." template]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]] ["." / #_ ["#." utf8]]) diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index 7f83f745d..222e6e19b 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -1,14 +1,15 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [\spec - ["$." codec]]] - [data - ["." text]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [\\spec + ["$." codec]]] + [data + ["." text]] + [math + ["." random (#+ Random)]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 7cef235cd..bee4a7560 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -1,30 +1,31 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." debug] - ["." meta] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception] - [parser - ["<.>" code]]] - [data - ["." bit ("#\." equivalence)] - ["." text (#+ Char) ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." set (#+ Set)]]] - [macro - [syntax (#+ syntax:)] - ["." code] - ["." template]] - [math - ["." random (#+ Random)] - [number (#+ hex) - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." debug] + ["." meta] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception] + [parser + ["<.>" code]]] + [data + ["." bit ("#\." equivalence)] + ["." text (#+ Char) ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." set (#+ Set)]]] + [macro + [syntax (#+ syntax:)] + ["." code] + ["." template]] + [math + ["." random (#+ Random)] + [number (#+ hex) + ["n" nat]]]]] + [\\library ["." / [// ["." unicode #_ diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index 54176cda3..f35683b33 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -1,44 +1,45 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - [functor - [\spec - ["$." contravariant]]]] - [control - ["." try]] - [data - ["." text ("#\." equivalence)] - ["." bit] - ["." name] - [format - ["." xml] - ["." json]] - [collection - ["." list ("#\." functor)]]] - ["." time - ["." day] - ["." month] - ["." instant] - ["." duration] - ["." date]] - [math - ["." random (#+ Random) ("#\." monad)] - ["." modulus] - ["." modular] - [number - ["." nat] - ["." int] - ["." rev] - ["." frac] - ["." ratio]]] - [macro - ["." code]] - [meta - ["." location]] - ["." type]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [equivalence (#+ Equivalence)] + [functor + [\\spec + ["$." contravariant]]]] + [control + ["." try]] + [data + ["." text ("#\." equivalence)] + ["." bit] + ["." name] + [format + ["." xml] + ["." json]] + [collection + ["." list ("#\." functor)]]] + ["." time + ["." day] + ["." month] + ["." instant] + ["." duration] + ["." date]] + [math + ["." random (#+ Random) ("#\." monad)] + ["." modulus] + ["." modular] + [number + ["." nat] + ["." int] + ["." rev] + ["." frac] + ["." ratio]]] + [macro + ["." code]] + [meta + ["." location]] + ["." type]]] ["$." /// #_ [format ["#." xml] @@ -48,7 +49,7 @@ ["#." type] [macro ["#." code]]]] - [\\ + [\\library ["." /]]) (implementation: (equivalence example) @@ -68,6 +69,54 @@ (random\wrap [/.frac random.frac]) )) +(def: codec + Test + (`` ($_ _.and + (~~ (template [<format> <codec> <random>] + [(do random.monad + [sample <random>] + (_.cover [<format>] + (text\= (\ <codec> encode sample) + (<format> sample))))] + + [/.bit bit.codec random.bit] + [/.nat nat.decimal random.nat] + [/.int int.decimal random.int] + [/.rev rev.decimal random.rev] + [/.frac frac.decimal random.frac] + [/.ratio ratio.codec random.ratio] + [/.name name.codec ($///name.random 5 5)] + [/.xml xml.codec $///xml.random] + [/.json json.codec $///json.random] + [/.day day.codec random.day] + [/.month month.codec random.month] + [/.instant instant.codec random.instant] + [/.duration duration.codec random.duration] + [/.date date.codec random.date] + [/.time time.codec random.time] + + [/.nat/2 nat.binary random.nat] + [/.nat/8 nat.octal random.nat] + [/.nat/10 nat.decimal random.nat] + [/.nat/16 nat.hex random.nat] + + [/.int/2 int.binary random.int] + [/.int/8 int.octal random.int] + [/.int/10 int.decimal random.int] + [/.int/16 int.hex random.int] + + [/.rev/2 rev.binary random.rev] + [/.rev/8 rev.octal random.rev] + [/.rev/10 rev.decimal random.rev] + [/.rev/16 rev.hex random.rev] + + [/.frac/2 frac.binary random.frac] + [/.frac/8 frac.octal random.frac] + [/.frac/10 frac.decimal random.frac] + [/.frac/16 frac.hex random.frac] + )) + ))) + (def: #export test Test (<| (_.covering /._) @@ -88,49 +137,7 @@ (_.cover [/.format] (text\= (/.format left mid right) ($_ "lux text concat" left mid right)))) - (~~ (template [<format> <codec> <random>] - [(do random.monad - [sample <random>] - (_.cover [<format>] - (text\= (\ <codec> encode sample) - (<format> sample))))] - - [/.bit bit.codec random.bit] - [/.nat nat.decimal random.nat] - [/.int int.decimal random.int] - [/.rev rev.decimal random.rev] - [/.frac frac.decimal random.frac] - [/.ratio ratio.codec random.ratio] - [/.name name.codec ($///name.random 5 5)] - [/.xml xml.codec $///xml.random] - [/.json json.codec $///json.random] - [/.day day.codec random.day] - [/.month month.codec random.month] - [/.instant instant.codec random.instant] - [/.duration duration.codec random.duration] - [/.date date.codec random.date] - [/.time time.codec random.time] - - [/.nat/2 nat.binary random.nat] - [/.nat/8 nat.octal random.nat] - [/.nat/10 nat.decimal random.nat] - [/.nat/16 nat.hex random.nat] - - [/.int/2 int.binary random.int] - [/.int/8 int.octal random.int] - [/.int/10 int.decimal random.int] - [/.int/16 int.hex random.int] - - [/.rev/2 rev.binary random.rev] - [/.rev/8 rev.octal random.rev] - [/.rev/10 rev.decimal random.rev] - [/.rev/16 rev.hex random.rev] - - [/.frac/2 frac.binary random.frac] - [/.frac/8 frac.octal random.frac] - [/.frac/10 frac.decimal random.frac] - [/.frac/16 frac.hex random.frac] - )) + ..codec (~~ (template [<format> <alias> <random>] [(do random.monad [sample <random>] diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 481dcd17f..cb481b97a 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - pipe - ["." try] - ["p" parser - ["<.>" text (#+ Parser)] - ["s" code]]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [math - [number (#+ hex)] - ["." random]] - ["." macro - [syntax (#+ syntax:)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + pipe + ["." try] + ["p" parser + ["<.>" text (#+ Parser)] + ["s" code]]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [math + [number (#+ hex)] + ["." random]] + ["." macro + [syntax (#+ syntax:)]]]] + [\\library ["." /]]) (def: (should_pass regex input) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 8a41eeca2..e4affc97a 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." monoid]]] - [data - ["." text] - [collection - ["." set] - ["." list]]] - [macro - ["." template]] - [math - ["." random (#+ Random)] - [number (#+ hex) - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." monoid]]] + [data + ["." text] + [collection + ["." set] + ["." list]]] + [macro + ["." template]] + [math + ["." random (#+ Random)] + [number (#+ hex) + ["n" nat]]]]] + [\\library ["." /]]) (def: #export random diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 631d3b511..3ef15de08 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [data - ["." product] - ["." bit ("#\." equivalence)] - [collection - ["." set ("#\." equivalence)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [data + ["." product] + ["." bit ("#\." equivalence)] + [collection + ["." set ("#\." equivalence)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] ["." / #_ ["/#" // #_ ["#." block]]] - [\\ + [\\library ["." / [// ["." block]]]]) diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 5c0a950dc..bbbf299d8 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -1,34 +1,35 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["@" target] - [abstract - [monad (#+ do)]] - [control - ["." try ("#\." functor)] - ["." exception]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." list ("#\." functor)]] - [format - [json (#+ JSON)] - [xml (#+ XML)]]] - ["." macro - [syntax (#+ syntax:)] - ["." code]] - [math - ["." random (#+ Random)] - [number - [ratio (#+ Ratio)]]] - [time (#+ Time) - [instant (#+ Instant)] - [date (#+ Date)] - [duration (#+ Duration)] - [month (#+ Month)] - [day (#+ Day)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["@" target] + [abstract + [monad (#+ do)]] + [control + ["." try ("#\." functor)] + ["." exception]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." list ("#\." functor)]] + [format + [json (#+ JSON)] + [xml (#+ XML)]]] + ["." macro + [syntax (#+ syntax:)] + ["." code]] + [math + ["." random (#+ Random)] + [number + [ratio (#+ Ratio)]]] + [time (#+ Time) + [instant (#+ Instant)] + [date (#+ Date)] + [duration (#+ Duration)] + [month (#+ Month)] + [day (#+ Day)]]]] + [\\library ["." /]] ["$." // #_ ["#." type] diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux index c784788ba..39597a8a3 100644 --- a/stdlib/source/test/lux/extension.lux +++ b/stdlib/source/test/lux/extension.lux @@ -1,46 +1,47 @@ (.module: - [lux #* - ["." debug] - ["@" target - ["." jvm] - ["." js] - ["." python] - ["." lua] - ["." ruby] - ["." php] - ["." scheme]] - [abstract - ["." monad (#+ do)]] - [control - ["." try] - ["<>" parser - ["<.>" code] - ["<.>" analysis] - ["<.>" synthesis]]] - [data - ["." product] - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." row] - ["." list ("#\." functor)]]] - [math - ["." random] - [number - ["n" nat]]] - [tool - [compiler - ["." phase] - [language - [lux - ["." analysis] - ["." synthesis] - ["." directive] - [phase - [analysis - ["." type]]]]]]] - ["_" test (#+ Test)]] - [\\ + [library + [lux #* + ["." debug] + ["@" target + ["." jvm] + ["." js] + ["." python] + ["." lua] + ["." ruby] + ["." php] + ["." scheme]] + [abstract + ["." monad (#+ do)]] + [control + ["." try] + ["<>" parser + ["<.>" code] + ["<.>" analysis] + ["<.>" synthesis]]] + [data + ["." product] + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." row] + ["." list ("#\." functor)]]] + [math + ["." random] + [number + ["n" nat]]] + [tool + [compiler + ["." phase] + [language + [lux + ["." analysis] + ["." synthesis] + ["." directive] + [phase + [analysis + ["." type]]]]]]] + ["_" test (#+ Test)]]] + [\\library ["." / (#+ analysis: synthesis: generation: directive:)]]) (def: my_analysis "my analysis") diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux index e2c699dbd..70ca96929 100644 --- a/stdlib/source/test/lux/ffi.js.lux +++ b/stdlib/source/test/lux/ffi.js.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try]] - [data - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [data + ["." bit ("#\." equivalence)] + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." frac]]]]] + [\\library ["." /]]) (/.import: Uint8Array) diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 7baa32fa2..ba02b1fc9 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -1,29 +1,30 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." type ("#\." equivalence)] - ["." meta] - [abstract - [monad (#+ do)]] - [control - [pipe (#+ case>)] - ["." try] - ["." exception]] - [data - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence)] - [collection - ["." array (#+ Array)]]] - ["." macro - [syntax (#+ syntax:)] - ["." code]] - [math - ["." random] - [number - ["n" nat] - ["i" int ("#\." equivalence)] - ["f" frac ("#\." equivalence)]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." type ("#\." equivalence)] + ["." meta] + [abstract + [monad (#+ do)]] + [control + [pipe (#+ case>)] + ["." try] + ["." exception]] + [data + ["." bit ("#\." equivalence)] + ["." text ("#\." equivalence)] + [collection + ["." array (#+ Array)]]] + ["." macro + [syntax (#+ syntax:)] + ["." code]] + [math + ["." random] + [number + ["n" nat] + ["i" int ("#\." equivalence)] + ["f" frac ("#\." equivalence)]]]]] + [\\library ["." /]]) (/.import: (java/util/concurrent/Callable a)) diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index b05973bb8..c8d4ea6d5 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try]] - [data - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." frac]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index b7a4ba099..36ec40e21 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)]] - [control - [pipe (#+ case>)]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [macro - ["." template]] - [math - ["." random] - [number - ["n" nat] - ["i" int] - ["f" frac]]] - ["." type ("#\." equivalence)]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [monad (#+ do)]] + [control + [pipe (#+ case>)]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [macro + ["." template]] + [math + ["." random] + [number + ["n" nat] + ["i" int] + ["f" frac]]] + ["." type ("#\." equivalence)]]] + [\\library ["." /]]) (/.import: java/lang/Object) diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux index b05973bb8..c8d4ea6d5 100644 --- a/stdlib/source/test/lux/ffi.php.lux +++ b/stdlib/source/test/lux/ffi.php.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try]] - [data - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." frac]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index b05973bb8..18aab4188 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -1,24 +1,61 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try]] - [data - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random] + [number + ["i" int]]]]] + [\\library ["." /]]) +(/.import: os + ["#::." + (#static R_OK /.Integer) + (#static W_OK /.Integer)]) + (def: #export test Test (do {! random.monad} - [] + [boolean random.bit + integer random.int + float random.frac + string (random.ascii/lower 1)] (<| (_.covering /._) - (_.test "TBD" - true)))) + (`` ($_ _.and + (~~ (template [<type> <sample>] + [(_.cover [<type>] + (exec + (: <type> <sample>) + true))] + + [/.Boolean boolean] + [/.Integer integer] + [/.Float float] + [/.String string] + )) + (_.for [/.Object] + ($_ _.and + (~~ (template [<type>] + [(_.cover [<type>] + (exec + (|> [] + (:as <type>) + (: (Ex [a] (/.Object a)))) + true))] + + [/.None] + [/.Dict] + )))) + (_.cover [/.Function /.lambda] + (exec + (|> (/.lambda [input/0] input/0) + (: /.Function) + (: (Ex [a] (/.Object a)))) + true)) + (_.cover [/.import:] + (and (i.= (os::R_OK) (os::R_OK)) + (not (i.= (os::W_OK) (os::R_OK))))) + ))))) diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index b05973bb8..c8d4ea6d5 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try]] - [data - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." frac]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux index b05973bb8..c8d4ea6d5 100644 --- a/stdlib/source/test/lux/ffi.scm.lux +++ b/stdlib/source/test/lux/ffi.scm.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try]] - [data - ["." text ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." frac]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux index a7949a62b..54b29cff7 100644 --- a/stdlib/source/test/lux/locale.lux +++ b/stdlib/source/test/lux/locale.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash]]] - [math - ["." random (#+ Random) ("#\." monad)]] - [data - ["." text ("#\." equivalence) - ["." encoding (#+ Encoding)]] - [collection - ["." list]]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash]]] + [math + ["." random (#+ Random) ("#\." monad)]] + [data + ["." text ("#\." equivalence) + ["." encoding (#+ Encoding)]] + [collection + ["." list]]]]] ["." / #_ ["#." language] ["#." territory]] - [\\ + [\\library ["." / ["." language (#+ Language)] ["." territory (#+ Territory)]]]) diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux index bce125224..39bc71aae 100644 --- a/stdlib/source/test/lux/locale/language.lux +++ b/stdlib/source/test/lux/locale/language.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [hash (#+ Hash)] - [\spec - ["$." hash]]] - [data - ["." maybe] - ["." text] - [collection - ["." set (#+ Set)] - ["." list ("#\." functor fold)]]] - [macro - ["." template]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [hash (#+ Hash)] + [\\spec + ["$." hash]]] + [data + ["." maybe] + ["." text] + [collection + ["." set (#+ Set)] + ["." list ("#\." functor fold)]]] + [macro + ["." template]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (type: Bundle @@ -178,7 +179,8 @@ ..languages/x ..languages/y ..languages/z - ..languages/etc)) + ..languages/etc + )) (def: (aggregate lens hash territories) (All [a] (-> (-> Bundle (Set a)) @@ -214,7 +216,7 @@ (list.every? (\ /.equivalence = <reference>) (`` (list (~~ (template.splice <aliases>))))))) -(def: aliases_test +(def: aliases_test/0 Test ($_ _.and ## A @@ -236,6 +238,11 @@ (!aliases /.kachin [/.jingpho]) (!aliases /.kalaallisut [/.greenlandic]) (!aliases /.khotanese [/.sakan]) + )) + +(def: aliases_test/1 + Test + ($_ _.and ## M (!aliases /.mi'kmaq [/.micmac]) ## N @@ -260,6 +267,13 @@ (!aliases /.zaza [/.dimili /.dimli /.kirdki /.kirmanjki /.zazaki]) )) +(def: aliases_test + Test + ($_ _.and + ..aliases_test/0 + ..aliases_test/1 + )) + (def: #export random (Random /.Language) (let [options (|> ..languages diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux index 61692050b..fadbe2890 100644 --- a/stdlib/source/test/lux/locale/territory.lux +++ b/stdlib/source/test/lux/locale/territory.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [hash (#+ Hash)] - [\spec - ["$." hash]]] - [data - ["." maybe] - ["." text] - [collection - ["." set (#+ Set)] - ["." list ("#\." functor fold)]]] - [macro - ["." template]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [hash (#+ Hash)] + [\\spec + ["$." hash]]] + [data + ["." maybe] + ["." text] + [collection + ["." set (#+ Set)] + ["." list ("#\." functor fold)]]] + [macro + ["." template]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (type: Bundle diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index 7864fb686..98d3ead2b 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try ("#\." functor)] - [parser - ["<.>" code]]] - [data - ["." bit ("#\." equivalence)] - ["." name] - ["." text - ["%" format (#+ format)]] - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["." nat]]] - ["." meta - ["." location]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try ("#\." functor)] + [parser + ["<.>" code]]] + [data + ["." bit ("#\." equivalence)] + ["." name] + ["." text + ["%" format (#+ format)]] + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["." nat]]] + ["." meta + ["." location]]]] + [\\library ["." / [syntax (#+ syntax:)] ["." code ("#\." equivalence)] diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index 93ed2c19b..576ccb54a 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -1,29 +1,30 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try (#+ Try)]] - [data - ["." product] - ["." text] - [collection - ["." list ("#\." functor)]]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat]]] - [meta - ["." location]] - [tool - [compiler - [language - [lux - ["." syntax]]]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try (#+ Try)]] + [data + ["." product] + ["." text] + [collection + ["." list ("#\." functor)]]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat]]] + [meta + ["." location]] + [tool + [compiler + [language + [lux + ["." syntax]]]]]]] + [\\library ["." /]]) (def: random_text diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux index d125a2af4..cbe6f0e3a 100644 --- a/stdlib/source/test/lux/macro/local.lux +++ b/stdlib/source/test/lux/macro/local.lux @@ -1,29 +1,30 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." meta] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception] - ["<>" parser - ["<.>" code]]] - [data - [text - ["%" format]] - [collection - ["." list] - [dictionary - ["." plist]]]] - ["." macro - [syntax (#+ syntax:)] - ["." code]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." meta] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception] + ["<>" parser + ["<.>" code]]] + [data + [text + ["%" format]] + [collection + ["." list] + [dictionary + ["." plist]]]] + ["." macro + [syntax (#+ syntax:)] + ["." code]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (syntax: (macro_error macro) diff --git a/stdlib/source/test/lux/macro/poly.lux b/stdlib/source/test/lux/macro/poly.lux index d15e96d3d..90c57c87c 100644 --- a/stdlib/source/test/lux/macro/poly.lux +++ b/stdlib/source/test/lux/macro/poly.lux @@ -1,7 +1,8 @@ (.module: - [lux #* - ["_" test (#+ Test)]] - [\\ + [library + [lux #* + ["_" test (#+ Test)]]] + [\\library ["." /]] ["." / #_ ["#." equivalence] diff --git a/stdlib/source/test/lux/macro/poly/equivalence.lux b/stdlib/source/test/lux/macro/poly/equivalence.lux index a43da2d84..c8cd7c7bf 100644 --- a/stdlib/source/test/lux/macro/poly/equivalence.lux +++ b/stdlib/source/test/lux/macro/poly/equivalence.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["%" data/text/format (#+ format)] - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence) - [\poly - ["." /]]] - [\spec - ["$." equivalence]]] - [data - ["." bit] - ["." maybe] - ["." text] - [collection - ["." list]]] - [macro - [poly (#+ derived:)]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]]) + [library + [lux #* + ["%" data/text/format (#+ format)] + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [equivalence (#+ Equivalence) + [\\poly + ["." /]]] + [\\spec + ["$." equivalence]]] + [data + ["." bit] + ["." maybe] + ["." text] + [collection + ["." list]]] + [macro + [poly (#+ derived:)]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]]) (type: Variant (#Case0 Bit) diff --git a/stdlib/source/test/lux/macro/poly/functor.lux b/stdlib/source/test/lux/macro/poly/functor.lux index 8d94cf852..6eebf2d55 100644 --- a/stdlib/source/test/lux/macro/poly/functor.lux +++ b/stdlib/source/test/lux/macro/poly/functor.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["%" data/text/format (#+ format)] - [abstract - [monad (#+ do)] - [functor - [\poly - ["." /]]]] - ["r" math/random (#+ Random)] - ["_" test (#+ Test)] - [control - ["." state]] - [data - ["." identity]] - [macro - [poly (#+ derived:)]]]) + [library + [lux #* + ["%" data/text/format (#+ format)] + [abstract + [monad (#+ do)] + [functor + [\\poly + ["." /]]]] + ["r" math/random (#+ Random)] + ["_" test (#+ Test)] + [control + ["." state]] + [data + ["." identity]] + [macro + [poly (#+ derived:)]]]]) (derived: maybe_functor (/.functor .Maybe)) (derived: list_functor (/.functor .List)) diff --git a/stdlib/source/test/lux/macro/poly/json.lux b/stdlib/source/test/lux/macro/poly/json.lux index 91ad9b010..e369dac92 100644 --- a/stdlib/source/test/lux/macro/poly/json.lux +++ b/stdlib/source/test/lux/macro/poly/json.lux @@ -1,48 +1,49 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." debug] - [abstract - codec - [monad (#+ do)] - ["." equivalence (#+ Equivalence) - ["poly/#" \poly]] - [\spec - ["$." equivalence] - ["$." codec]]] - [control - pipe - ["." try] - ["p" parser - ## TODO: Get rid of this import ASAP - [json (#+)]]] - [data - ["." bit] - ["." maybe] - ["." text - ["%" format (#+ format)]] - [format - [json (#+) - [\poly - ["." /]]]] - [collection - [row (#+ row)] - ["d" dictionary] - ["." list]]] - [macro - [poly (#+ derived:)]] - [type - ["." unit]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["." frac]]] - [time - ["ti" instant] - ["tda" date] - ## ["tdu" duration] - ]] + [library + [lux #* + ["_" test (#+ Test)] + ["." debug] + [abstract + codec + [monad (#+ do)] + ["." equivalence (#+ Equivalence) + ["poly/#" \\poly]] + [\\spec + ["$." equivalence] + ["$." codec]]] + [control + pipe + ["." try] + ["p" parser + ## TODO: Get rid of this import ASAP + [json (#+)]]] + [data + ["." bit] + ["." maybe] + ["." text + ["%" format (#+ format)]] + [format + [json (#+) + [\\poly + ["." /]]]] + [collection + [row (#+ row)] + ["d" dictionary] + ["." list]]] + [macro + [poly (#+ derived:)]] + [type + ["." unit]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["." frac]]] + [time + ["ti" instant] + ["tda" date] + ## ["tdu" duration] + ]]] [test [lux [time diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux index 057565f3d..35d680974 100644 --- a/stdlib/source/test/lux/macro/syntax.lux +++ b/stdlib/source/test/lux/macro/syntax.lux @@ -1,13 +1,14 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]] ["." / #_ ["#." annotations] diff --git a/stdlib/source/test/lux/macro/syntax/annotations.lux b/stdlib/source/test/lux/macro/syntax/annotations.lux index fdee0ffa5..00d71c949 100644 --- a/stdlib/source/test/lux/macro/syntax/annotations.lux +++ b/stdlib/source/test/lux/macro/syntax/annotations.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try] - [parser - ["<.>" code]]] - [data - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try] + [parser + ["<.>" code]]] + [data + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]] ["$." /// #_ ["#." code]]) diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux index 59f5c1a0b..626471c73 100644 --- a/stdlib/source/test/lux/macro/syntax/check.lux +++ b/stdlib/source/test/lux/macro/syntax/check.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try] - ["<>" parser - ["<.>" code]]] - [math - ["." random (#+ Random)]] - [macro - ["." code ("#\." equivalence)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try] + ["<>" parser + ["<.>" code]]] + [math + ["." random (#+ Random)]] + [macro + ["." code ("#\." equivalence)]]]] + [\\library ["." /]] ["$." /// #_ ["#." code]]) diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux index 555c3138e..761ba87cc 100644 --- a/stdlib/source/test/lux/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/macro/syntax/declaration.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try] - [parser - ["<.>" code]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try] + [parser + ["<.>" code]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export random diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index 48719ac17..c98b1e853 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try] - ["." exception] - ["<>" parser - ["<.>" code]]] - [math - ["." random (#+ Random)]] - [macro - ["." code ("#\." equivalence)]] - [meta - ["." location]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try] + ["." exception] + ["<>" parser + ["<.>" code]]] + [math + ["." random (#+ Random)]] + [macro + ["." code ("#\." equivalence)]] + [meta + ["." location]]]] + [\\library ["." /]] ["$."// #_ ["#." check] diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux index 10e86fd20..6e93f2e4b 100644 --- a/stdlib/source/test/lux/macro/syntax/export.lux +++ b/stdlib/source/test/lux/macro/syntax/export.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try] - [parser - ["<.>" code]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + [parser + ["<.>" code]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux index bf22a9c17..34357f79a 100644 --- a/stdlib/source/test/lux/macro/syntax/input.lux +++ b/stdlib/source/test/lux/macro/syntax/input.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try] - [parser - ["<.>" code]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try] + [parser + ["<.>" code]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]] ["$." /// #_ ["#." code]]) diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index d2ac5d86e..8ff84f36f 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - ["." try ("#\." functor)] - [parser - ["<.>" code]]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + ["." try ("#\." functor)] + [parser + ["<.>" code]]] + [math + ["." random (#+ Random)]]]] + [\\library ["." /]]) (def: #export random diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux index 12e503e33..fc1d62f11 100644 --- a/stdlib/source/test/lux/macro/template.lux +++ b/stdlib/source/test/lux/macro/template.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception]] - [data - [collection - ["." list]]] - ["." macro - [syntax (#+ syntax:)] - ["." code]] - [math - ["." random (#+ Random)] - [number - ["." nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception]] + [data + [collection + ["." list]]] + ["." macro + [syntax (#+ syntax:)] + ["." code]] + [math + ["." random (#+ Random)] + [number + ["." nat]]]]] + [\\library ["." /]]) (/.let [(!pow/2 <scalar>) diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux index fc9de2f8f..a43d63a2b 100644 --- a/stdlib/source/test/lux/math.lux +++ b/stdlib/source/test/lux/math.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [macro - ["." template]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int] - ["f" frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [macro + ["." template]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int] + ["f" frac]]]]] + [\\library ["." /]] ["." / #_ ["#." infix] diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux index 29a3cfcab..2dafd35aa 100644 --- a/stdlib/source/test/lux/math/infix.lux +++ b/stdlib/source/test/lux/math/infix.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random] - [number - ["n" nat] - ["f" frac]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random] + [number + ["n" nat] + ["f" frac]]]]] + [\\library ["." / ["." //]]]) diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux index ceb4ca33b..5ff4c46cc 100644 --- a/stdlib/source/test/lux/math/logic/continuous.lux +++ b/stdlib/source/test/lux/math/logic/continuous.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." monoid]]] - [math - ["." random] - [number - ["r" rev]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." monoid]]] + [math + ["." random] + [number + ["r" rev]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux index 3da2e4cc9..ea39da68a 100644 --- a/stdlib/source/test/lux/math/logic/fuzzy.lux +++ b/stdlib/source/test/lux/math/logic/fuzzy.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)] - [\spec - [functor - ["$." contravariant]]]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." list] - ["." set]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["r" rev]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+ Equivalence)] + [monad (#+ do)] + [\\spec + [functor + ["$." contravariant]]]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." list] + ["." set]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["r" rev]]]]] + [\\library ["." / (#+ Fuzzy) ["/#" // #_ ["#" continuous]]]]) diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index 21d451472..5322b162b 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -1,28 +1,29 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." type ("#\." equivalence)] - [abstract - [monad (#+ do)] - ["." predicate] - [\spec - ["$." equivalence] - ["$." order] - ["$." monoid] - ["$." codec]]] - [control - ["." try] - ["." exception]] - [data - ["." product] - ["." bit ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["i" int]]]] + [library + [lux #* + ["_" test (#+ Test)] + ["." type ("#\." equivalence)] + [abstract + [monad (#+ do)] + ["." predicate] + [\\spec + ["$." equivalence] + ["$." order] + ["$." monoid] + ["$." codec]]] + [control + ["." try] + ["." exception]] + [data + ["." product] + ["." bit ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["i" int]]]]] ["$." // #_ ["#" modulus]] - [\\ + [\\library ["." / ["/#" // #_ ["#" modulus]]]]) diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux index af3a3dc5b..af040b645 100644 --- a/stdlib/source/test/lux/math/modulus.lux +++ b/stdlib/source/test/lux/math/modulus.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." meta] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception]] - [math - ["." random (#+ Random)] - [number - ["i" int]]] - [macro - [syntax (#+ syntax:)] - ["." code]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." meta] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception]] + [math + ["." random (#+ Random)] + [number + ["i" int]]] + [macro + [syntax (#+ syntax:)] + ["." code]]]] + [\\library ["." /]]) (syntax: (|divisor|) diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux index 99cf72928..b13fa5cf8 100644 --- a/stdlib/source/test/lux/math/number.lux +++ b/stdlib/source/test/lux/math/number.lux @@ -1,11 +1,12 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [control - ["." try]] - [data - ["." text]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [control + ["." try]] + [data + ["." text]]]] + [\\library ["." / ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux index d32abc2c5..2670d53dc 100644 --- a/stdlib/source/test/lux/math/number/complex.lux +++ b/stdlib/source/test/lux/math/number/complex.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["%" data/text/format (#+ format)] - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." codec]]] - [data - [collection - ["." list ("#\." functor)]]] - ["." math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["%" data/text/format (#+ format)] + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." codec]]] + [data + [collection + ["." list ("#\." functor)]]] + ["." math + ["." random (#+ Random)]]]] + [\\library ["." / [// ["n" nat] diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index eb981a5b0..093511510 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["@" target] - ["." ffi] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." monoid] - ["$." codec]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["@" target] + ["." ffi] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." monoid] + ["$." codec]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / [// #* ["n" nat] diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux index 4450cf88e..4720a13b7 100644 --- a/stdlib/source/test/lux/math/number/i16.lux +++ b/stdlib/source/test/lux/math/number/i16.lux @@ -1,13 +1,14 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / ["/#" // #_ ["i" int] diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux index 8b2d0e5f2..66d65fa40 100644 --- a/stdlib/source/test/lux/math/number/i32.lux +++ b/stdlib/source/test/lux/math/number/i32.lux @@ -1,13 +1,14 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / ["/#" // #_ ["i" int] diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index 129d2bb84..942930af0 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -1,17 +1,18 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [data - ["." bit ("#\." equivalence)]] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." monoid]]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [data + ["." bit ("#\." equivalence)]] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." monoid]]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / ("\." equivalence) [// (#+ hex) ["n" nat] diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux index 1f5c7de42..c5fee1fcf 100644 --- a/stdlib/source/test/lux/math/number/i8.lux +++ b/stdlib/source/test/lux/math/number/i8.lux @@ -1,13 +1,14 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / ["/#" // #_ ["i" int] diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index f339b3ac4..47e381985 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." interval] - ["$." monoid] - ["$." codec]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." enum] + ["$." interval] + ["$." monoid] + ["$." codec]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / [// ["n" nat] diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 26a872067..ff3eb64d1 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." interval] - ["$." monoid] - ["$." codec]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." enum] + ["$." interval] + ["$." monoid] + ["$." codec]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random]]]] + [\\library ["." / [// ["f" frac]]]]) diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index 8e8aeb0d0..838e8ca81 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." monoid] - ["$." codec]]] - [data - ["." bit ("#\." equivalence)] - ["." maybe ("#\." functor)]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." monoid] + ["$." codec]]] + [data + ["." bit ("#\." equivalence)] + ["." maybe ("#\." functor)]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / [// ["n" nat ("#\." equivalence)]]]]) diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index e4d6b81f7..70ab24c61 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." interval] - ["$." monoid] - ["$." codec]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." enum] + ["$." interval] + ["$." monoid] + ["$." codec]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random]]]] + [\\library ["." / [// (#+ hex) ["n" nat] diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index b8aa1ff8b..3b3bf1ae2 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -1,33 +1,34 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." type ("#\." equivalence)] - [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - ["." try (#+ Try) ("#\." functor)]] - [data - ["." product] - ["." maybe] - ["." bit ("#\." equivalence)] - ["." name ("#\." equivalence)] - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." list ("#\." functor monoid)] - ["." set]]] - [meta - ["." location]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." type ("#\." equivalence)] + [abstract + [equivalence (#+ Equivalence)] + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + ["." try (#+ Try) ("#\." functor)]] + [data + ["." product] + ["." maybe] + ["." bit ("#\." equivalence)] + ["." name ("#\." equivalence)] + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." list ("#\." functor monoid)] + ["." set]]] + [meta + ["." location]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]] ["." / #_ ["#." annotation] diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux index 791e5759a..88ffb18d0 100644 --- a/stdlib/source/test/lux/meta/annotation.lux +++ b/stdlib/source/test/lux/meta/annotation.lux @@ -1,31 +1,32 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try (#+ Try)]] - [data - ["." product] - ["." bit] - ["." name ("#\." equivalence)] - ["." text] - [collection - ["." list ("#\." functor)]]] - [macro - ["." code ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["." nat] - ["." int] - ["." rev] - ["." frac]]]] - [\\ - ["." /]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try (#+ Try)]] + [data + ["." product] + ["." bit] + ["." name ("#\." equivalence)] + ["." text] + [collection + ["." list ("#\." functor)]]] + [macro + ["." code ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["." nat] + ["." int] + ["." rev] + ["." frac]]]]] [/// [macro - ["_." code]]]) + ["_." code]]] + [\\library + ["." /]]) (def: random_key (Random Name) diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux index 6e005bd5f..2aaa797a0 100644 --- a/stdlib/source/test/lux/meta/location.lux +++ b/stdlib/source/test/lux/meta/location.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence]]] - [data - ["." text]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence]]] + [data + ["." text]] + [math + ["." random (#+ Random)]]]] + [\\library ["." /]] ["$." /// #_ [macro diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index 2da869ab5..ec605af3b 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io] - ["." try] - ["<>" parser - ["<.>" code] - ["<.>" cli]]] - [data - ["." text] - [collection - ["." list]]] - [macro - [syntax (#+ syntax:)]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." io] + ["." try] + ["<>" parser + ["<.>" code] + ["<.>" cli]]] + [data + ["." text] + [collection + ["." list]]] + [macro + [syntax (#+ syntax:)]] + [math + ["." random]]]] + [\\library ["." /]]) (syntax: (actual_program {actual_program (<| <code>.form diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux index 3158b76ee..e9c2594fc 100644 --- a/stdlib/source/test/lux/target.lux +++ b/stdlib/source/test/lux/target.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [data - ["." text] - [collection - ["." list] - ["." set (#+ Set)]]] - [math - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [data + ["." text] + [collection + ["." list] + ["." set (#+ Set)]]] + [math + [number + ["n" nat]]]]] + [\\library ["." /]]) (with_expansions [<targets> (as_is /.old diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index 218f3df42..3486821ce 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -1,38 +1,39 @@ (.module: - [lux (#- Type type primitive int) - ["." ffi (#+ import:)] - ["@" target] - [abstract - ["." monad (#+ do)]] - [control - ["." function] - ["." io] - ["." try] - [concurrency - ["." atom]]] - [data - ["." maybe] - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - ["." format #_ - ["#" binary]] - [collection - ["." array] - ["." dictionary] - ["." row] - ["." set] - ["." list ("#\." functor)]]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat] - ["i" int] - ["f" frac] - ["." i32 (#+ I32)] - ["." i64]]] - ["_" test (#+ Test)]] - [\\ + [library + [lux (#- Type type primitive int) + ["." ffi (#+ import:)] + ["@" target] + [abstract + ["." monad (#+ do)]] + [control + ["." function] + ["." io] + ["." try] + [concurrency + ["." atom]]] + [data + ["." maybe] + ["." bit ("#\." equivalence)] + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + ["." format #_ + ["#" binary]] + [collection + ["." array] + ["." dictionary] + ["." row] + ["." set] + ["." list ("#\." functor)]]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat] + ["i" int] + ["f" frac] + ["." i32 (#+ I32)] + ["." i64]]] + ["_" test (#+ Test)]]] + [\\library ["." / #_ ["#." loader (#+ Library)] ["#." version] diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index ede26191c..9c3e0f506 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - [abstract - [monad (#+ do)]] - [control - ["." io] - ["." exception] - [concurrency - ["." promise] - ["." atom (#+ Atom)]]] - [data - ["." text ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + [abstract + [monad (#+ do)]] + [control + ["." io] + ["." exception] + [concurrency + ["." promise] + ["." atom (#+ Atom)]]] + [data + ["." text ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: (verify expected_message/0 expected_message/1 successes failures [tally message]) diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux index 6b321d1ce..17b17c61a 100644 --- a/stdlib/source/test/lux/time.lux +++ b/stdlib/source/test/lux/time.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - [pipe (#+ case>)] - ["." try ("#\." functor)] - ["." exception] - [parser - ["<.>" text]]] - [data - ["." text - ["%" format (#+ format)]]] - [math - ["." random] - [number - ["n" nat]]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + [pipe (#+ case>)] + ["." try ("#\." functor)] + ["." exception] + [parser + ["<.>" text]]] + [data + ["." text + ["%" format (#+ format)]]] + [math + ["." random] + [number + ["n" nat]]]]] ["." / #_ ["#." date] ["#." day] @@ -28,7 +29,7 @@ ["#." instant] ["#." month] ["#." year]] - [\\ + [\\library ["." / ["." duration]]]) diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux index fdf78d535..cb9d46978 100644 --- a/stdlib/source/test/lux/time/date.lux +++ b/stdlib/source/test/lux/time/date.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - ["." try ("#\." functor)] - ["." exception] - [parser - ["<.>" text]]] - [data - [text - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + ["." try ("#\." functor)] + ["." exception] + [parser + ["<.>" text]]] + [data + [text + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 3245c69b6..d2499309b 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - ["." try] - ["." exception]] - [math - ["." random (#+ Random) ("#\." monad)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + ["." try] + ["." exception]] + [math + ["." random (#+ Random) ("#\." monad)]]]] + [\\library ["." /]]) (def: #export random diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux index 7ca984beb..a3014cc1a 100644 --- a/stdlib/source/test/lux/time/duration.lux +++ b/stdlib/source/test/lux/time/duration.lux @@ -1,22 +1,23 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." monoid] - ["$." codec]]] - [data - ["." bit ("#\." equivalence)]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." monoid] + ["$." codec]]] + [data + ["." bit ("#\." equivalence)]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux index 80a43472b..6fef2f55e 100644 --- a/stdlib/source/test/lux/time/instant.lux +++ b/stdlib/source/test/lux/time/instant.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - ["." function] - ["." try] - ["." io]] - [data - [collection - ["." list ("#\." fold)]]] - [math - ["." random]] - [time - ["." duration (#+ Duration)] - ["." day (#+ Day) ("#\." enum)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + ["." function] + ["." try] + ["." io]] + [data + [collection + ["." list ("#\." fold)]]] + [math + ["." random]] + [time + ["." duration (#+ Duration)] + ["." day (#+ Day) ("#\." enum)]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index dac255f2c..202048cac 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - ["." predicate] - [\spec - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." codec]]] - [control - ["." try ("#\." functor)] - ["." exception]] - [data - [collection - ["." set] - ["." list ("#\." functor fold)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + ["." predicate] + [\\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." enum] + ["$." codec]]] + [control + ["." try ("#\." functor)] + ["." exception]] + [data + [collection + ["." set] + ["." list ("#\." functor fold)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / [// ["." duration]]]]) diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux index 97c416c11..ba364eaab 100644 --- a/stdlib/source/test/lux/time/year.lux +++ b/stdlib/source/test/lux/time/year.lux @@ -1,25 +1,26 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." order] - ["$." codec]]] - [control - ["." try] - ["." exception]] - [data - ["." bit ("#\." equivalence)] - [text - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." codec]]] + [control + ["." try] + ["." exception]] + [data + ["." bit ("#\." equivalence)] + [text + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." / ["/#" // ["#." duration] diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux index 5452fbb65..ebda4eb93 100644 --- a/stdlib/source/test/lux/tool.lux +++ b/stdlib/source/test/lux/tool.lux @@ -1,6 +1,7 @@ (.module: - [lux #* - ["_" test (#+ Test)]] + [library + [lux #* + ["_" test (#+ Test)]]] ["." / #_ [compiler [language diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index cae8a8773..3a01acaab 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - ["." monad (#+ do)] - [\spec - ["$." equivalence]]] - [control - [pipe (#+ case>)]] - [data - ["." maybe] - ["." text ("#\." equivalence)] - [collection - ["." list] - ["." array]]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + ["." monad (#+ do)] + [\\spec + ["$." equivalence]]] + [control + [pipe (#+ case>)]] + [data + ["." maybe] + ["." text ("#\." equivalence)] + [collection + ["." list] + ["." array]]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat]]]]] + [\\library ["." / ("#\." equivalence)]] ["." / #_ ["#." abstract] @@ -192,12 +193,31 @@ example (List a))))) - (do {! random.monad} + (do random.monad [sample random.nat] (_.cover [/.:log!] (exec (/.:log! sample) true))) + (do random.monad + [left random.nat + right (random.ascii/lower 1) + #let [left,right [left right]]] + (_.cover [/.:cast] + (|> left,right + (/.:cast [l r] (& l r) (| l r)) + (/.:cast [l r] (| l r) (& l r)) + (is? left,right)))) + (do random.monad + [expected random.nat] + (_.cover [/.:share] + (n.= expected + (/.:share [a] + (I64 a) + expected + + (I64 a) + (.i64 expected))))) /abstract.test /check.test diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux index a023e1350..47d478f3f 100644 --- a/stdlib/source/test/lux/type/abstract.lux +++ b/stdlib/source/test/lux/type/abstract.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." meta] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception]] - [data - ["." text ("#\." equivalence)]] - ["." macro - [syntax (#+ syntax:)] - ["." code] - ["." template]] - ["." math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." meta] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception]] + [data + ["." text ("#\." equivalence)]] + ["." macro + [syntax (#+ syntax:)] + ["." code] + ["." template]] + ["." math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (template.with_locals [g!Foo g!Bar] diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index b9f0f570f..949009d5b 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -1,32 +1,33 @@ (.module: - [lux (#- type) - ["_" test (#+ Test)] - [abstract - ["." monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [control - [pipe (#+ case>)] - ["." function] - ["." try] - ["." exception (#+ exception:)]] - [data - ["." bit ("#\." equivalence)] - ["." product] - ["." maybe] - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." list ("#\." functor monoid)] - ["." set]]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat]]] - ["." type ("#\." equivalence)]] - [\\ + [library + [lux (#- type) + ["_" test (#+ Test)] + [abstract + ["." monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [control + [pipe (#+ case>)] + ["." function] + ["." try] + ["." exception (#+ exception:)]] + [data + ["." bit ("#\." equivalence)] + ["." product] + ["." maybe] + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." list ("#\." functor monoid)] + ["." set]]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat]]] + ["." type ("#\." equivalence)]]] + [\\library ["." /]]) ## TODO: Remove the following 3 definitions ASAP. //.type already exists... diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux index f9b5472f4..0c743cabf 100644 --- a/stdlib/source/test/lux/type/dynamic.lux +++ b/stdlib/source/test/lux/type/dynamic.lux @@ -1,19 +1,20 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try] - ["." exception]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try] + ["." exception]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: #export test diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index 0387c1dd2..bf6db29e6 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [equivalence (#+)] - [functor (#+)] - [monoid (#+)] - [monad (#+ do)] - ["." enum]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [equivalence (#+)] + [functor (#+)] + [monoid (#+)] + [monad (#+ do)] + ["." enum]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (/.implicit: [n.multiplication]) diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index 962d2d2aa..11d711ac7 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - ["." monad (#+ do)] - [\spec - ["$." equivalence]]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat ("#\." equivalence)]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + ["." monad (#+ do)] + [\\spec + ["$." equivalence]]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat ("#\." equivalence)]]]]] + [\\library ["." /]]) (def: #export (random class super) diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index 1e4e4da3b..6ee53edcd 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [predicate (#+ Predicate)] - [monad (#+ do)]] - [data - ["." maybe ("#\." monad)] - [collection - ["." list ("#\." functor)]]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [predicate (#+ Predicate)] + [monad (#+ do)]] + [data + ["." maybe ("#\." monad)] + [collection + ["." list ("#\." functor)]]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." /]]) (def: _refiner diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux index e5061dc1e..859e8ca3f 100644 --- a/stdlib/source/test/lux/type/resource.lux +++ b/stdlib/source/test/lux/type/resource.lux @@ -1,27 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." meta] - [abstract - ["." monad - [indexed (#+ do)]]] - [control - ["." io] - ["." try] - ["." exception (#+ Exception)] - [concurrency - ["." promise]] - [parser - ["<.>" code]]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - ["." macro - [syntax (#+ syntax:)] - ["." code]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." meta] + [abstract + ["." monad + [indexed (#+ do)]]] + [control + ["." io] + ["." try] + ["." exception (#+ Exception)] + [concurrency + ["." promise]] + [parser + ["<.>" code]]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + ["." macro + [syntax (#+ syntax:)] + ["." code]] + [math + ["." random]]]] + [\\library ["." / (#+ Res)]]) (def: pure diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux index aecce2374..6789d7b65 100644 --- a/stdlib/source/test/lux/type/unit.lux +++ b/stdlib/source/test/lux/type/unit.lux @@ -1,24 +1,25 @@ (.module: - [lux #* - ["_" test (#+ Test)] - ["." debug] - ["." meta] - [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - [\spec - ["$." equivalence] - ["$." order] - ["$." enum]]] - [macro - [syntax (#+ syntax:)] - ["." code]] - [math - ["." random (#+ Random)] - [number - ["i" int] - ["." ratio ("#\." equivalence)]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + ["." debug] + ["." meta] + [abstract + [monad (#+ do)] + [equivalence (#+ Equivalence)] + [\\spec + ["$." equivalence] + ["$." order] + ["$." enum]]] + [macro + [syntax (#+ syntax:)] + ["." code]] + [math + ["." random (#+ Random)] + [number + ["i" int] + ["." ratio ("#\." equivalence)]]]]] + [\\library ["." /]]) (template [<name> <type> <unit>] diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux index d8f5aebf2..b0987e833 100644 --- a/stdlib/source/test/lux/type/variance.lux +++ b/stdlib/source/test/lux/type/variance.lux @@ -1,11 +1,12 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [math + ["." random (#+ Random)]]]] + [\\library ["." / ["/#" // #_ ["#." check]]]]) diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux index c5ea26a6f..795b3e55c 100644 --- a/stdlib/source/test/lux/world.lux +++ b/stdlib/source/test/lux/world.lux @@ -1,6 +1,7 @@ (.module: - [lux #* - ["_" test (#+ Test)]] + [library + [lux #* + ["_" test (#+ Test)]]] ["." / #_ ["#." file] ["#." shell] diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index b153e84e9..055ee1466 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -1,18 +1,19 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] - [data - ["." text ("#\." equivalence) - ["%" format (#+ format)]]] - [math - ["." random]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." io] + ["." try (#+ Try)] + ["." exception (#+ exception:)]] + [data + ["." text ("#\." equivalence) + ["%" format (#+ format)]]] + [math + ["." random]]]] + [\\library ["." /]] [\\spec ["$." /]]) diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 0e5c61c8f..1074749f4 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -1,15 +1,16 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." io]] - [math - ["." random]]] + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." io]] + [math + ["." random]]]] ["." / #_ ["#." watch]] - [\\ + [\\library ["." /]] [\\spec ["$." /]]) diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index 9b9937a25..a4a8748ed 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -1,23 +1,24 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [predicate (#+ Predicate)] - [monad (#+ do)]] - [control - ["." try (#+ Try)] - ["." exception] - [concurrency - ["." promise (#+ Promise)]]] - [data - ["." binary (#+ Binary) ("#\." equivalence)] - ["." text ("#\." equivalence) - ["%" format (#+ format)]] - [collection - ["." list]]] - [math - ["." random (#+ Random) ("#\." monad)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [predicate (#+ Predicate)] + [monad (#+ do)]] + [control + ["." try (#+ Try)] + ["." exception] + [concurrency + ["." promise (#+ Promise)]]] + [data + ["." binary (#+ Binary) ("#\." equivalence)] + ["." text ("#\." equivalence) + ["%" format (#+ format)]] + [collection + ["." list]]] + [math + ["." random (#+ Random) ("#\." monad)]]]] + [\\library ["." / ["/#" //]]] [//// diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index b58bff96f..f75907fad 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [data - ["." bit ("#\." equivalence)] - ["." maybe] - [collection - ["." list] - ["." set (#+ Set)]]] - [macro - ["." template]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [data + ["." bit ("#\." equivalence)] + ["." maybe] + [collection + ["." list] + ["." set (#+ Set)]]] + [macro + ["." template]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (with_expansions [<groups> (as_is [keys/commands diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index 612d599ff..c784d9cbe 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -1,25 +1,28 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - [pipe (#+ do>)] - ["." io (#+ IO)] - ["." try] - ["." function]] - [data - ["." binary] - ["." product] - [text - ["%" format (#+ format)] - [encoding - ["." utf8]]]] - [math - ["." random (#+ Random)] - [number - ["." nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + [pipe (#+ do>)] + ["." io (#+ IO)] + ["." try] + ["." function]] + [data + ["." binary] + ["." product] + ["." text + ["%" format (#+ format)] + [encoding + ["." utf8]]] + [collection + ["." dictionary]]] + [math + ["." random (#+ Random)] + [number + ["." nat]]]]] + [\\library ["." / ["/#" // ["#." status]]]]) @@ -28,7 +31,7 @@ Test (<| (_.covering /._) (_.for [/.Client]) - (do random.monad + (do {! random.monad} [on_post random.nat on_get random.nat on_put random.nat @@ -38,6 +41,8 @@ on_connect random.nat on_options random.nat on_trace random.nat + num_headers (\ ! map (nat.% 10) random.nat) + headers (random.dictionary text.hash num_headers (random.ascii/lower 3) (random.ascii/lower 3)) #let [mock (: (/.Client IO) (implementation (def: (request method url headers data) @@ -81,4 +86,10 @@ [/.options on_options] [/.trace on_trace] )) + (_.cover [/.headers] + (nat.= (dictionary.size headers) + (|> headers + dictionary.entries + /.headers + dictionary.size))) ))))) diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux index 84fbf4b2c..b051d8e8e 100644 --- a/stdlib/source/test/lux/world/net/http/status.lux +++ b/stdlib/source/test/lux/world/net/http/status.lux @@ -1,16 +1,17 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [data - [collection - ["." list] - ["." set (#+ Set)]]] - [macro - ["." template]] - [math - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [data + [collection + ["." list] + ["." set (#+ Set)]]] + [macro + ["." template]] + [math + [number + ["n" nat]]]]] + [\\library ["." / ["/#" //]]]) diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index ebeec3a65..1cfcd0ae8 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -1,21 +1,22 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [\spec - ["$." equivalence] - ["$." hash]]] - [data - ["." maybe] - [collection - ["." list] - ["." set (#+ Set)]]] - [math - ["." random (#+ Random)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [\\spec + ["$." equivalence] + ["$." hash]]] + [data + ["." maybe] + [collection + ["." list] + ["." set (#+ Set)]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." /]]) (with_expansions [<resolutions> (as_is /.svga diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index d91d7fc62..fafda5f91 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -1,25 +1,36 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - [parser - [environment (#+ Environment)]]] - [data - ["." text]] - [math - ["." random (#+ Random)]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + [pipe (#+ case>)] + ["." io] + ["." try] + ["." exception] + [parser + [environment (#+ Environment)]]] + [data + ["." maybe ("#\." functor)] + ["." text ("#\." equivalence)] + [collection + ["." dictionary] + ["." list]]] + [math + ["." random (#+ Random)] + [number + ["n" nat]]]]] + [\\library ["." / [// [file (#+ Path)]]]] [\\spec ["$." /]]) -(def: environment - (Random Environment) - (random.dictionary text.hash 5 +(def: (environment env_size) + (-> Nat (Random Environment)) + (random.dictionary text.hash env_size (random.ascii/alpha 5) (random.ascii/alpha 5))) @@ -30,11 +41,38 @@ (def: #export test Test (<| (_.covering /._) - (do random.monad - [environment ..environment + (do {! random.monad} + [env_size (\ ! map (|>> (n.% 10) inc) random.nat) + environment (..environment env_size) home ..path - directory ..path] + directory ..path + + unknown (random.ascii/alpha 1)] ($_ _.and (_.for [/.mock /.async] ($/.spec (/.async (/.mock environment home directory)))) + (_.cover [/.environment] + (let [program (/.mock environment home directory)] + (io.run + (do io.monad + [actual (/.environment io.monad program)] + (wrap (and (n.= (dictionary.size environment) + (dictionary.size actual)) + (|> actual + dictionary.entries + (list.every? (function (_ [key value]) + (|> environment + (dictionary.get key) + (maybe\map (text\= value)) + (maybe.default false))))))))))) + (_.cover [/.unknown_environment_variable] + (let [program (/.mock environment home directory)] + (|> unknown + (\ program variable) + io.run + (case> (#try.Success _) + false + + (#try.Failure error) + (exception.match? /.unknown_environment_variable error))))) )))) diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 4cbdb27ed..8d117eefa 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -1,26 +1,27 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)]] - [control - ["." try (#+ Try)] - ["." exception (#+ exception:)] - ["." io (#+ IO)] - [concurrency - ["." promise (#+ Promise)]] - [parser - ["." environment (#+ Environment)]]] - [data - ["." text ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random] - [number - ["n" nat] - ["i" int]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)]] + [control + ["." try (#+ Try)] + ["." exception (#+ exception:)] + ["." io (#+ IO)] + [concurrency + ["." promise (#+ Promise)]] + [parser + ["." environment (#+ Environment)]]] + [data + ["." text ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random] + [number + ["n" nat] + ["i" int]]]]] + [\\library ["." / [// [file (#+ Path)]]]] |