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/test/aedifex/profile.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/test/aedifex/profile.lux')

diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 92d755290..39aaa4fa3 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -72,19 +72,19 @@
   ..developer)
 
 (def: (list_of random)
-  (All [a] (-> (Random a) (Random (List a))))
+  (All (_ a) (-> (Random a) (Random (List a))))
   (do {! random.monad}
     [size (\ ! each (n.% 5) random.nat)]
     (random.list size random)))
 
 (def: (set_of hash random)
-  (All [a] (-> (Hash a) (Random a) (Random (Set a))))
+  (All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
   (\ random.functor each
      (set.of_list hash)
      (..list_of random)))
 
 (def: (dictionary_of key_hash key_random value_random)
-  (All [k v] (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
+  (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
   (\ random.functor each
      (dictionary.of_list key_hash)
      (..list_of (random.and key_random value_random))))
-- 
cgit v1.2.3