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

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

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index b1d7ae466..712814250 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -150,19 +150,19 @@
 
 (documentation: /.All
   "Universal quantification."
-  [(All [a]
+  [(All (_ a)
      (-> a a))]
   ["A name can be provided, to specify a recursive type."
-   (All List [a]
+   (All (List a)
      (Or Any
          [a (List a)]))])
 
 (documentation: /.Ex
   "Existential quantification."
-  [(Ex [a]
+  [(Ex (_ a)
      [(Codec Text a) a])]
   ["A name can be provided, to specify a recursive type."
-   (Ex Self [a]
+   (Ex (Self a)
      [(Codec Text a)
       a
       (List (Self a))])])
@@ -304,7 +304,7 @@
 
 (documentation: /.type
   "Takes a type expression and returns its representation as data-structure."
-  [(type (All [a]
+  [(type (All (_ a)
            (Maybe (List a))))])
 
 (documentation: /.:
@@ -400,7 +400,7 @@
 
 (documentation: /.function
   "Syntax for creating functions."
-  [(: (All [a b]
+  [(: (All (_ a b)
         (-> a b a))
       (function (_ x y)
         x))]
@@ -533,7 +533,7 @@
   (format "Same as the 'open' macro, but meant to be used as a pattern-matching macro for generating local bindings."
           \n "Takes an 'alias' text for the generated local bindings.")
   [(def: .public (range enum from to)
-     (All [a] (-> (Enum a) a a (List a)))
+     (All (_ a) (-> (Enum a) a a (List a)))
      (let [(^open ".") enum]
        (loop [end to
               output #.End]
@@ -777,7 +777,7 @@
           "Allows you to refer to the type-variables in a polymorphic function's type, by their index.")
   ["In the example below, 0 corresponds to the 'a' variable."
    (def: .public (of_list list)
-     (All [a] (-> (List a) (Row a)))
+     (All (_ a) (-> (List a) (Row a)))
      (list\mix add
                (: (Row (:parameter 0))
                   empty)
-- 
cgit v1.2.3