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/profile.lux | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'stdlib/source/test/aedifex/profile.lux') diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 8bccf4459..7dd2981bf 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [hash {"+" Hash}] + [monad (.only do)] + [hash (.only Hash)] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -15,10 +15,10 @@ [data ["[0]" text ("[1]#[0]" equivalence)] [collection - ["[0]" set {"+" Set}] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" set (.only Set)] + ["[0]" dictionary (.only Dictionary)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [tool @@ -34,10 +34,10 @@ ["[0]" / ["/[1]" // "_" ["[1][0]" runtime] - ["[1][0]" dependency {"+" Dependency}] + ["[1][0]" dependency (.only Dependency)] ["[1][0]" format] [repository - [remote {"+" Address}]]]]]) + [remote (.only Address)]]]]]) (def: distribution (Random /.Distribution) -- cgit v1.2.3