From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 00:07:08 -0400
Subject: Made the "#" character great again!

---
 stdlib/source/documentation/lux.lux | 67 ++++++++++++++++++-------------------
 1 file changed, 33 insertions(+), 34 deletions(-)

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

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 0f6e94998..cf7137856 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -354,11 +354,11 @@
           \n "Allows the usage of macros within the patterns to provide custom syntax.")
   [(case (: (List Int)
             (list +1 +2 +3))
-     {#Item x {#Item y {#Item z #End}}}
+     {#Item x {#Item y {#Item z {#End}}}}
      {#Some ($_ * x y z)}
 
      _
-     #None)])
+     {#None})])
 
 (documentation: /.^
   (format "Macro-expanding patterns."
@@ -369,25 +369,25 @@
      {#Some ($_ * x y z)}
 
      _
-     #None)])
+     {#None})])
 
 (documentation: /.^or
   (format "Or-patterns."
           \n "It's a special macro meant to be used with 'case'.")
   [(type: Weekday
      (Variant
-      #Monday
-      #Tuesday
-      #Wednesday
-      #Thursday
-      #Friday
-      #Saturday
-      #Sunday))
+      {#Monday}
+      {#Tuesday}
+      {#Wednesday}
+      {#Thursday}
+      {#Friday}
+      {#Saturday}
+      {#Sunday}))
    
    (def: (weekend? day)
      (-> Weekday Bit)
      (case day
-       (^or #Saturday #Sunday)
+       (^or {#Saturday} {#Sunday})
        #1
 
        _
@@ -488,11 +488,11 @@
           \n "WARNING: Only use it within the type: macro.")
   [(type: Referrals
      (Variant
-      #All
+      {#All}
       {#Only (List Text)}
       {#Exclude (List Text)}
-      #Ignore
-      #Nothing))])
+      {#Ignore}
+      {#Nothing}))])
 
 (documentation: /.Record
   (format "Syntax for defining labelled/slotted product/tuple types."
@@ -505,7 +505,7 @@
 (documentation: /.type:
   "The type-definition macro."
   [(type: (List a)
-     #End
+     {#End}
      {#Item a (List a)})])
 
 (documentation: /.Interface
@@ -538,15 +538,15 @@
      (All (_ a) (-> (Enum a) a a (List a)))
      (let [(^open "[0]") enum]
        (loop [end to
-              output #.End]
+              output {.#End}]
          (cond (< end from)
-               (recur (pred end) {#.Item end output})
+               (recur (pred end) {.#Item end output})
 
                (< from end)
-               (recur (succ end) {#.Item end output})
+               (recur (succ end) {.#Item end output})
 
                ... (= end from)
-               {#.Item end output}))))])
+               {.#Item end output}))))])
 
 (documentation: /.cond
   "Conditional branching with multiple test conditions."
@@ -640,30 +640,30 @@
   [(def: (reduced env type)
      (-> (List Type) Type Type)
      (case type
-       {#.Primitive name params}
-       {#.Primitive name (list\each (reduced env) params)}
+       {.#Primitive name params}
+       {.#Primitive name (list\each (reduced env) params)}
 
        (^template [<tag>]
          [{<tag> left right}
           {<tag> (reduced env left) (reduced env right)}])
-       ([#.Sum] [#.Product])
+       ([.#Sum] [.#Product])
 
        (^template [<tag>]
          [{<tag> left right}
           {<tag> (reduced env left) (reduced env right)}])
-       ([#.Function] [#.Apply])
+       ([.#Function] [.#Apply])
 
        (^template [<tag>]
          [{<tag> old_env def}
           (case old_env
-            #.End
+            {.#End}
             {<tag> env def}
 
             _
             type)])
-       ([#.UnivQ] [#.ExQ])
+       ([.#UnivQ] [.#ExQ])
 
-       {#.Parameter idx}
+       {.#Parameter idx}
        (else type (list.item idx env))
 
        _
@@ -715,7 +715,6 @@
                   [int +123                            "+123"]
                   [frac +123.0                         "+123.0"]
                   [text "123"                           "'123'"]
-                  [tag ["yolo" "lol"]                  "#yolo.lol"]
                   [identifier ["yolo" "lol"]           "yolo.lol"]
                   [form (list (bit #1))                "(#1)"]
                   [tuple (list (bit #1))               "[#1]"]
@@ -769,9 +768,9 @@
 
 (documentation: /.name_of
   "Given an identifier or a tag, gives back a 2 tuple with the module and name parts, both as Text."
-  [(name_of #..doc)
+  [(name_of ..#doc)
    "=>"
-   ["documentation/lux" "doc"]])
+   ["documentation/lux" "#doc"]])
 
 (documentation: /.:parameter
   (format "WARNING: Please stay away from this macro; it's very likely to be removed in a future version of Lux."
@@ -875,11 +874,11 @@
   "Generates pattern-matching code for Code values in a way that looks like code-templating."
   [(: (Maybe Nat)
       (case (` (#0 123 +456.789))
-        (^code (#0 (~ [_ {#.Nat number}]) +456.789))
-        {#.Some number}
+        (^code (#0 (~ [_ {.#Nat number}]) +456.789))
+        {.#Some number}
 
         _
-        #.None))])
+        {.#None}))])
 
 (documentation: /.false
   "The boolean FALSE value.")
@@ -898,11 +897,11 @@
       (case (: (Either Text Bar)
                (try (: Bar
                        (risky computation which may panic))))
-        {#.Right success}
+        {.#Right success}
         (: Foo
            (do something after success))
 
-        {#.Left error}
+        {.#Left error}
         (: Foo
            (recover from error))))])
 
-- 
cgit v1.2.3