From fb46beb8bd784ba92949bf2c535dc13c2f003ef0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 25 Jun 2022 20:24:43 -0400
Subject: De-sigil-ification: suffix : [Part 15]

---
 stdlib/source/documentation/lux.lux | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

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

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 0106fc515..72fa36c45 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -301,8 +301,8 @@
 
              (documentation /.type
                "Takes a type expression and returns its representation as data-structure."
-               [(type (All (_ a)
-                        (Maybe (List a))))])
+               [(type_literal (All (_ a)
+                                (Maybe (List a))))])
 
              (documentation /.is
                "The type-annotation macro."
@@ -320,8 +320,8 @@
                 (Rec Int_List
                   (Or Any
                       [Int Int_List]))]
-               ["Can also be used with type: and labelled-type definitions."
-                (type: Type
+               ["Can also be used with type and labelled-type definitions."
+                (type Type
                   (Rec @
                     (Variant
                      {#Primitive Text (List @)}
@@ -369,7 +369,7 @@
              ... (documentation /.^or
              ...   (format "Or-patterns."
              ...           \n "It's a special macro meant to be used with 'case'.")
-             ...   [(type: Weekday
+             ...   [(type Weekday
              ...      (Variant
              ...       {#Monday}
              ...       {#Tuesday}
@@ -472,8 +472,8 @@
 
              (documentation /.Variant
                (format "Syntax for defining labelled/tagged sum/union types."
-                       \n "WARNING: Only use it within the type: macro.")
-               [(type: Referrals
+                       \n "WARNING: Only use it within the type macro.")
+               [(type Referrals
                   (Variant
                    {#All}
                    {#Only (List Text)}
@@ -483,21 +483,21 @@
 
              (documentation /.Record
                (format "Syntax for defining labelled/slotted product/tuple types."
-                       \n "WARNING: Only use it within the type: macro.")
-               [(type: Refer
+                       \n "WARNING: Only use it within the type macro.")
+               [(type Refer
                   (Record
                    [#refer_defs Referrals
                     #refer_open (List Openings)]))])
 
-             (documentation /.type:
+             (documentation /.type
                "The type-definition macro."
-               [(type: (List a)
+               [(type (List a)
                   {#End}
                   {#Item a (List a)})])
 
              (documentation /.Interface
                "Interface definition."
-               [(type: .public (Order a)
+               [(type .public (Order a)
                   (Interface
                    (is (Equivalence a)
                        equivalence)
-- 
cgit v1.2.3