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/repository/remote.lux | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/test/aedifex/repository/remote.lux') diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index c20722d4c..79c4987a0 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" io {"+" IO}] + ["[0]" io (.only IO)] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" monad)] ["[0]" exception] @@ -13,15 +13,15 @@ [data ["[0]" binary ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [world - [net {"+" URL} + [net (.only URL) ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] -- cgit v1.2.3