diff options
Diffstat (limited to '')
12 files changed, 115 insertions, 115 deletions
diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux index d30da93b7..753b32dff 100644 --- a/stdlib/source/library/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux @@ -67,7 +67,7 @@ (exception: .public (semaphore_is_maxed_out [max_positions Nat]) (exception.report - ["Max Positions" (%.nat max_positions)])) + "Max Positions" (%.nat max_positions))) (def: .public (signal! semaphore) (Ex (_ k) (-> Semaphore (Async (Try Int)))) diff --git a/stdlib/source/library/lux/control/exception.lux b/stdlib/source/library/lux/control/exception.lux index 942ebbfd8..ff25a2891 100644 --- a/stdlib/source/library/lux/control/exception.lux +++ b/stdlib/source/library/lux/control/exception.lux @@ -137,7 +137,7 @@ (on_entry head) tail)))) -(syntax: .public (report [entries (<>.many (<code>.tuple (<>.and <code>.any <code>.any)))]) +(syntax: .public (report [entries (<>.many (<>.and <code>.any <code>.any))]) (in (list (` ((~! ..report') (list (~+ (|> entries (list#each (function (_ [header message]) (` [(~ header) (~ message)]))))))))))) diff --git a/stdlib/source/library/lux/control/function/contract.lux b/stdlib/source/library/lux/control/function/contract.lux index 388a5d3f0..b36aa75c6 100644 --- a/stdlib/source/library/lux/control/function/contract.lux +++ b/stdlib/source/library/lux/control/function/contract.lux @@ -1,24 +1,24 @@ (.using - [library - [lux "*" - [control - ["[0]" exception {"+" exception:}] - [parser - ["<[0]>" code]]] - [data - [text - ["%" format {"+" format}]]] - [macro {"+" with_symbols} - [syntax {"+" syntax:}] - ["[0]" code]] - [math - [number - ["i" int]]]]]) + [library + [lux "*" + [control + ["[0]" exception {"+" exception:}] + [parser + ["<[0]>" code]]] + [data + [text + ["%" format {"+" format}]]] + [macro {"+" with_symbols} + [syntax {"+" syntax:}] + ["[0]" code]] + [math + [number + ["i" int]]]]]) (template [<name>] [(exception: .public (<name> [condition Code]) (exception.report - ["Condition" (%.code condition)]))] + "Condition" (%.code condition)))] [pre_condition_failed] [post_condition_failed] diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux index 0d1fb35c5..2ea814f3d 100644 --- a/stdlib/source/library/lux/control/parser/analysis.lux +++ b/stdlib/source/library/lux/control/parser/analysis.lux @@ -42,11 +42,11 @@ (exception: .public (cannot_parse [input (List Analysis)]) (exception.report - ["Input" (exception.listing /.format input)])) + "Input" (exception.listing /.format input))) (exception: .public (unconsumed_input [input (List Analysis)]) (exception.report - ["Input" (exception.listing /.format input)])) + "Input" (exception.listing /.format input))) (type: .public Parser (//.Parser (List Analysis))) diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux index a9ed31dbd..ba305659a 100644 --- a/stdlib/source/library/lux/control/parser/binary.lux +++ b/stdlib/source/library/lux/control/parser/binary.lux @@ -36,8 +36,8 @@ (exception: .public (binary_was_not_fully_read [binary_length Nat bytes_read Nat]) (exception.report - ["Binary length" (%.nat binary_length)] - ["Bytes read" (%.nat bytes_read)])) + "Binary length" (%.nat binary_length) + "Bytes read" (%.nat bytes_read))) (def: .public (result parser input) (All (_ a) (-> (Parser a) Binary (Try a))) @@ -106,8 +106,8 @@ (exception: .public (invalid_tag [range Nat byte Nat]) (exception.report - ["Tag range" (%.nat range)] - ["Tag value" (%.nat byte)])) + "Tag range" (%.nat range) + "Tag value" (%.nat byte))) (template: (!variant <case>+) [(do [! //.monad] @@ -138,8 +138,8 @@ (exception: .public (not_a_bit [value Nat]) (exception.report - ["Expected values" "either 0 or 1"] - ["Actual value" (%.nat value)])) + "Expected values" "either 0 or 1" + "Actual value" (%.nat value))) (def: .public bit (Parser Bit) diff --git a/stdlib/source/library/lux/control/parser/environment.lux b/stdlib/source/library/lux/control/parser/environment.lux index 50e58078d..a844787f7 100644 --- a/stdlib/source/library/lux/control/parser/environment.lux +++ b/stdlib/source/library/lux/control/parser/environment.lux @@ -1,16 +1,16 @@ (.using - [library - [lux "*" - [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] - [data - ["[0]" product] - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" dictionary {"+" Dictionary}]]]]] - ["[0]" //]) + [library + [lux "*" + [control + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}]] + [data + ["[0]" product] + ["[0]" text + ["%" format {"+" format}]] + [collection + ["[0]" dictionary {"+" Dictionary}]]]]] + ["[0]" //]) (type: .public Property Text) @@ -20,7 +20,7 @@ (exception: .public (unknown_property [property Property]) (exception.report - ["Property" (%.text property)])) + "Property" (%.text property))) (type: .public (Parser a) (//.Parser Environment a)) diff --git a/stdlib/source/library/lux/control/parser/json.lux b/stdlib/source/library/lux/control/parser/json.lux index f17c4c763..c146ec5d3 100644 --- a/stdlib/source/library/lux/control/parser/json.lux +++ b/stdlib/source/library/lux/control/parser/json.lux @@ -27,7 +27,7 @@ (exception: .public (unconsumed_input [input (List JSON)]) (exception.report - ["Input" (exception.listing /.format input)])) + "Input" (exception.listing /.format input))) (exception: .public empty_input) @@ -57,7 +57,7 @@ (exception: .public (unexpected_value [value JSON]) (exception.report - ["Value" (/.format value)])) + "Value" (/.format value))) (template [<name> <type> <tag>] [(def: .public <name> @@ -80,8 +80,8 @@ (exception: .public [a] (value_mismatch [reference JSON sample JSON]) (exception.report - ["Reference" (/.format reference)] - ["Sample" (/.format sample)])) + "Reference" (/.format reference) + "Sample" (/.format sample))) (template [<test> <check> <type> <equivalence> <tag>] [(def: .public (<test> test) diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 66976a680..6f59a9680 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -30,21 +30,21 @@ (exception: .public (cannot_parse [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (unconsumed_input [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (expected_empty_input [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (wrong_arity [expected Arity actual Arity]) (exception.report - ["Expected" (%.nat expected)] - ["Actual" (%.nat actual)])) + "Expected" (%.nat expected) + "Actual" (%.nat actual))) (exception: .public empty_input) diff --git a/stdlib/source/library/lux/control/parser/text.lux b/stdlib/source/library/lux/control/parser/text.lux index 4767ef744..239ddf3bc 100644 --- a/stdlib/source/library/lux/control/parser/text.lux +++ b/stdlib/source/library/lux/control/parser/text.lux @@ -43,15 +43,15 @@ (exception: .public (unconsumed_input [offset Offset tape Text]) (exception.report - ["Offset" (n#encoded offset)] - ["Input size" (n#encoded (/.size tape))] - ["Remaining input" (..left_over offset tape)])) + "Offset" (n#encoded offset) + "Input size" (n#encoded (/.size tape)) + "Remaining input" (..left_over offset tape))) (exception: .public (expected_to_fail [offset Offset tape Text]) (exception.report - ["Offset" (n#encoded offset)] - ["Input" (..left_over offset tape)])) + "Offset" (n#encoded offset) + "Input" (..left_over offset tape))) (exception: .public cannot_parse) (exception: .public cannot_slice) @@ -123,7 +123,7 @@ (exception: .public (cannot_match [reference Text]) (exception.report - ["Reference" (/.format reference)])) + "Reference" (/.format reference))) (def: .public (this reference) (-> Text (Parser Any)) @@ -200,8 +200,8 @@ [(exception: .public (<name> [options Text character Char]) (exception.report - ["Options" (/.format options)] - ["Character" (/.format (/.of_char character))]))] + "Options" (/.format options) + "Character" (/.format (/.of_char character))))] [character_should_be] [character_should_not_be] @@ -247,7 +247,7 @@ (exception: .public (character_does_not_satisfy_predicate [character Char]) (exception.report - ["Character" (/.format (/.of_char character))])) + "Character" (/.format (/.of_char character)))) (def: .public (satisfies parser) (-> (-> Char Bit) (Parser Text)) diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux index 726454fe0..8550ce29f 100644 --- a/stdlib/source/library/lux/control/parser/type.lux +++ b/stdlib/source/library/lux/control/parser/type.lux @@ -29,7 +29,7 @@ (template [<name>] [(exception: .public (<name> [type Type]) (exception.report - ["Type" (%.type type)]))] + "Type" (%.type type)))] [not_existential] [not_recursive] @@ -47,8 +47,8 @@ [(exception: .public (<name> [expected Type actual Type]) (exception.report - ["Expected" (%.type expected)] - ["Actual" (%.type actual)]))] + "Expected" (%.type expected) + "Actual" (%.type actual)))] [types_do_not_match] [wrong_parameter] @@ -58,9 +58,9 @@ (exception: .public (unconsumed_input [remaining (List Type)]) (exception.report - ["Types" (|> remaining - (list#each (|>> %.type (format text.new_line "* "))) - (text.interposed ""))])) + "Types" (|> remaining + (list#each (|>> %.type (format text.new_line "* "))) + (text.interposed "")))) (type: .public Env (Dictionary Nat [Type Code])) diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux index 7e93ef8ae..45c6cf178 100644 --- a/stdlib/source/library/lux/control/parser/xml.lux +++ b/stdlib/source/library/lux/control/parser/xml.lux @@ -1,22 +1,22 @@ (.using - [library - [lux "*" - [abstract - [monad {"+" do}]] - [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}]] - [data - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" list] - ["[0]" dictionary]] - [format - ["/" xml {"+" Attribute Attrs Tag XML}]]] - [meta - ["[0]" symbol ("[1]#[0]" equivalence codec)]]]] - ["[0]" //]) + [library + [lux "*" + [abstract + [monad {"+" do}]] + [control + ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" exception {"+" exception:}]] + [data + ["[0]" text + ["%" format {"+" format}]] + [collection + ["[0]" list] + ["[0]" dictionary]] + [format + ["/" xml {"+" Attribute Attrs Tag XML}]]] + [meta + ["[0]" symbol ("[1]#[0]" equivalence codec)]]]] + ["[0]" //]) (type: .public (Parser a) (//.Parser [Attrs (List XML)] a)) @@ -27,18 +27,18 @@ (exception: .public (wrong_tag [expected Tag actual Tag]) (exception.report - ["Expected" (%.text (/.tag expected))] - ["Actual" (%.text (/.tag actual))])) + "Expected" (%.text (/.tag expected)) + "Actual" (%.text (/.tag actual)))) (exception: .public (unknown_attribute [expected Attribute available (List Attribute)]) (exception.report - ["Expected" (%.text (/.attribute expected))] - ["Available" (exception.listing (|>> /.attribute %.text) available)])) + "Expected" (%.text (/.attribute expected)) + "Available" (exception.listing (|>> /.attribute %.text) available))) (exception: .public (unconsumed_inputs [inputs (List XML)]) (exception.report - ["Inputs" (exception.listing (# /.codec encoded) inputs)])) + "Inputs" (exception.listing (# /.codec encoded) inputs))) (def: (result' parser attrs documents) (All (_ a) (-> (Parser a) Attrs (List XML) (Try a))) diff --git a/stdlib/source/library/lux/control/remember.lux b/stdlib/source/library/lux/control/remember.lux index 37003f746..3a895593e 100644 --- a/stdlib/source/library/lux/control/remember.lux +++ b/stdlib/source/library/lux/control/remember.lux @@ -1,40 +1,40 @@ (.using - [library - [lux "*" - [abstract - [monad {"+" do}]] - [control - ["[0]" io] - ["[0]" try] - ["[0]" exception {"+" exception:}] - ["<>" parser ("[1]#[0]" functor) - ["<c>" code {"+" Parser}]]] - [data - ["[0]" text - ["%" format {"+" format}]]] - [time - ["[0]" instant] - ["[0]" date {"+" Date} ("[1]#[0]" order)]] - ["[0]" meta] - [macro - ["[0]" code] - ["[0]" template] - [syntax {"+" syntax:}]]]]) + [library + [lux "*" + [abstract + [monad {"+" do}]] + [control + ["[0]" io] + ["[0]" try] + ["[0]" exception {"+" exception:}] + ["<>" parser ("[1]#[0]" functor) + ["<c>" code {"+" Parser}]]] + [data + ["[0]" text + ["%" format {"+" format}]]] + [time + ["[0]" instant] + ["[0]" date {"+" Date} ("[1]#[0]" order)]] + ["[0]" meta] + [macro + ["[0]" code] + ["[0]" template] + [syntax {"+" syntax:}]]]]) (exception: .public (must_remember [deadline Date today Date message Text focus (Maybe Code)]) (exception.report - ["Deadline" (%.date deadline)] - ["Today" (%.date today)] - ["Message" message] - ["Code" (case focus - {.#Some focus} - (%.code focus) + "Deadline" (%.date deadline) + "Today" (%.date today) + "Message" message + "Code" (case focus + {.#Some focus} + (%.code focus) - {.#None} - "")])) + {.#None} + ""))) (def: deadline (Parser Date) |