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/parser/lux/data/binary.lux                          | 8 ++++----
 stdlib/source/parser/lux/data/format/json.lux                     | 2 +-
 stdlib/source/parser/lux/data/format/xml.lux                      | 2 +-
 stdlib/source/parser/lux/data/text.lux                            | 6 +++---
 stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux  | 2 +-
 stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux | 2 +-
 6 files changed, 11 insertions(+), 11 deletions(-)

(limited to 'stdlib/source/parser')

diff --git a/stdlib/source/parser/lux/data/binary.lux b/stdlib/source/parser/lux/data/binary.lux
index 61256d42a..3539323c5 100644
--- a/stdlib/source/parser/lux/data/binary.lux
+++ b/stdlib/source/parser/lux/data/binary.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except and or nat int rev list type symbol)
+  [lux (.except and or nat int rev list symbol type)
    [ffi (.only)]
    [type (.only sharing)]
    [abstract
@@ -31,10 +31,10 @@
      ["n" nat]
      ["[0]" frac]]]]])
 
-(type: .public Offset
+(.type .public Offset
   Nat)
 
-(type: .public Parser
+(.type .public Parser
   (//.Parser [Offset Binary]))
 
 (exception: .public (binary_was_not_fully_read [binary_length Nat
@@ -80,7 +80,7 @@
   (function (_ (^.let input [offset data]))
     {try.#Success [input (n#- offset (/.size data))]}))
 
-(type: .public Size
+(.type .public Size
   Nat)
 
 (def .public size_8 Size 1)
diff --git a/stdlib/source/parser/lux/data/format/json.lux b/stdlib/source/parser/lux/data/format/json.lux
index 5d1c757bc..d579b9060 100644
--- a/stdlib/source/parser/lux/data/format/json.lux
+++ b/stdlib/source/parser/lux/data/format/json.lux
@@ -22,7 +22,7 @@
  [\\library
   ["[0]" / (.only JSON)]])
 
-(type: .public (Parser a)
+(type .public (Parser a)
   (//.Parser (List JSON) a))
 
 (exception: .public (unconsumed_input [input (List JSON)])
diff --git a/stdlib/source/parser/lux/data/format/xml.lux b/stdlib/source/parser/lux/data/format/xml.lux
index c71f3d20f..44cfa8fdd 100644
--- a/stdlib/source/parser/lux/data/format/xml.lux
+++ b/stdlib/source/parser/lux/data/format/xml.lux
@@ -18,7 +18,7 @@
  [\\library
   ["[0]" / (.only Attribute Attrs Tag XML)]])
 
-(type: .public (Parser a)
+(type .public (Parser a)
   (//.Parser [Attrs (List XML)] a))
 
 (exception: .public empty_input)
diff --git a/stdlib/source/parser/lux/data/text.lux b/stdlib/source/parser/lux/data/text.lux
index d18a01d6b..3cc4dd8da 100644
--- a/stdlib/source/parser/lux/data/text.lux
+++ b/stdlib/source/parser/lux/data/text.lux
@@ -21,7 +21,7 @@
     [number
      ["n" nat (.use "[1]#[0]" decimal)]]]]])
 
-(type: .public Offset
+(type .public Offset
   Nat)
 
 (def beginning
@@ -31,10 +31,10 @@
 (exception: .public cannot_parse)
 (exception: .public cannot_slice)
 
-(type: .public Parser
+(type .public Parser
   (//.Parser [Offset Text]))
 
-(type: .public Slice
+(type .public Slice
   (Record
    [#basis Offset
     #distance Offset]))
diff --git a/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux
index a8c00087d..99a2f3e8e 100644
--- a/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux
@@ -46,7 +46,7 @@
   (exception.report
    "Input" (exception.listing /.format input)))
 
-(type: .public Parser
+(type .public Parser
   (//.Parser (List Analysis)))
 
 (def .public (result parser input)
diff --git a/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux
index fa2a7a3af..c5f44f784 100644
--- a/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux
@@ -51,7 +51,7 @@
 
 (exception: .public empty_input)
 
-(type: .public Parser
+(type .public Parser
   (//.Parser (List Synthesis)))
 
 (def .public (result parser input)
-- 
cgit v1.2.3