diff options
| author | Eduardo Julian | 2021-07-14 13:59:02 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-14 13:59:02 -0400 |
| commit | d6c48ae6a8b58f5974133170863a31c70f0123d1 (patch) | |
| tree | 008eb88328009e2f3f07002f35c0378a8a137ed0 /stdlib/source/test/lux/macro/poly/equivalence.lux | |
| parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
Normalized the hierarchy of the standard library modules.
Diffstat (limited to 'stdlib/source/test/lux/macro/poly/equivalence.lux')
| -rw-r--r-- | stdlib/source/test/lux/macro/poly/equivalence.lux | 47 |
1 files changed, 24 insertions, 23 deletions
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) |