diff options
| author | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
| commit | b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch) | |
| tree | 26db4a468c2f75c64ba16e8b7dbf20f135d369fc /stdlib/source/program/aedifex.lux | |
| parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) | |
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'stdlib/source/program/aedifex.lux')
| -rw-r--r-- | stdlib/source/program/aedifex.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index 191a46ec5..a86e634a2 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -95,10 +95,10 @@ (exception: (cannot_find_repository [repository Text options (Dictionary Text Address)]) (exception.report - ["Repository" (%.text repository)] - ["Options" (exception.listing (function (_ [name repo]) - (format (%.text name) " := " (%.text repo))) - (dictionary.entries options))])) + "Repository" (%.text repository) + "Options" (exception.listing (function (_ [name repo]) + (format (%.text name) " := " (%.text repo))) + (dictionary.entries options)))) (def: succeed! (IO Any) |