diff options
Diffstat (limited to 'stdlib/source/parser')
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) |