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/program/aedifex/project.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'stdlib/source/program/aedifex/project.lux') diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 71a9a0381..a1f43c7b8 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -2,21 +2,21 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [monoid {"+" Monoid}] - ["[0]" monad {"+" do}]] + [equivalence (.only Equivalence)] + [monoid (.only Monoid)] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}] - ["[0]" set {"+" Set}] + ["[0]" dictionary (.only Dictionary)] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" mix)]]]]] ["[0]" // "_" - ["[1]" profile {"+" Name Profile}]]) + ["[1]" profile (.only Name Profile)]]) (def: .public file "project.lux") -- cgit v1.2.3