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

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

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index df0eb2f09..b7fb2feb5 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -91,13 +91,11 @@
                              /locale.test
                              /macro.test
                              /math.test
-                             
                              /meta.test
                              /program.test
                              /static.test
                              /target.test
                              /test.test
-
                              /time.test
                              ... /tool.test
                              /type.test
@@ -233,7 +231,7 @@
       return)))
 
 (/.implementation: (global_returner value)
-  (All [a] (-> a (Returner a)))
+  (All (_ a) (-> a (Returner a)))
 
   (def: (return _)
     value))
@@ -861,24 +859,26 @@
                            (function (_ _)
                              (: /.Int (undefined))))
                         true)))
-        (_.cover [/.All]
-                 (let [identity (: (/.All [a] (-> a a))
-                                   (|>>))]
-                   (and (exec
-                          (: Nat
-                             (identity left))
-                          true)
-                        (exec
-                          (: Text
-                             (identity right))
-                          true))))
-        (_.cover [/.Ex]
-                 (let [hide (: (/.Ex [a] (-> Nat a))
-                               (|>>))]
-                   (exec
-                     (: /.Any
-                        (hide left))
-                     true)))
+        (_.for [/.__adjusted_quantified_type__]
+               ($_ _.and
+                   (_.cover [/.All]
+                            (let [identity (: (/.All (_ a) (-> a a))
+                                              (|>>))]
+                              (and (exec
+                                     (: Nat
+                                        (identity left))
+                                     true)
+                                   (exec
+                                     (: Text
+                                        (identity right))
+                                     true))))
+                   (_.cover [/.Ex]
+                            (let [hide (: (/.Ex (_ a) (-> Nat a))
+                                          (|>>))]
+                              (exec
+                                (: /.Any
+                                   (hide left))
+                                true)))))
         (_.cover [/.same?]
                  (let [not_left (|> left ++ --)]
                    (and (/.same? left left)
@@ -1042,12 +1042,12 @@
       ))
 
 (def: identity/constant
-  (All [a] (-> a a))
+  (All (_ a) (-> a a))
   (function (_ value)
     value))
 
 (def: (identity/function value)
-  (All [a] (-> a a))
+  (All (_ a) (-> a a))
   value)
 
 (def: for_def:
-- 
cgit v1.2.3