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.

---
 lux-jvm/source/program.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lux-jvm/source/program.lux')

diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
index 242d0553e..ac4da1255 100644
--- a/lux-jvm/source/program.lux
+++ b/lux-jvm/source/program.lux
@@ -134,7 +134,7 @@
         java/lang/Object (jvm/type.class "java.lang.Object" (list))
         <java/lang/Object> (jvm/type.array java/lang/Object)
 
-        jvm_type (: (All [c] (-> (jvm/type.Type c) Synthesis))
+        jvm_type (: (All (_ c) (-> (jvm/type.Type c) Synthesis))
                     (|>> jvm/type.format
                          $.text))
         class_type (: (-> Text Synthesis)
@@ -170,7 +170,7 @@
                                            (class_type "java.lang.Class")
                                            object
                                            (list)))))
-        input (: (All [c] (-> (jvm/type.Type c) Synthesis Synthesis))
+        input (: (All (_ c) (-> (jvm/type.Type c) Synthesis Synthesis))
                  (function (_ value_type value)
                    ($.tuple (list (jvm_type value_type) value))))
         
-- 
cgit v1.2.3