From c5b61d2f46ac19bf511197f3a537c4be0f47df33 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 27 Aug 2021 20:59:34 -0400
Subject: Updates to the Ruby compiler.

---
 stdlib/source/program/aedifex/format.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/program/aedifex/format.lux')

diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index d36d597b3..1933d2be0 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -68,7 +68,7 @@
   (dictionary.empty text.hash))
 
 (def: (on_maybe field value format aggregate)
-  (All [a]
+  (All (_ a)
     (-> Text (Maybe a) (Format a) Aggregate Aggregate))
   (case value
     #.None
@@ -78,7 +78,7 @@
     (dictionary.has field (format value) aggregate)))
 
 (def: (on_list field value format aggregate)
-  (All [a]
+  (All (_ a)
     (-> Text (List a) (Format a) Aggregate Aggregate))
   (case value
     #.End
@@ -88,12 +88,12 @@
     (dictionary.has field (` [(~+ (list\each format value))]) aggregate)))
 
 (def: (on_set field value format aggregate)
-  (All [a]
+  (All (_ a)
     (-> Text (Set a) (Format a) Aggregate Aggregate))
   (..on_list field (set.list value) format aggregate))
 
 (def: (on_dictionary field value key_format value_format aggregate)
-  (All [k v]
+  (All (_ k v)
     (-> Text (Dictionary k v) (Format k) (Format v) Aggregate Aggregate))
   (if (dictionary.empty? value)
     aggregate
-- 
cgit v1.2.3