diff options
| author | Eduardo Julian | 2021-08-01 03:36:11 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-01 03:36:11 -0400 |
| commit | bcd70df3568d71f14763959f454c15d8164e2d15 (patch) | |
| tree | 2ec5fa437d008af01b8e3887f532a2b6064cddb5 /stdlib/source/program/aedifex/project.lux | |
| parent | fa320d22d0d7888feddcabe43a2bc9f1e0335032 (diff) | |
Even more renamings.
Diffstat (limited to 'stdlib/source/program/aedifex/project.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/project.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 9d3574bd1..f8fb0334d 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -36,10 +36,10 @@ (Monoid Project) (def: identity - (dictionary.new text.hash)) + (dictionary.empty text.hash)) (def: compose - (dictionary.merge_with (\ //.monoid compose)))) + (dictionary.merged_with (\ //.monoid compose)))) (exception: #export (unknown_profile {name Name}) (exception.report @@ -73,4 +73,4 @@ (def: #export (profile name project) (-> Name Project (Try Profile)) - (..profile' (set.new text.hash) project name)) + (..profile' (set.empty text.hash) project name)) |