diff options
Diffstat (limited to 'stdlib/source/parser/lux/data/format/xml.lux')
| -rw-r--r-- | stdlib/source/parser/lux/data/format/xml.lux | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/stdlib/source/parser/lux/data/format/xml.lux b/stdlib/source/parser/lux/data/format/xml.lux index 38d0d33da..ce03568f6 100644 --- a/stdlib/source/parser/lux/data/format/xml.lux +++ b/stdlib/source/parser/lux/data/format/xml.lux @@ -6,7 +6,7 @@ [control ["//" parser] ["[0]" try (.only Try) (.use "[1]#[0]" functor)] - ["[0]" exception (.only exception)]] + ["[0]" exception (.only Exception)]] [data ["[0]" text ["%" \\format (.only format)]] @@ -21,22 +21,23 @@ (type .public (Parser a) (//.Parser [Attrs (List XML)] a)) -(exception .public empty_input) -(exception .public unexpected_input) +(exception.def .public empty_input) +(exception.def .public unexpected_input) -(exception .public (wrong_tag [expected Tag - actual Tag]) +(exception.def .public (wrong_tag [expected actual]) + (Exception [Tag Tag]) (exception.report (list ["Expected" (%.text (/.tag expected))] ["Actual" (%.text (/.tag actual))]))) -(exception .public (unknown_attribute [expected Attribute - available (List Attribute)]) +(exception.def .public (unknown_attribute [expected available]) + (Exception [Attribute (List Attribute)]) (exception.report (list ["Expected" (%.text (/.attribute expected))] ["Available" (exception.listing (|>> /.attribute %.text) available)]))) -(exception .public (unconsumed_inputs [inputs (List XML)]) +(exception.def .public (unconsumed_inputs inputs) + (Exception (List XML)) (exception.report (list ["Inputs" (exception.listing (at /.codec encoded) inputs)]))) @@ -124,7 +125,7 @@ {.#Item head tail} {try.#Success [[attrs tail] head]}))) -(exception .public nowhere) +(exception.def .public nowhere) (def .public (somewhere parser) (All (_ a) (-> (Parser a) (Parser a))) |