From bc36487224f670c23002cc4575c0dba3e5dc1be1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 15 Mar 2022 07:24:35 -0400
Subject: De-sigil-ification: ^

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

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

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index efa13a913..bbefd85a6 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -358,12 +358,12 @@
      _
      {#None})])
 
-(documentation: /.^
+(documentation: /.pattern
   (format "Macro-expanding patterns."
           \n "It's a special macro meant to be used with 'case'.")
   [(case (: (List Int)
             (list +1 +2 +3))
-     (^ (list x y z))
+     (pattern (list x y z))
      {#Some ($_ * x y z)}
 
      _
@@ -433,8 +433,8 @@
   [(macro: .public (symbol tokens)
      (case tokens
        (^template [<tag>]
-         [(^ (list [_ {<tag> [module name]}]))
-          (in (list (` [(~ (text$ module)) (~ (text$ name))])))])
+                  [(pattern (list [_ {<tag> [module name]}]))
+                   (in (list (` [(~ (text$ module)) (~ (text$ name))])))])
        ([#Symbol])
        
        _
@@ -529,12 +529,12 @@
   (format "Character used to separate the parts of module names."
           \n "Value: " (%.text /.module_separator)))
 
-(documentation: /.^open
+(documentation: /.open
   (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)))
-     (let [(^open "[0]") enum]
+     (let [(open "[0]") enum]
        (loop [end to
               output {.#End}]
          (cond (< end from)
@@ -642,23 +642,23 @@
        {.#Primitive name (list#each (reduced env) params)}
 
        (^template [<tag>]
-         [{<tag> left right}
-          {<tag> (reduced env left) (reduced env right)}])
+                  [{<tag> left right}
+                   {<tag> (reduced env left) (reduced env right)}])
        ([.#Sum] [.#Product])
 
        (^template [<tag>]
-         [{<tag> left right}
-          {<tag> (reduced env left) (reduced env right)}])
+                  [{<tag> left right}
+                   {<tag> (reduced env left) (reduced env right)}])
        ([.#Function] [.#Apply])
 
        (^template [<tag>]
-         [{<tag> old_env def}
-          (case old_env
-            {.#End}
-            {<tag> env def}
+                  [{<tag> old_env def}
+                   (case old_env
+                     {.#End}
+                     {<tag> env def}
 
-            _
-            type)])
+                     _
+                     type)])
        ([.#UnivQ] [.#ExQ])
 
        {.#Parameter idx}
@@ -727,13 +727,13 @@
   [(def: my_nat 123)
    (def: my_text "456")
    (and (case [my_nat my_text]
-          (^ (static [..my_nat ..my_text]))
+          (pattern (static [..my_nat ..my_text]))
           true
 
           _
           false)
         (case [my_nat my_text]
-          (^ [(static ..my_nat) (static ..my_text)])
+          (pattern [(static ..my_nat) (static ..my_text)])
           true
 
           _
@@ -959,7 +959,7 @@
              ..Rec
              ..exec
              ..case
-             ..^
+             ..pattern
              ..^or
              ..let
              ..function
@@ -979,7 +979,7 @@
              ..int
              ..rev
              ..module_separator
-             ..^open
+             ..open
              ..cond
              ..the
              ..open:
-- 
cgit v1.2.3