aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/project.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-08-08 17:56:15 -0400
committerEduardo Julian2021-08-08 17:56:15 -0400
commitf621a133e6e0a516c0586270fea8eaffb4829d82 (patch)
tree399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/program/aedifex/project.lux
parent17e7566be51df5e428a6b10e6469201a8a9468da (diff)
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/program/aedifex/project.lux')
-rw-r--r--stdlib/source/program/aedifex/project.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux
index f8fb0334d..30c4d9538 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -18,21 +18,21 @@
["." // #_
["#" profile (#+ Name Profile)]])
-(def: #export file
+(def: .public file
"project.lux")
-(type: #export Project
+(type: .public Project
(Dictionary Name Profile))
-(def: #export (project name profile)
+(def: .public (project name profile)
(-> Name Profile Project)
(dictionary.of_list text.hash (list [name profile])))
-(def: #export equivalence
+(def: .public equivalence
(Equivalence Project)
(dictionary.equivalence //.equivalence))
-(implementation: #export monoid
+(implementation: .public monoid
(Monoid Project)
(def: identity
@@ -41,11 +41,11 @@
(def: compose
(dictionary.merged_with (\ //.monoid compose))))
-(exception: #export (unknown_profile {name Name})
+(exception: .public (unknown_profile {name Name})
(exception.report
["Name" (%.text name)]))
-(exception: #export (circular_dependency {dependee Name} {dependent Name})
+(exception: .public (circular_dependency {dependee Name} {dependent Name})
(exception.report
["Dependent" (%.text dependent)]
["Dependee" (%.text dependee)]))
@@ -71,6 +71,6 @@
#.None
(exception.except ..unknown_profile [name])))
-(def: #export (profile name project)
+(def: .public (profile name project)
(-> Name Project (Try Profile))
(..profile' (set.empty text.hash) project name))