aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/parser
diff options
context:
space:
mode:
authorEduardo Julian2022-06-25 20:24:43 -0400
committerEduardo Julian2022-06-25 20:24:43 -0400
commitfb46beb8bd784ba92949bf2c535dc13c2f003ef0 (patch)
tree28dbec5e8e6a1307a5aee28772d9aa897349bc57 /stdlib/source/parser
parenta384e0c9426d6110fa4c104a1327808a0aff91b0 (diff)
De-sigil-ification: suffix : [Part 15]
Diffstat (limited to 'stdlib/source/parser')
-rw-r--r--stdlib/source/parser/lux/data/binary.lux8
-rw-r--r--stdlib/source/parser/lux/data/format/json.lux2
-rw-r--r--stdlib/source/parser/lux/data/format/xml.lux2
-rw-r--r--stdlib/source/parser/lux/data/text.lux6
-rw-r--r--stdlib/source/parser/lux/tool/compiler/language/lux/analysis.lux2
-rw-r--r--stdlib/source/parser/lux/tool/compiler/language/lux/synthesis.lux2
6 files changed, 11 insertions, 11 deletions
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)