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/parser.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index de27a0ee8..be05cdda9 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -38,13 +38,13 @@
   (random.ascii/alpha 1))
 
 (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: (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