diff options
author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/program/aedifex/project.lux | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/project.lux | 16 |
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)) |