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/library/lux.lux | 94 +++++++++++++++++++++----------------------
 1 file changed, 47 insertions(+), 47 deletions(-)

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

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 41f6ab0ed..d9060f2c3 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -14,7 +14,7 @@
  "library/lux"
  #1)
 
-... (type: .public Any
+... (type .public Any
 ...   (Ex (_ a) a))
 ("lux def" Any
  ("lux type check type"
@@ -25,7 +25,7 @@
         {4 #0 1}}})
  #1)
 
-... (type: .public Nothing
+... (type .public Nothing
 ...   (All (_ a) a))
 ("lux def" Nothing
  ("lux type check type"
@@ -36,7 +36,7 @@
         {4 #0 1}}})
  #1)
 
-... (type: .public (List a)
+... (type .public (List a)
 ...   (Variant
 ...    {#End}
 ...    {#Item a (List a)}))
@@ -115,7 +115,7 @@
      {2 #0 Text Text}})
  #1)
 
-... (type: .public (Maybe a)
+... (type .public (Maybe a)
 ...   {#None}
 ...   {#Some a})
 ("lux def type tagged" Maybe
@@ -131,7 +131,7 @@
  {"#None" "#Some"}
  #1)
 
-... (type: .public Type
+... (type .public Type
 ...   (Rec Type
 ...     (Variant
 ...      {#Primitive Text (List Type)}
@@ -192,7 +192,7 @@
  {"#Primitive" "#Sum" "#Product" "#Function" "#Parameter" "#Var" "#Ex" "#UnivQ" "#ExQ" "#Apply" "#Named"}
  #1)
 
-... (type: .public Location
+... (type .public Location
 ...   (Record
 ...    [#module Text
 ...     #line   Nat
@@ -203,7 +203,7 @@
  ["#module" "#line" "#column"]
  #1)
 
-... (type: .public (Ann m v)
+... (type .public (Ann m v)
 ...   (Record
 ...    [#meta  m
 ...     #datum v]))
@@ -217,7 +217,7 @@
  ["#meta" "#datum"]
  #1)
 
-... (type: .public (Code' w)
+... (type .public (Code' w)
 ...   (Variant
 ...    {#Bit Bit}
 ...    {#Nat Nat}
@@ -272,7 +272,7 @@
  {"#Bit" "#Nat" "#Int" "#Rev" "#Frac" "#Text" "#Symbol" "#Form" "#Variant" "#Tuple"}
  #1)
 
-... (type: .public Code
+... (type .public Code
 ...   (Ann Location (Code' (Ann Location))))
 ("lux def" Code
  ("lux type check type"
@@ -361,7 +361,7 @@
   ([_ tokens] (_ann {#Tuple tokens})))
  #0)
 
-... (type: .public Definition
+... (type .public Definition
 ...   [Bit Type Any])
 ("lux def" Definition
  ("lux type check type"
@@ -369,7 +369,7 @@
           {#Product Bit {#Product Type Any}}})
  .public)
 
-... (type: .public Alias
+... (type .public Alias
 ...   Symbol)
 ("lux def" Alias
  ("lux type check type"
@@ -377,7 +377,7 @@
           Symbol})
  .public)
 
-... (type: .public Label
+... (type .public Label
 ...   [Bit Type (List Text) Nat])
 ("lux def" Label
  ("lux type check type"
@@ -385,7 +385,7 @@
           {#Product Bit {#Product Type {#Product {#Apply Text List} Nat}}}})
  .public)
 
-... (type: .public Global
+... (type .public Global
 ...   (Variant
 ...    {#Definition Definition}
 ...    {#Type [Bit Type (Either [Text (List Text)] [Text (List Text)])]}
@@ -404,7 +404,7 @@
  {"#Definition" "#Type" "#Tag" "#Slot" "#Alias"}
  .public)
 
-... (type: .public (Bindings k v)
+... (type .public (Bindings k v)
 ...   (Record
 ...    [#counter Nat
 ...     #mappings (List [k v])]))
@@ -422,7 +422,7 @@
  ["#counter" "#mappings"]
  .public)
 
-... (type: .public Ref
+... (type .public Ref
 ...   {#Local Nat}
 ...   {#Captured Nat})
 ("lux def type tagged" Ref
@@ -436,7 +436,7 @@
  .public)
 
 ... TODO: Get rid of both #name & #inner
-... (type: .public Scope
+... (type .public Scope
 ...   (Record
 ...    [#name     (List Text)
 ...     #inner    Nat
@@ -463,7 +463,7 @@
   {#Apply Code List})
  #0)
 
-... (type: .public (Either l r)
+... (type .public (Either l r)
 ...   (Variant
 ...    {#Left l}
 ...    {#Right r}))
@@ -479,7 +479,7 @@
  {"#Left" "#Right"}
  .public)
 
-... (type: .public Source
+... (type .public Source
 ...   [Location Nat Text])
 ("lux def" Source
  ("lux type check type"
@@ -487,7 +487,7 @@
           {#Product Location {#Product Nat Text}}})
  .public)
 
-... (type: .public Module_State
+... (type .public Module_State
 ...   (Variant
 ...    #Active
 ...    #Compiled
@@ -505,7 +505,7 @@
  {"#Active" "#Compiled" "#Cached"}
  .public)
 
-... (type: .public Module
+... (type .public Module
 ...   (Record
 ...    [#module_hash        Nat
 ...     #module_aliases     (List [Text Text])
@@ -532,7 +532,7 @@
  ["#module_hash" "#module_aliases" "#definitions" "#imports" "#module_state"]
  .public)
 
-... (type: .public Type_Context
+... (type .public Type_Context
 ...   (Record
 ...    [#ex_counter Nat
 ...     #var_counter Nat
@@ -549,7 +549,7 @@
  ["#ex_counter" "#var_counter" "#var_bindings"]
  .public)
 
-... (type: .public Mode
+... (type .public Mode
 ...   #Build
 ...   #Eval
 ...   #Interpreter)
@@ -564,7 +564,7 @@
  {"#Build" "#Eval" "#Interpreter"}
  .public)
 
-... (type: .public Info
+... (type .public Info
 ...   (Record
 ...    [#target        Text
 ...     #version       Text
@@ -586,7 +586,7 @@
  ["#target" "#version" "#mode" "#configuration"]
  .public)
 
-... (type: .public Lux
+... (type .public Lux
 ...   (Rec Lux
 ...     (Record
 ...      [#info            Info
@@ -652,7 +652,7 @@
  ["#info" "#source" "#location" "#current_module" "#modules" "#scopes" "#type_context" "#expected" "#seed" "#scope_type_vars" "#extensions" "#eval" "#host"]
  .public)
 
-... (type: .public (Meta a)
+... (type .public (Meta a)
 ...   (-> Lux (Either Text [Lux a])))
 ("lux def" Meta
  ("lux type check type"
@@ -663,7 +663,7 @@
                                      {#Apply Text Either}}}}})
  .public)
 
-... (type: .public Macro'
+... (type .public Macro'
 ...   (-> (List Code) (Meta (List Code))))
 ("lux def" Macro'
  ("lux type check type"
@@ -671,7 +671,7 @@
           {#Function Code_List {#Apply Code_List Meta}}})
  .public)
 
-... (type: .public Macro
+... (type .public Macro
 ...   (Primitive "#Macro"))
 ("lux def" Macro
  ("lux type check type"
@@ -1431,7 +1431,7 @@
 
 (def''' .public all Macro ..right)
 
-... (type: (Monad m)
+... (type (Monad m)
 ...   (Interface
 ...    (is (All (_ a) (-> a (m a)))
 ...        #in)
@@ -2363,7 +2363,7 @@
           type}
          type))
 
-(def'' .public type
+(def'' .public type_literal
        Macro
        (macro (_ tokens)
          ({{#Item type {#End}}
@@ -2378,7 +2378,7 @@
                    _
                    (failure "The expansion of the type-syntax had to yield a single element.")}
                   type+))
-               (in (list (..quantified (` (..type (~ type))))))))
+               (in (list (..quantified (` (..type_literal (~ type))))))))
 
            _
            (failure "Wrong syntax for type")}
@@ -2389,7 +2389,7 @@
        (macro (_ tokens)
          ({{#Item type {#Item value {#End}}}
            (meta#in (list (` ("lux type check"
-                              (..type (~ type))
+                              (..type_literal (~ type))
                               (~ value)))))
 
            _
@@ -2401,7 +2401,7 @@
        (macro (_ tokens)
          ({{#Item type {#Item value {#End}}}
            (meta#in (list (` ("lux type as"
-                              (..type (~ type))
+                              (..type_literal (~ type))
                               (~ value)))))
 
            _
@@ -2646,8 +2646,8 @@
 (def' .private Parser
       Type
       {#Named [..prelude "Parser"]
-              (..type (All (_ a)
-                        (-> (List Code) (Maybe [(List Code) a]))))})
+              (..type_literal (All (_ a)
+                                (-> (List Code) (Maybe [(List Code) a]))))})
 
 (def' .private (parsed parser tokens)
       (All (_ a) (-> (Parser a) (List Code) (Maybe a)))
@@ -3448,7 +3448,7 @@
     (meta#in [type {#None}])}
    it))
 
-(def .public type:
+(def .public type
   (macro (_ tokens)
     (case (typeP tokens)
       {#Some [export_policy name args type_codes]}
@@ -3469,7 +3469,7 @@
           {#Some type''}
           (let [typeC (` {.#Named [(~ (text$ module_name))
                                    (~ (text$ name))]
-                                  (.type (~ type''))})]
+                                  (..type_literal (~ type''))})]
             (meta#in (list (case labels??
                              {#Some labels}
                              (` ("lux def type tagged" (~ type_name)
@@ -3489,15 +3489,15 @@
                                  (~ export_policy)))))))
 
           {#None}
-          (failure (..wrong_syntax_error (symbol ..type:)))))
+          (failure (..wrong_syntax_error (symbol ..type)))))
 
       {#None}
-      (failure (..wrong_syntax_error (symbol ..type:))))))
+      (failure (..wrong_syntax_error (symbol ..type))))))
 
-(type: Referral
+(type Referral
   [Symbol (List Code)])
 
-(type: Importation
+(type Importation
   (Record
    [#import_name Text
     #import_alias (Maybe Text)
@@ -4241,11 +4241,11 @@
              .let [[pre_defs implementations] pre_defs,implementations]]
             (in (|> pre_defs
                     {#Item (` (..use
-                                (~ (text$ current_module))
-                                (~ (text$ imported_module))
-                                (~ (text$ import_alias))
-                                (~ (text$ alias))
-                                (~+ implementations)))}
+                               (~ (text$ current_module))
+                               (~ (text$ imported_module))
+                               (~ (text$ import_alias))
+                               (~ (text$ alias))
+                               (~+ implementations)))}
                     list#reversed)))))
       
 
@@ -4731,7 +4731,7 @@
       _
       (failure (..wrong_syntax_error (symbol ..static))))))
 
-(type: Multi_Level_Case
+(type Multi_Level_Case
   [Code (List [Code Code])])
 
 (def (case_level^ level)
@@ -5096,7 +5096,7 @@
     _
     #0))
 
-(type: .public Immediate_UnQuote
+(type .public Immediate_UnQuote
   (Primitive "#Macro/Immediate_UnQuote"))
 
 (def .public immediate_unquote
-- 
cgit v1.2.3