From b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 15 Mar 2022 22:45:49 -0400
Subject: Leaner syntax for library/lux/control/exception.report

---
 .../source/program/aedifex/artifact/time/date.lux  | 52 +++++++++++-----------
 1 file changed, 26 insertions(+), 26 deletions(-)

(limited to 'stdlib/source/program/aedifex/artifact/time/date.lux')

diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index acb108a35..8189c6978 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -1,27 +1,27 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [monad {"+" do}]
-     [equivalence {"+" Equivalence}]]
-    [control
-     ["[0]" try {"+" Try}]
-     ["[0]" exception {"+" exception:}]
-     ["<>" parser
-      ["<[0]>" text {"+" Parser}]]]
-    [data
-     [text
-      ["%" format]]]
-    [math
-     [number
-      ["n" nat]
-      ["i" int]]]
-    [time
-     ["[0]" date ("[1]#[0]" equivalence)]
-     ["[0]" year]
-     ["[0]" month]]
-    [type
-     abstract]]])
+ [library
+  [lux "*"
+   [abstract
+    [monad {"+" do}]
+    [equivalence {"+" Equivalence}]]
+   [control
+    ["[0]" try {"+" Try}]
+    ["[0]" exception {"+" exception:}]
+    ["<>" parser
+     ["<[0]>" text {"+" Parser}]]]
+   [data
+    [text
+     ["%" format]]]
+   [math
+    [number
+     ["n" nat]
+     ["i" int]]]
+   [time
+    ["[0]" date ("[1]#[0]" equivalence)]
+    ["[0]" year]
+    ["[0]" month]]
+   [type
+    abstract]]])
 
 (def: .public (pad value)
   (-> Nat Text)
@@ -34,9 +34,9 @@
 
 (exception: .public (year_is_out_of_range [year year.Year])
   (exception.report
-   ["Minimum" (%.int ..min_year)]
-   ["Maximum" (%.int ..max_year)]
-   ["Year" (%.int (year.value year))]))
+   "Minimum" (%.int ..min_year)
+   "Maximum" (%.int ..max_year)
+   "Year" (%.int (year.value year))))
 
 (abstract: .public Date
   date.Date
-- 
cgit v1.2.3