From 5d44577c3849a045052dc1c9f0dd7deddd032120 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 1 Jun 2022 21:52:34 -0400 Subject: Extensible import syntax: Part 1 --- stdlib/source/test/aedifex/package.lux | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'stdlib/source/test/aedifex/package.lux') diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 4b95cd250..84e3005c5 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -14,11 +14,11 @@ [encoding ["[0]" utf8]]] [format - ["[0]" xml {"+" XML}]] + ["[0]" xml (.only XML)]] [collection - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world -- cgit v1.2.3