From 8d4c256f8b56561869c14df02db695d774c74fa6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 24 Oct 2022 19:28:57 -0400
Subject: Minor naming & syntax improvements.

---
 .../lux/control/concurrency/actor.lux              |  2 +-
 .../documentation/lux/meta/type/primitive.lux      | 42 +++++++++++-----------
 2 files changed, 22 insertions(+), 22 deletions(-)

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux/control/concurrency/actor.lux b/stdlib/source/documentation/lux/control/concurrency/actor.lux
index 1d4fa276f..18cbf92f3 100644
--- a/stdlib/source/documentation/lux/control/concurrency/actor.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/actor.lux
@@ -42,7 +42,7 @@
         ($.definition (/.Message state output)
           "A two-way message sent to an actor, expecting a reply.")
 
-        ($.definition /.tell!
+        ($.definition /.request!
           "Communicate with an actor through message-passing.")
 
         ($.definition /.default
diff --git a/stdlib/source/documentation/lux/meta/type/primitive.lux b/stdlib/source/documentation/lux/meta/type/primitive.lux
index bf1ce3c83..04a751666 100644
--- a/stdlib/source/documentation/lux/meta/type/primitive.lux
+++ b/stdlib/source/documentation/lux/meta/type/primitive.lux
@@ -35,42 +35,42 @@
                   [/.representation Abstraction representation Representation]
                   ))
 
-            ($.definition /.primitive
+            ($.definition /.def
               (format "Define abstract/nominal types which hide their representation details."
                       \n "You can convert between the abstraction and its representation selectively to access the value, while hiding it from others.")
-              [(primitive String
+              [(/.def String
                  Text
 
-                 (def (string value)
+                 (.def (string value)
                    (-> Text String)
                    (abstraction value))
 
-                 (def (text value)
+                 (.def (text value)
                    (-> String Text)
                    (representation value)))]
               ["Type-parameters are optional."
-               (primitive (Duplicate a)
+               (/.def (Duplicate a)
                  [a a]
 
-                 (def (duplicate value)
+                 (.def (duplicate value)
                    (All (_ a) (-> a (Duplicate a)))
                    (abstraction [value value])))]
               ["Definitions can be nested."
-               (primitive (Single a)
+               (/.def (Single a)
                  a
 
-                 (def (single value)
+                 (.def (single value)
                    (All (_ a) (-> a (Single a)))
                    (abstraction value))
 
-                 (primitive (Double a)
+                 (/.def (Double a)
                    [a a]
 
-                   (def (double value)
+                   (.def (double value)
                      (All (_ a) (-> a (Double a)))
                      (abstraction [value value]))
 
-                   (def (single' value)
+                   (.def (single' value)
                      (All (_ a) (-> a (Single a)))
                      (abstraction Single [value value]))
 
@@ -83,18 +83,18 @@
                                 representation)))))]
               ["Type-parameters do not necessarily have to be used in the representation type."
                "If they are not used, they become phantom types and can be used to customize types without changing the representation."
-               (primitive (JavaScript a)
+               (/.def (JavaScript a)
                  Text
 
-                 (primitive Expression Any)
-                 (primitive Statement Any)
+                 (/.def Expression Any)
+                 (/.def Statement Any)
 
-                 (def (+ x y)
+                 (.def (+ x y)
                    (-> (JavaScript Expression) (JavaScript Expression) (JavaScript Expression))
                    (abstraction
                     (format "(" (representation x) "+" (representation y) ")")))
 
-                 (def (while test body)
+                 (.def (while test body)
                    (-> (JavaScript Expression) (JavaScript Statement) (JavaScript Statement))
                    (abstraction
                     (format "while(" (representation test) ") {"
@@ -103,17 +103,17 @@
 
             ($.definition /.transmutation
               "Transmutes an abstract/nominal type's phantom types."
-              [(primitive (JavaScript a)
+              [(/.def (JavaScript a)
                  Text
 
-                 (primitive Expression Any)
-                 (primitive Statement Any)
+                 (/.def Expression Any)
+                 (/.def Statement Any)
 
-                 (def (statement expression)
+                 (.def (statement expression)
                    (-> (JavaScript Expression) (JavaScript Statement))
                    (transmutation expression))
 
-                 (def (statement' expression)
+                 (.def (statement' expression)
                    (-> (JavaScript Expression) (JavaScript Statement))
                    (transmutation JavaScript expression)))])
             )))
-- 
cgit v1.2.3