diff options
Diffstat (limited to 'stdlib/source/library')
215 files changed, 305 insertions, 741 deletions
diff --git a/stdlib/source/library/lux/control/concatenative.lux b/stdlib/source/library/lux/control/concatenative.lux index 344af48e8..9bd9d2355 100644 --- a/stdlib/source/library/lux/control/concatenative.lux +++ b/stdlib/source/library/lux/control/concatenative.lux @@ -8,7 +8,7 @@ ["[0]" maybe (.open: "[1]#[0]" monad)]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" mix functor)]]] ["[0]" macro (.only with_symbols) diff --git a/stdlib/source/library/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux index 4c1c608ea..38ecbdce2 100644 --- a/stdlib/source/library/lux/control/concurrency/actor.lux +++ b/stdlib/source/library/lux/control/concurrency/actor.lux @@ -16,7 +16,7 @@ ["[0]" bit] ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monoid monad)]]] ["[0]" macro (.only with_symbols) diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux index 20236531a..3c6deadeb 100644 --- a/stdlib/source/library/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux @@ -10,7 +10,7 @@ ["[0]" exception (.only exception:)]] [data [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" queue (.only Queue)]]] [math diff --git a/stdlib/source/library/lux/control/function/contract.lux b/stdlib/source/library/lux/control/function/contract.lux index fbb5dc725..753a90460 100644 --- a/stdlib/source/library/lux/control/function/contract.lux +++ b/stdlib/source/library/lux/control/function/contract.lux @@ -7,7 +7,7 @@ ["<[0]>" code]]] [data [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [macro (.only with_symbols) [syntax (.only syntax)] ["[0]" code]] diff --git a/stdlib/source/library/lux/control/function/mutual.lux b/stdlib/source/library/lux/control/function/mutual.lux index 31de42425..bdf3fbde9 100644 --- a/stdlib/source/library/lux/control/function/mutual.lux +++ b/stdlib/source/library/lux/control/function/mutual.lux @@ -12,7 +12,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] [dictionary diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux index 28f13e9b7..98d23b610 100644 --- a/stdlib/source/library/lux/control/parser/binary.lux +++ b/stdlib/source/library/lux/control/parser/binary.lux @@ -13,7 +13,7 @@ ["/" binary ["[1]" \\unsafe (.only Binary)]] [text - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/control/parser/cli.lux b/stdlib/source/library/lux/control/parser/cli.lux index 74b184d05..89ea21893 100644 --- a/stdlib/source/library/lux/control/parser/cli.lux +++ b/stdlib/source/library/lux/control/parser/cli.lux @@ -7,7 +7,7 @@ ["[0]" try (.only Try)]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] ["[0]" //]) (type: .public (Parser a) diff --git a/stdlib/source/library/lux/control/parser/environment.lux b/stdlib/source/library/lux/control/parser/environment.lux index 03051bf2b..b6a669a56 100644 --- a/stdlib/source/library/lux/control/parser/environment.lux +++ b/stdlib/source/library/lux/control/parser/environment.lux @@ -7,7 +7,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)]]]]] ["[0]" //]) diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 834845667..9e73bf80c 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -9,7 +9,7 @@ [data ["[0]" bit] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list]]] [math diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux index c110bf599..1b8a9de5a 100644 --- a/stdlib/source/library/lux/control/parser/type.lux +++ b/stdlib/source/library/lux/control/parser/type.lux @@ -9,7 +9,7 @@ ["[0]" function]] [data ["[0]" text (.open: "[1]#[0]" monoid) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]] diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux index 5f5c42d23..05680953a 100644 --- a/stdlib/source/library/lux/control/parser/xml.lux +++ b/stdlib/source/library/lux/control/parser/xml.lux @@ -8,7 +8,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list] ["[0]" dictionary]] diff --git a/stdlib/source/library/lux/control/region.lux b/stdlib/source/library/lux/control/region.lux index 066b8b890..ea1abcec3 100644 --- a/stdlib/source/library/lux/control/region.lux +++ b/stdlib/source/library/lux/control/region.lux @@ -9,7 +9,7 @@ ["[0]" try (.only Try)]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" mix)]]]]] [// diff --git a/stdlib/source/library/lux/control/remember.lux b/stdlib/source/library/lux/control/remember.lux index 372a217f3..8cd386ca6 100644 --- a/stdlib/source/library/lux/control/remember.lux +++ b/stdlib/source/library/lux/control/remember.lux @@ -11,7 +11,7 @@ ["<c>" code (.only Parser)]]] [data ["[0]" text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [time ["[0]" instant] ["[0]" date (.only Date) (.open: "[1]#[0]" order)]] diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index c7e23dfb3..90c98a89e 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -11,7 +11,7 @@ ["[0]" async (.only Async)]]] [data [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [type diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux index 5290075eb..b80d38724 100644 --- a/stdlib/source/library/lux/data/binary.lux +++ b/stdlib/source/library/lux/data/binary.lux @@ -10,7 +10,7 @@ ["[0]" exception (.only exception:)]] [data [text - ["%" format]] + ["%" \\format]] [collection ["[0]" array [\\unsafe (.only)]]]] diff --git a/stdlib/source/library/lux/data/collection/tree/zipper.lux b/stdlib/source/library/lux/data/collection/tree/zipper.lux index d69f75ef4..d02c354bb 100644 --- a/stdlib/source/library/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/library/lux/data/collection/tree/zipper.lux @@ -12,7 +12,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor monoid)]]]]] ["[0]" // (.only Tree) (.open: "[1]#[0]" functor)]) diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux deleted file mode 100644 index b64b061f3..000000000 --- a/stdlib/source/library/lux/data/format/binary.lux +++ /dev/null @@ -1,298 +0,0 @@ -(.using - [library - [lux (.except and or nat int rev list type symbol) - [ffi (.only)] - [abstract - [monoid (.only Monoid)] - [monad (.only Monad do)] - [equivalence (.only Equivalence)]] - [control - ["[0]" pipe] - ["[0]" function] - ["<>" parser (.open: "[1]#[0]" monad) - ["</>" binary (.only Offset Size Parser)]]] - [data - ["/" binary - ["[1]" \\unsafe (.only Binary)]] - ["[0]" product] - [text - ["%" format (.only format)] - [encoding - ["[0]" utf8]]] - [collection - ["[0]" list] - ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" functor)] - ["[0]" set (.only Set)] - [array - [\\unsafe (.only)]]]] - [macro - ["^" pattern]] - [math - [number - ["n" nat] - ["[0]" i64] - ["[0]" frac]]]]]) - -(with_template [<name> <extension> <post>] - [(def: <name> - (template (<name> <parameter> <subject>) - [(<post> (<extension> (.int <parameter>) (.int <subject>)))]))] - - [n#= "lux i64 =" .|>] - [n#+ "lux i64 +" .nat] - [n#* "lux i64 *" .nat] - ) - -(def: mask - (-> Size (I64 Any)) - (|>> (n#* i64.bits_per_byte) i64.mask)) - -(type: .public Mutation - (-> [Offset Binary] [Offset Binary])) - -(type: .public Specification - [Size Mutation]) - -(def: .public no_op - Specification - [0 function.identity]) - -(def: .public (instance [size mutation]) - (-> Specification Binary) - (|> size /.empty [0] mutation product.right)) - -(def: .public monoid - (Monoid Specification) - (implementation - (def: identity - ..no_op) - - (def: (composite [sizeL mutL] [sizeR mutR]) - [(n#+ sizeL sizeR) - (|>> mutL mutR)]))) - -(type: .public (Writer a) - (-> a Specification)) - -(def: .public (result writer value) - (All (_ a) (-> (Writer a) a Binary)) - (..instance (writer value))) - -(with_template [<name> <size> <write>] - [(def: .public <name> - (Writer (I64 Any)) - (function (_ value) - [<size> - (function (_ [offset binary]) - [(n#+ <size> offset) - (<write> offset value binary)])]))] - - [bits_8 </>.size_8 /.has_8!] - [bits_16 </>.size_16 /.has_16!] - [bits_32 </>.size_32 /.has_32!] - [bits_64 </>.size_64 /.has_64!] - ) - -(def: .public (or left right) - (All (_ l r) (-> (Writer l) (Writer r) (Writer (Or l r)))) - (function (_ altV) - (case altV - (^.with_template [<number> <tag> <writer>] - [{<tag> caseV} - (let [[caseS caseT] (<writer> caseV)] - [(.++ caseS) - (function (_ [offset binary]) - (|> binary - (/.has_8! offset <number>) - [(.++ offset)] - caseT))])]) - ([0 .#Left left] - [1 .#Right right]) - ))) - -(def: .public (and pre post) - (All (_ a b) (-> (Writer a) (Writer b) (Writer [a b]))) - (function (_ [preV postV]) - (at ..monoid composite (pre preV) (post postV)))) - -(def: .public (rec body) - (All (_ a) (-> (-> (Writer a) (Writer a)) (Writer a))) - (function (again value) - (body again value))) - -(def: .public any - (Writer Any) - (function.constant ..no_op)) - -(def: .public bit - (Writer Bit) - (|>> (pipe.case #0 0 #1 1) ..bits_8)) - -(with_template [<name> <type>] - [(def: .public <name> (Writer <type>) ..bits_64)] - - [nat Nat] - [int Int] - [rev Rev] - ) - -(def: .public frac - (Writer Frac) - (|>> frac.bits ..bits_64)) - -(def: .public (segment size) - (-> Nat (Writer Binary)) - (function (_ value) - [size - (function (_ [offset binary]) - [(n#+ size offset) - (/.copy! (n.min size (/.size value)) - 0 - value - offset - binary)])])) - -(with_template [<name> <bits> <size> <write>] - [(def: .public <name> - (Writer Binary) - (let [mask (..mask <size>)] - (function (_ value) - (let [size (|> value /.size (i64.and mask)) - size' (n#+ <size> size)] - [size' - (function (_ [offset binary]) - [(n#+ size' offset) - (|> binary - (<write> offset size) - (/.copy! size 0 value (n#+ <size> offset)))])]))))] - - [binary_8 ..bits_8 </>.size_8 /.has_8!] - [binary_16 ..bits_16 </>.size_16 /.has_16!] - [binary_32 ..bits_32 </>.size_32 /.has_32!] - [binary_64 ..bits_64 </>.size_64 /.has_64!] - ) - -(with_template [<name> <binary>] - [(def: .public <name> - (Writer Text) - (|>> (at utf8.codec encoded) <binary>))] - - [utf8_8 ..binary_8] - [utf8_16 ..binary_16] - [utf8_32 ..binary_32] - [utf8_64 ..binary_64] - ) - -(def: .public text ..utf8_64) - -(with_template [<name> <size> <write>] - [(def: .public (<name> valueW) - (All (_ v) (-> (Writer v) (Writer (Sequence v)))) - (function (_ value) - (let [original_count (sequence.size value) - capped_count (i64.and (..mask <size>) - original_count) - value (if (n#= original_count capped_count) - value - (|> value sequence.list (list.first capped_count) sequence.of_list)) - (open "specification#[0]") ..monoid - [size mutation] (|> value - (sequence#each valueW) - (at sequence.mix mix - (function (_ post pre) - (specification#composite pre post)) - specification#identity))] - [(n#+ <size> size) - (function (_ [offset binary]) - (|> binary - (<write> offset capped_count) - [(n#+ <size> offset)] - mutation))])))] - - [sequence_8 </>.size_8 /.has_8!] - [sequence_16 </>.size_16 /.has_16!] - [sequence_32 </>.size_32 /.has_32!] - [sequence_64 </>.size_64 /.has_64!] - ) - -(def: .public maybe - (All (_ a) (-> (Writer a) (Writer (Maybe a)))) - (..or ..any)) - -(def: .public (list value) - (All (_ a) (-> (Writer a) (Writer (List a)))) - (..rec - (|>> (..and value) - (..or ..any)))) - -(def: .public (set value) - (All (_ a) (-> (Writer a) (Writer (Set a)))) - (|>> set.list (..list value))) - -(def: .public symbol - (Writer Symbol) - (..and ..text ..text)) - -(def: .public type - (Writer Type) - (..rec - (function (_ again) - (let [pair (..and again again) - indexed ..nat - quantified (..and (..list again) again)] - (function (_ altV) - (case altV - (^.with_template [<number> <tag> <writer>] - [{<tag> caseV} - (let [[caseS caseT] (<writer> caseV)] - [(.++ caseS) - (function (_ [offset binary]) - (|> binary - (/.has_8! offset <number>) - [(.++ offset)] - caseT))])]) - ([0 .#Primitive (..and ..text (..list again))] - [1 .#Sum pair] - [2 .#Product pair] - [3 .#Function pair] - [4 .#Parameter indexed] - [5 .#Var indexed] - [6 .#Ex indexed] - [7 .#UnivQ quantified] - [8 .#ExQ quantified] - [9 .#Apply pair] - [10 .#Named (..and ..symbol again)]) - )))))) - -(def: .public location - (Writer Location) - (all ..and ..text ..nat ..nat)) - -(def: .public code - (Writer Code) - (..rec - (function (_ again) - (let [sequence (..list again)] - (..and ..location - (function (_ altV) - (case altV - (^.with_template [<number> <tag> <writer>] - [{<tag> caseV} - (let [[caseS caseT] (<writer> caseV)] - [(.++ caseS) - (function (_ [offset binary]) - (|> binary - (/.has_8! offset <number>) - [(.++ offset)] - caseT))])]) - ([0 .#Bit ..bit] - [1 .#Nat ..nat] - [2 .#Int ..int] - [3 .#Rev ..rev] - [4 .#Frac ..frac] - [5 .#Text ..text] - [6 .#Symbol ..symbol] - [7 .#Form sequence] - [8 .#Variant sequence] - [9 .#Tuple sequence]) - ))))))) diff --git a/stdlib/source/library/lux/data/format/css.lux b/stdlib/source/library/lux/data/format/css.lux index 15ca1ccf9..cbbc587c7 100644 --- a/stdlib/source/library/lux/data/format/css.lux +++ b/stdlib/source/library/lux/data/format/css.lux @@ -5,7 +5,7 @@ ["[0]" maybe]] [data ["[0]" text (.only) - ["%" format (.only format)] + ["%" \\format (.only format)] ["[0]" encoding (.only Encoding)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] diff --git a/stdlib/source/library/lux/data/format/css/class.lux b/stdlib/source/library/lux/data/format/css/class.lux index c5a3f1e53..13fec00a4 100644 --- a/stdlib/source/library/lux/data/format/css/class.lux +++ b/stdlib/source/library/lux/data/format/css/class.lux @@ -6,7 +6,7 @@ [monad (.only do)]] [data ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [macro [syntax (.only syntax)] ["[0]" code]] diff --git a/stdlib/source/library/lux/data/format/css/id.lux b/stdlib/source/library/lux/data/format/css/id.lux index be23c0f17..00f094c1a 100644 --- a/stdlib/source/library/lux/data/format/css/id.lux +++ b/stdlib/source/library/lux/data/format/css/id.lux @@ -6,7 +6,7 @@ [monad (.only do)]] [data ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [macro [syntax (.only syntax)] ["[0]" code]] diff --git a/stdlib/source/library/lux/data/format/css/query.lux b/stdlib/source/library/lux/data/format/css/query.lux index ba0ee101f..ea280933c 100644 --- a/stdlib/source/library/lux/data/format/css/query.lux +++ b/stdlib/source/library/lux/data/format/css/query.lux @@ -6,7 +6,7 @@ ["s" code]]] [data ["[0]" text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [macro ["[0]" template] ["[0]" code] diff --git a/stdlib/source/library/lux/data/format/css/selector.lux b/stdlib/source/library/lux/data/format/css/selector.lux index d982cfd55..ad025e3e9 100644 --- a/stdlib/source/library/lux/data/format/css/selector.lux +++ b/stdlib/source/library/lux/data/format/css/selector.lux @@ -4,7 +4,7 @@ ["[0]" locale (.only Locale)] [data ["[0]" text (.only) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [math [number ["i" int]]] diff --git a/stdlib/source/library/lux/data/format/css/style.lux b/stdlib/source/library/lux/data/format/css/style.lux index 4b1f26590..35348d5e7 100644 --- a/stdlib/source/library/lux/data/format/css/style.lux +++ b/stdlib/source/library/lux/data/format/css/style.lux @@ -3,7 +3,7 @@ [lux (.except) [data [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" mix)]]] [type diff --git a/stdlib/source/library/lux/data/format/css/value.lux b/stdlib/source/library/lux/data/format/css/value.lux index ea886a91a..ad27c40b7 100644 --- a/stdlib/source/library/lux/data/format/css/value.lux +++ b/stdlib/source/library/lux/data/format/css/value.lux @@ -9,7 +9,7 @@ ["[0]" color] ["[0]" product] ["[0]" text - ["%" format (.only Format format)]] + ["%" \\format (.only Format format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [macro diff --git a/stdlib/source/library/lux/data/format/html.lux b/stdlib/source/library/lux/data/format/html.lux index 6e4928bee..50b4d8de5 100644 --- a/stdlib/source/library/lux/data/format/html.lux +++ b/stdlib/source/library/lux/data/format/html.lux @@ -7,7 +7,7 @@ [data ["[0]" product] ["[0]" text - ["%" format (.only Format format)]] + ["%" \\format (.only Format format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro diff --git a/stdlib/source/library/lux/data/format/markdown.lux b/stdlib/source/library/lux/data/format/markdown.lux index 1ebea0782..1e2673a85 100644 --- a/stdlib/source/library/lux/data/format/markdown.lux +++ b/stdlib/source/library/lux/data/format/markdown.lux @@ -3,7 +3,7 @@ [lux (.except and) [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [type diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux index c3644dcee..29e03f5cd 100644 --- a/stdlib/source/library/lux/data/format/tar.lux +++ b/stdlib/source/library/lux/data/format/tar.lux @@ -13,13 +13,12 @@ [data ["[0]" product] ["[0]" binary (.only Binary) - ["[1]!" \\unsafe]] + ["[1]!" \\unsafe] + ["[0]" \\format (.only Writer) (.open: "[1]#[0]" monoid)]] ["[0]" text (.only Char) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] - ["[0]" format - ["[1]" binary (.only Writer) (.open: "[1]#[0]" monoid)]] [collection ["[0]" list (.open: "[1]#[0]" mix)] ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" mix)] @@ -62,8 +61,8 @@ (def: big_size Size 11) (with_template [<exception> <limit> <size> - <type> <in> <out> <writer> <suffix> - <coercion>] + <type> <in> <out> <writer> <suffix> + <coercion>] [(def: .public <limit> Nat (|> ..octal_size @@ -98,7 +97,7 @@ (..octal_padding <size>) (text.suffix suffix) (at utf8.codec encoded) - (format.segment padded_size)))) + (\\format.segment padded_size)))) (def: <coercion> (-> Nat <type>) @@ -201,7 +200,7 @@ ..small_size)] (|>> representation (at utf8.codec encoded) - (format.segment padded_size)))) + (\\format.segment padded_size)))) (def: checksum_parser (Parser [Nat Checksum]) @@ -281,7 +280,7 @@ (|>> representation (text.suffix suffix) (at utf8.codec encoded) - (format.segment padded_size)))) + (\\format.segment padded_size)))) (def: <parser> (Parser <type>) @@ -323,7 +322,7 @@ ..magic_size)] (|>> representation (at utf8.codec encoded) - (format.segment padded_size)))) + (\\format.segment padded_size)))) (def: magic_parser (Parser Magic) @@ -404,7 +403,7 @@ (def: link_flag_writer (Writer Link_Flag) (|>> representation - format.bits_8)) + \\format.bits_8)) (with_expansions [<options> (these [0 old_normal] [(char "0") normal] @@ -622,7 +621,7 @@ (def: header_writer' (Writer Header) - (all format.and + (all \\format.and ..path_writer ..mode_writer ..small_writer @@ -643,12 +642,12 @@ (Writer Header) (let [checksum (|> header (has #checksum ..dummy_checksum) - (format.result ..header_writer') + (\\format.result ..header_writer') ..checksum_code)] (|> header (has #checksum checksum) - (format.result ..header_writer') - (format.segment ..block_size)))) + (\\format.result ..header_writer') + (\\format.segment ..block_size)))) (def: modification_time (-> Instant Big) @@ -661,9 +660,9 @@ (-> Link_Flag (Writer File)) (function (_ [path modification_time mode ownership content]) (let [[size content] (..from_content content) - writer (all format.and + writer (all \\format.and ..header_writer - (format.segment (..rounded_content_size size)))] + (\\format.segment (..rounded_content_size size)))] (writer [[#path path #mode mode #user_id (the [#user #id] ownership) @@ -740,11 +739,11 @@ (Writer Tar) (let [end_of_archive (binary!.empty ..end_of_archive_size)] (function (_ tar) - (format#composite (sequence#mix (function (_ next total) - (format#composite total (..entry_writer next))) - format#identity - tar) - (format.segment ..end_of_archive_size end_of_archive))))) + (\\format#composite (sequence#mix (function (_ next total) + (\\format#composite total (..entry_writer next))) + \\format#identity + tar) + (\\format.segment ..end_of_archive_size end_of_archive))))) (exception: .public (wrong_checksum [expected Nat actual Nat]) diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux index b826a7753..4559e04dd 100644 --- a/stdlib/source/library/lux/data/text/buffer.lux +++ b/stdlib/source/library/lux/data/text/buffer.lux @@ -8,7 +8,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" array] ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" mix)]]] diff --git a/stdlib/source/library/lux/data/text/escape.lux b/stdlib/source/library/lux/data/text/escape.lux index 608737079..258c5c3a9 100644 --- a/stdlib/source/library/lux/data/text/escape.lux +++ b/stdlib/source/library/lux/data/text/escape.lux @@ -18,7 +18,7 @@ ["^" pattern] ["[0]" code]]]] ["[0]" // (.only Char) - ["%" format (.only format)]]) + ["%" \\format (.only format)]]) (def: sigil "\") diff --git a/stdlib/source/library/lux/data/text/format.lux b/stdlib/source/library/lux/data/text/format.lux deleted file mode 100644 index 606cace14..000000000 --- a/stdlib/source/library/lux/data/text/format.lux +++ /dev/null @@ -1,133 +0,0 @@ -(.using - [library - [lux (.except list nat int rev type symbol) - [abstract - [monad (.only do)] - [functor - ["[0]" contravariant]]] - [control - ["<>" parser (.only) - ["<[0]>" code (.only Parser)]]] - [data - ["[0]" bit] - ["[0]" text] - [format - ["[0]" xml] - ["[0]" json]] - [collection - ["[0]" list (.open: "[1]#[0]" monad)]]] - ["[0]" time (.only) - ["[0]" instant] - ["[0]" duration] - ["[0]" date] - ["[0]" day] - ["[0]" month]] - [math - ["[0]" modular] - [number - ["[0]" nat] - ["[0]" int] - ["[0]" rev] - ["[0]" frac] - ["[0]" ratio]]] - [macro - [syntax (.only syntax)] - ["[0]" code] - ["[0]" template]] - [meta - ["[0]" location] - ["[0]" symbol]] - ["[0]" type]]]) - -(type: .public (Format a) - (-> a Text)) - -(def: .public functor - (contravariant.Functor Format) - (implementation - (def: (each f fb) - (|>> f fb)))) - -(def: .public format - (syntax (_ [fragments (<>.many <code>.any)]) - (in (.list (` (all "lux text concat" (~+ fragments))))))) - -(with_template [<name> <type> <formatter>] - [(def: .public <name> - (Format <type>) - <formatter>)] - - [bit Bit (at bit.codec encoded)] - [nat Nat (at nat.decimal encoded)] - [int Int (at int.decimal encoded)] - [rev Rev (at rev.decimal encoded)] - [frac Frac (at frac.decimal encoded)] - [text Text text.format] - - [ratio ratio.Ratio (at ratio.codec encoded)] - [symbol Symbol (at symbol.codec encoded)] - [location Location location.format] - [code Code code.format] - [type Type type.format] - - [instant instant.Instant (at instant.codec encoded)] - [duration duration.Duration (at duration.codec encoded)] - [date date.Date (at date.codec encoded)] - [time time.Time (at time.codec encoded)] - [day day.Day (at day.codec encoded)] - [month month.Month (at month.codec encoded)] - - [xml xml.XML (at xml.codec encoded)] - [json json.JSON (at json.codec encoded)] - ) - -(with_template [<type> <format>,<codec>] - [(`` (with_template [<format> <codec>] - [(def: .public <format> - (Format <type>) - (at <codec> encoded))] - - (~~ (template.spliced <format>,<codec>))))] - - [Nat - [[nat_2 nat.binary] - [nat_8 nat.octal] - [nat_10 nat.decimal] - [nat_16 nat.hex]]] - [Int - [[int_2 int.binary] - [int_8 int.octal] - [int_10 int.decimal] - [int_16 int.hex]]] - [Rev - [[rev_2 rev.binary] - [rev_8 rev.octal] - [rev_10 rev.decimal] - [rev_16 rev.hex]]] - [Frac - [[frac_2 frac.binary] - [frac_8 frac.octal] - [frac_10 frac.decimal] - [frac_16 frac.hex]]] - ) - -(def: .public (mod modular) - (All (_ m) (Format (modular.Mod m))) - (let [codec (modular.codec (modular.modulus modular))] - (at codec encoded modular))) - -(def: .public (list formatter) - (All (_ a) (-> (Format a) (Format (List a)))) - (|>> (list#each (|>> formatter (format " "))) - text.together - (text.enclosed ["(list" ")"]))) - -(def: .public (maybe format) - (All (_ a) (-> (Format a) (Format (Maybe a)))) - (function (_ value) - (case value - {.#None} - "{.#None}" - - {.#Some value} - (..format "{.#Some " (format value) "}")))) diff --git a/stdlib/source/library/lux/data/text/regex.lux b/stdlib/source/library/lux/data/text/regex.lux index 491bb20bb..5a85c94af 100644 --- a/stdlib/source/library/lux/data/text/regex.lux +++ b/stdlib/source/library/lux/data/text/regex.lux @@ -24,7 +24,7 @@ [number (.only hex) ["n" nat (.open: "[1]#[0]" decimal)]]]]] ["[0]" // (.only) - ["%" format (.only format)]]) + ["%" \\format (.only format)]]) (def: regex_char^ (Parser Text) diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux index 942db335e..5aa890145 100644 --- a/stdlib/source/library/lux/debug.lux +++ b/stdlib/source/library/lux/debug.lux @@ -17,7 +17,7 @@ ["<[0]>" code]]] [data ["[0]" text (.only) - ["%" format (.only Format)]] + ["%" \\format (.only Format)]] [format [xml (.only XML)] ["[0]" json]] diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux index 22b6beba6..35fbeff10 100644 --- a/stdlib/source/library/lux/documentation.lux +++ b/stdlib/source/library/lux/documentation.lux @@ -14,7 +14,7 @@ [data ["[0]" product] ["[0]" text (.only \n) (.open: "[1]#[0]" order) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monad mix monoid)] ["[0]" set (.only Set)] diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux index 747a9697f..7d9a5bb2c 100644 --- a/stdlib/source/library/lux/ffi.jvm.lux +++ b/stdlib/source/library/lux/ffi.jvm.lux @@ -14,7 +14,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" array] ["[0]" list (.open: "[1]#[0]" monad mix monoid)] diff --git a/stdlib/source/library/lux/ffi.lux b/stdlib/source/library/lux/ffi.lux index d472f5a23..49cb0115b 100644 --- a/stdlib/source/library/lux/ffi.lux +++ b/stdlib/source/library/lux/ffi.lux @@ -13,7 +13,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format]] + ["%" \\format]] [collection ["[0]" list (.open: "[1]#[0]" monad mix)]]] ["[0]" macro (.only with_symbols) diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux index 07972b994..db6bfb42e 100644 --- a/stdlib/source/library/lux/ffi.old.lux +++ b/stdlib/source/library/lux/ffi.old.lux @@ -16,7 +16,7 @@ ["[0]" product] ["[0]" bit (.open: "[1]#[0]" codec)] ["[0]" text (.open: "[1]#[0]" equivalence monoid) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" array (.only Array)] ["[0]" list (.open: "[1]#[0]" monad mix monoid)]]] diff --git a/stdlib/source/library/lux/ffi.php.lux b/stdlib/source/library/lux/ffi.php.lux index 9dbe9e21a..fb56839d3 100644 --- a/stdlib/source/library/lux/ffi.php.lux +++ b/stdlib/source/library/lux/ffi.php.lux @@ -13,7 +13,7 @@ [data ["[0]" product] ["[0]" text - ["%" format]] + ["%" \\format]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [type diff --git a/stdlib/source/library/lux/ffi.scm.lux b/stdlib/source/library/lux/ffi.scm.lux index 34a35a3c8..257245540 100644 --- a/stdlib/source/library/lux/ffi.scm.lux +++ b/stdlib/source/library/lux/ffi.scm.lux @@ -13,7 +13,7 @@ [data ["[0]" product] ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [type diff --git a/stdlib/source/library/lux/ffi/export.js.lux b/stdlib/source/library/lux/ffi/export.js.lux index 1106d6b87..d121509d5 100644 --- a/stdlib/source/library/lux/ffi/export.js.lux +++ b/stdlib/source/library/lux/ffi/export.js.lux @@ -11,7 +11,7 @@ ["<[0]>" code]]] [data [text - ["%" format]] + ["%" \\format]] [collection ["[0]" list (.open: "[1]#[0]" monad mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/ffi/export.lua.lux b/stdlib/source/library/lux/ffi/export.lua.lux index b81ca60be..679c0e50d 100644 --- a/stdlib/source/library/lux/ffi/export.lua.lux +++ b/stdlib/source/library/lux/ffi/export.lua.lux @@ -11,7 +11,7 @@ ["<[0]>" code]]] [data [text - ["%" format]] + ["%" \\format]] [collection ["[0]" list (.open: "[1]#[0]" monad mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/ffi/export.py.lux b/stdlib/source/library/lux/ffi/export.py.lux index d96ea55d0..6c0356abb 100644 --- a/stdlib/source/library/lux/ffi/export.py.lux +++ b/stdlib/source/library/lux/ffi/export.py.lux @@ -11,7 +11,7 @@ ["<[0]>" code]]] [data [text - ["%" format]] + ["%" \\format]] [collection ["[0]" list (.open: "[1]#[0]" monad mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/ffi/export.rb.lux b/stdlib/source/library/lux/ffi/export.rb.lux index a35c801c6..16bc77b68 100644 --- a/stdlib/source/library/lux/ffi/export.rb.lux +++ b/stdlib/source/library/lux/ffi/export.rb.lux @@ -12,7 +12,7 @@ ["<[0]>" code]]] [data ["[0]" text - ["%" format] + ["%" \\format] ["<[1]>" \\parser (.only Parser)]] [collection ["[0]" list (.open: "[1]#[0]" monad mix)] diff --git a/stdlib/source/library/lux/locale.lux b/stdlib/source/library/lux/locale.lux index 3805cbc74..6b7d59c93 100644 --- a/stdlib/source/library/lux/locale.lux +++ b/stdlib/source/library/lux/locale.lux @@ -8,7 +8,7 @@ ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" text (.only) - ["%" format (.only format)] + ["%" \\format (.only format)] ["[0]" encoding (.only Encoding)]]] [type [primitive (.except)]]]] diff --git a/stdlib/source/library/lux/macro/syntax/definition.lux b/stdlib/source/library/lux/macro/syntax/definition.lux index 5b75eafeb..7bc9a964f 100644 --- a/stdlib/source/library/lux/macro/syntax/definition.lux +++ b/stdlib/source/library/lux/macro/syntax/definition.lux @@ -13,7 +13,7 @@ ["[0]" product] ["[0]" bit] ["[0]" text (.only) - ["%" format]] + ["%" \\format]] [collection ["[0]" list]]] ["[0]" macro (.only) diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux index 10b3ab895..6bd87711b 100644 --- a/stdlib/source/library/lux/math.lux +++ b/stdlib/source/library/lux/math.lux @@ -13,7 +13,7 @@ ["<[0]>" code]]] [data [text - ["%" format]] + ["%" \\format]] [collection ["[0]" list (.open: "[1]#[0]" mix)]]] [macro diff --git a/stdlib/source/library/lux/meta/configuration.lux b/stdlib/source/library/lux/meta/configuration.lux index 6e6ed68bb..abd48664e 100644 --- a/stdlib/source/library/lux/meta/configuration.lux +++ b/stdlib/source/library/lux/meta/configuration.lux @@ -13,7 +13,7 @@ ["<[0]>" code]]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format] + ["%" \\format] ["<[1]>" \\parser (.only Parser)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] diff --git a/stdlib/source/library/lux/target/common_lisp.lux b/stdlib/source/library/lux/target/common_lisp.lux index b7d110996..d058f5737 100644 --- a/stdlib/source/library/lux/target/common_lisp.lux +++ b/stdlib/source/library/lux/target/common_lisp.lux @@ -5,7 +5,7 @@ ["[0]" pipe]] [data ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monad monoid)]]] [macro diff --git a/stdlib/source/library/lux/target/js.lux b/stdlib/source/library/lux/target/js.lux index 3ee9dbcfb..ddb2359a9 100644 --- a/stdlib/source/library/lux/target/js.lux +++ b/stdlib/source/library/lux/target/js.lux @@ -5,7 +5,7 @@ ["[0]" pipe]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro diff --git a/stdlib/source/library/lux/target/jvm/attribute.lux b/stdlib/source/library/lux/target/jvm/attribute.lux index 856bb7eac..30a3fe5f3 100644 --- a/stdlib/source/library/lux/target/jvm/attribute.lux +++ b/stdlib/source/library/lux/target/jvm/attribute.lux @@ -10,8 +10,8 @@ [data ["[0]" sum] ["[0]" product] - [format - ["[0]F" binary (.only Writer)]]] + ["[0]" binary + ["[1]F" \\format (.only Writer)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux index 629fbfad6..cc795b920 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux @@ -6,8 +6,8 @@ [data ["[0]" product] ["[0]" binary (.only Binary)] - [format - ["[0]F" binary (.only Writer) (.open: "[1]#[0]" monoid)]] + ["[0]" binary + ["[1]F" \\format (.only Writer) (.open: "[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" functor mix)]]] [math diff --git a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux index 4aee14636..b71573669 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux @@ -5,8 +5,8 @@ [equivalence (.only Equivalence)]] [data ["[0]" product] - ["[0]" format - ["[1]" binary (.only Writer)]]] + [binary + ["[0]" \\format (.only Writer)]]] [math [number ["n" nat]]]]] @@ -51,7 +51,7 @@ (def: .public writer (Writer Exception) - (all format.and + (all \\format.and ////address.writer ////address.writer ////address.writer diff --git a/stdlib/source/library/lux/target/jvm/attribute/constant.lux b/stdlib/source/library/lux/target/jvm/attribute/constant.lux index 64c404daa..6e20c2ad1 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/constant.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/constant.lux @@ -4,8 +4,8 @@ [abstract [equivalence (.only Equivalence)]] [data - [format - [binary (.only Writer)]]]]] + [binary + [\\format (.only Writer)]]]]] ["[0]" /// [constant (.only Value)] ["[1][0]" index (.only Index)] diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index b9f2f4976..882c0dfdf 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -15,7 +15,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux index b7099f324..85952b623 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux @@ -7,10 +7,10 @@ [control ["[0]" try (.only Try)]] [data - [format - [binary (.only Writer)]] + [binary + [\\format (.only Writer)]] [text - ["%" format (.only Format)]]] + ["%" \\format (.only Format)]]] [math [number ["n" nat]]] diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux index e859bb3af..7702e24e7 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux @@ -8,8 +8,8 @@ ["[0]" try (.only Try)]] [data ["[0]" product] - ["[0]" format - ["[1]" binary (.only Writer) (.open: "[1]#[0]" monoid)]]] + [binary + ["[0]" \\format (.only Writer) (.open: "[1]#[0]" monoid)]]] [math [number ["n" nat]]]]] @@ -53,7 +53,7 @@ (def: .public (writer limit) (Writer Limit) - (all format#composite + (all \\format#composite (/stack.writer (the #stack limit)) (/registry.writer (the #registry limit)) )) diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux index 954c2d6fc..21643a9c1 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux @@ -6,8 +6,8 @@ [control ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] [data - [format - [binary (.only Writer)]] + [binary + [\\format (.only Writer)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux index 89ea421a1..891a6bc4f 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux @@ -8,9 +8,9 @@ ["[0]" try (.only Try)]] [data [text - ["%" format (.only Format)]] - [format - [binary (.only Writer)]]] + ["%" \\format (.only Format)]] + [binary + [\\format (.only Writer)]]] [type [primitive (.except)]]]] ["[0]" ///// diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux index 01b7e3102..498140007 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux @@ -12,9 +12,8 @@ ["[0]" product] ["[0]" binary [/ (.only)] - ["[1]" \\unsafe]] - ["[0]" format - ["[1]" binary (.only Mutation Specification)]] + ["[1]" \\unsafe] + ["[0]" \\format (.only Mutation Specification)]] [collection ["[0]" list]]] [macro @@ -58,7 +57,7 @@ (def: .public result (-> Instruction Specification) - (function.on format.no_op)) + (function.on \\format.no_op)) (type: Opcode Nat) diff --git a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux index 5d463e403..7d608a8e5 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux @@ -4,8 +4,8 @@ [abstract [equivalence (.only Equivalence)]] [data - ["[0]" format - ["[1]" binary (.only Writer)]]]]] + [binary + [\\format (.only Writer)]]]]] ["[0]" /// [encoding ["[1][0]" signed (.only S2 S4)]]]) diff --git a/stdlib/source/library/lux/target/jvm/class.lux b/stdlib/source/library/lux/target/jvm/class.lux index f365b2391..2f5e274e7 100644 --- a/stdlib/source/library/lux/target/jvm/class.lux +++ b/stdlib/source/library/lux/target/jvm/class.lux @@ -9,8 +9,8 @@ ["[0]" try (.only Try)]] [data ["[0]" product] - [format - ["[0]F" binary (.only Writer) (.open: "[1]#[0]" monoid)]] + ["[0]" binary + ["[1]F" \\format (.only Writer) (.open: "[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)]]]]] ["[0]" // diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index fa4c61142..d02197a09 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -10,8 +10,8 @@ ["[0]" sum] ["[0]" product] ["[0]" text] - [format - ["[0]F" binary (.only Writer) (.open: "[1]#[0]" monoid)]]] + ["[0]" binary + ["[1]F" \\format (.only Writer) (.open: "[1]#[0]" monoid)]]] [macro ["^" pattern] ["[0]" template]] diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux index c73271b59..b953600bf 100644 --- a/stdlib/source/library/lux/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux @@ -13,8 +13,8 @@ [data ["[0]" product] ["[0]" text] - ["[0]" format - ["[1]" binary (.only Writer) (.open: "specification#[0]" monoid)]] + [binary + ["[0]" \\format (.only Writer) (.open: "specification#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" mix)]]] [math @@ -208,7 +208,7 @@ (function (_ [next pool]) (sequence#mix (function (_ [_index post] pre) (specification#composite pre (//.writer post))) - (format.bits_16 (!index next)) + (\\format.bits_16 (!index next)) pool))) (def: .public empty diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux index aedf6fed2..88ec6eff2 100644 --- a/stdlib/source/library/lux/target/jvm/constant/tag.lux +++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux @@ -6,8 +6,8 @@ [control ["[0]" try]] [data - [format - [binary (.only Writer)]]] + [binary + [\\format (.only Writer)]]] [type [primitive (.except)]]]] ["[0]" /// diff --git a/stdlib/source/library/lux/target/jvm/encoding/name.lux b/stdlib/source/library/lux/target/jvm/encoding/name.lux index b4579d3a2..2dd465d20 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/name.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/name.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text (.only) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [type [primitive (.except)]]]]) diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux index 7896fd92e..c402c2300 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux @@ -9,9 +9,9 @@ ["[0]" exception (.only exception:)]] [data [text - ["%" format (.only format)]] - ["[0]" format - ["[1]" binary (.only Writer)]]] + ["%" \\format (.only format)]] + [binary + ["[0]" \\format (.only Writer)]]] [macro ["[0]" template]] [math @@ -106,8 +106,8 @@ (Writer <type>) (|>> representation <writer>))] - [writer/1 S1 format.bits_8] - [writer/2 S2 format.bits_16] - [writer/4 S4 format.bits_32] + [writer/1 S1 \\format.bits_8] + [writer/2 S2 \\format.bits_16] + [writer/4 S4 \\format.bits_32] ) ) diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index cbebef0f5..1c4d260dc 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -9,9 +9,9 @@ ["[0]" exception (.only exception:)]] [data [text - ["%" format (.only format)]] - ["[0]" format - ["[1]" binary (.only Writer)]]] + ["%" \\format (.only format)]] + [binary + ["[0]" \\format (.only Writer)]]] [macro ["[0]" template]] [math @@ -115,8 +115,8 @@ (Writer <type>) (|>> representation <writer>))] - [writer/1 U1 format.bits_8] - [writer/2 U2 format.bits_16] - [writer/4 U4 format.bits_32] + [writer/1 U1 \\format.bits_8] + [writer/2 U2 \\format.bits_16] + [writer/4 U4 \\format.bits_32] ) ) diff --git a/stdlib/source/library/lux/target/jvm/field.lux b/stdlib/source/library/lux/target/jvm/field.lux index 32ef049e5..28b414914 100644 --- a/stdlib/source/library/lux/target/jvm/field.lux +++ b/stdlib/source/library/lux/target/jvm/field.lux @@ -6,8 +6,8 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - [format - ["[0]F" binary (.only Writer) (.open: "[1]#[0]" monoid)]] + ["[0]" binary + ["[1]F" \\format (.only Writer) (.open: "[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)]]]]] ["[0]" // diff --git a/stdlib/source/library/lux/target/jvm/index.lux b/stdlib/source/library/lux/target/jvm/index.lux index 22f4645e3..5fa1e0bb9 100644 --- a/stdlib/source/library/lux/target/jvm/index.lux +++ b/stdlib/source/library/lux/target/jvm/index.lux @@ -4,8 +4,8 @@ [abstract ["[0]" equivalence (.only Equivalence)]] [data - [format - [binary (.only Writer)]]] + [binary + [\\format (.only Writer)]]] [type [primitive (.except)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux index 60b04fb84..f582d2140 100644 --- a/stdlib/source/library/lux/target/jvm/loader.lux +++ b/stdlib/source/library/lux/target/jvm/loader.lux @@ -14,7 +14,7 @@ [data ["[0]" binary (.only Binary)] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" array] ["[0]" dictionary (.only Dictionary)]]]]]) diff --git a/stdlib/source/library/lux/target/jvm/method.lux b/stdlib/source/library/lux/target/jvm/method.lux index 24598675f..6e7dfa4bf 100644 --- a/stdlib/source/library/lux/target/jvm/method.lux +++ b/stdlib/source/library/lux/target/jvm/method.lux @@ -8,8 +8,8 @@ ["[0]" try]] [data ["[0]" product] - ["[0]" format - ["[1]" binary (.only Writer) (.open: "[1]#[0]" monoid)]] + [binary + ["[0]" \\format (.only Writer) (.open: "[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)] ["[0]" list]]]]] @@ -74,7 +74,7 @@ {try.#Failure error} (function (_ _) {try.#Failure error})) [environment exceptions instruction output] (//bytecode.resolve environment code) - .let [bytecode (|> instruction //instruction.result format.instance)] + .let [bytecode (|> instruction //instruction.result \\format.instance)] @code (//attribute.code [//code.#limit (the //environment.#limit environment) //code.#code bytecode //code.#exception_table exceptions @@ -99,12 +99,12 @@ (def: .public (writer field) (Writer Method) - (`` (all format#composite + (`` (all \\format#composite (~~ (with_template [<writer> <slot>] [(<writer> (the <slot> field))] [//modifier.writer #modifier] [//index.writer #name] [//index.writer #descriptor] - [(format.sequence_16 //attribute.writer) #attributes])) + [(\\format.sequence_16 //attribute.writer) #attributes])) ))) diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux index 0db6fec0c..4213dd66d 100644 --- a/stdlib/source/library/lux/target/jvm/modifier.lux +++ b/stdlib/source/library/lux/target/jvm/modifier.lux @@ -9,8 +9,8 @@ ["<>" parser (.only) ["<[0]>" code]]] [data - [format - ["[0]F" binary (.only Writer)]]] + ["[0]" binary + ["[1]F" \\format (.only Writer)]]] [macro (.only with_symbols) [syntax (.only syntax)] ["[0]" code]] diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux index 3548f5c19..8369ce2f0 100644 --- a/stdlib/source/library/lux/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/reflection.lux @@ -10,7 +10,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)] + ["%" \\format (.only format)] ["<t>" \\parser]] [collection ["[0]" list (.open: "[1]#[0]" mix functor)] diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux index 88023ba23..1f7362ee6 100644 --- a/stdlib/source/library/lux/target/jvm/type.lux +++ b/stdlib/source/library/lux/target/jvm/type.lux @@ -8,7 +8,7 @@ ["[0]" maybe]] [data ["[0]" text (.only) - ["%" format (.only Format)]] + ["%" \\format (.only Format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [math diff --git a/stdlib/source/library/lux/target/jvm/type/alias.lux b/stdlib/source/library/lux/target/jvm/type/alias.lux index eb1dc6341..89e4148c6 100644 --- a/stdlib/source/library/lux/target/jvm/type/alias.lux +++ b/stdlib/source/library/lux/target/jvm/type/alias.lux @@ -10,7 +10,7 @@ ["<>" parser (.only)]] [data ["[0]" text (.only) - ["%" format (.only format)] + ["%" \\format (.only format)] ["<[1]>" \\parser (.only Parser)]] [collection ["[0]" dictionary (.only Dictionary)]]]]] diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux index 353d2a08d..b5948d6f4 100644 --- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux +++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux @@ -7,7 +7,7 @@ ["[0]" maybe]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [math diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux index 351d9c490..a9917f398 100644 --- a/stdlib/source/library/lux/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/target/jvm/type/lux.lux @@ -10,7 +10,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)] + ["%" \\format (.only format)] ["<[1]>" \\parser (.only Parser)]] [collection ["[0]" array] diff --git a/stdlib/source/library/lux/target/jvm/type/parser.lux b/stdlib/source/library/lux/target/jvm/type/parser.lux index aa64e4334..999cb620f 100644 --- a/stdlib/source/library/lux/target/jvm/type/parser.lux +++ b/stdlib/source/library/lux/target/jvm/type/parser.lux @@ -10,7 +10,7 @@ [data ["[0]" product] ["[0]" text - ["%" format (.only format)] + ["%" \\format (.only format)] ["<[1]>" \\parser (.only Parser)]] [collection ["[0]" list]]]]] diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux index 07bfe8b89..33beded66 100644 --- a/stdlib/source/library/lux/target/jvm/type/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux @@ -5,7 +5,7 @@ [equivalence (.only Equivalence)]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [type [primitive (.except)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux index 8e4cea594..04be4f980 100644 --- a/stdlib/source/library/lux/target/jvm/type/signature.lux +++ b/stdlib/source/library/lux/target/jvm/type/signature.lux @@ -8,7 +8,7 @@ ["[0]" pipe]] [data ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [type diff --git a/stdlib/source/library/lux/target/lua.lux b/stdlib/source/library/lux/target/lua.lux index d8e1a9561..ded81917a 100644 --- a/stdlib/source/library/lux/target/lua.lux +++ b/stdlib/source/library/lux/target/lua.lux @@ -12,7 +12,7 @@ ["<[0]>" code]]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro diff --git a/stdlib/source/library/lux/target/php.lux b/stdlib/source/library/lux/target/php.lux index cc545177b..ddfdd0478 100644 --- a/stdlib/source/library/lux/target/php.lux +++ b/stdlib/source/library/lux/target/php.lux @@ -12,7 +12,7 @@ ["<[0]>" code]]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux index 50fcae9d0..8d245f684 100644 --- a/stdlib/source/library/lux/target/python.lux +++ b/stdlib/source/library/lux/target/python.lux @@ -13,7 +13,7 @@ ["<[0]>" code]]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro diff --git a/stdlib/source/library/lux/target/r.lux b/stdlib/source/library/lux/target/r.lux index 0a4a61863..a5658a87c 100644 --- a/stdlib/source/library/lux/target/r.lux +++ b/stdlib/source/library/lux/target/r.lux @@ -9,7 +9,7 @@ ["<[0]>" code]]] [data ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux index 5b7ef0447..44e0018f9 100644 --- a/stdlib/source/library/lux/target/ruby.lux +++ b/stdlib/source/library/lux/target/ruby.lux @@ -12,7 +12,7 @@ ["<[0]>" code]]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro diff --git a/stdlib/source/library/lux/target/scheme.lux b/stdlib/source/library/lux/target/scheme.lux index 053945db5..ff7647574 100644 --- a/stdlib/source/library/lux/target/scheme.lux +++ b/stdlib/source/library/lux/target/scheme.lux @@ -9,7 +9,7 @@ ["[0]" pipe]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor monoid)]]] [macro diff --git a/stdlib/source/library/lux/test.lux b/stdlib/source/library/lux/test.lux index 9e0244547..d0a87c083 100644 --- a/stdlib/source/library/lux/test.lux +++ b/stdlib/source/library/lux/test.lux @@ -19,7 +19,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set (.only Set)] diff --git a/stdlib/source/library/lux/tool/compiler.lux b/stdlib/source/library/lux/tool/compiler.lux index 9943b4689..7e1bfc2c3 100644 --- a/stdlib/source/library/lux/tool/compiler.lux +++ b/stdlib/source/library/lux/tool/compiler.lux @@ -7,10 +7,9 @@ ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data - [binary (.only Binary)] ["[0]" text] - ["[0]" format - ["[1]" binary (.only Writer)]]] + [binary (.only Binary) + [\\format (.only Writer)]]] [world ["[0]" file (.only Path)]]]] [/ diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux index 74259135c..2f4f943f9 100644 --- a/stdlib/source/library/lux/tool/compiler/default/init.lux +++ b/stdlib/source/library/lux/tool/compiler/default/init.lux @@ -12,7 +12,7 @@ [binary (.only Binary)] ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary] diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux index f25ade369..4d259bf18 100644 --- a/stdlib/source/library/lux/tool/compiler/default/platform.lux +++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux @@ -15,18 +15,17 @@ ["[0]" async (.only Async Resolver) (.open: "[1]#[0]" monad)] ["[0]" stm (.only Var STM)]]] [data - ["[0]" binary (.only Binary)] ["[0]" bit] ["[0]" product] + ["[0]" binary (.only Binary) + ["_" \\format (.only Writer)]] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)] ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" mix)] ["[0]" set (.only Set)] - ["[0]" list (.open: "[1]#[0]" monoid functor mix)]] - [format - ["_" binary (.only Writer)]]] + ["[0]" list (.open: "[1]#[0]" monoid functor mix)]]] ["[0]" meta (.only) ["[0]" configuration (.only Configuration)]] [type (.only sharing) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux index 754b9321f..a5c8c9167 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux @@ -5,8 +5,8 @@ ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data - [format - ["_" binary (.only Writer)]]] + [binary + ["_" \\format (.only Writer)]]] [meta ["[0]" version]]]] ["[0]" / diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux index 669484890..471431654 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux @@ -16,7 +16,7 @@ ["[0]" product] ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only Format)]] + ["%" \\format (.only Format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux index 9be2aa322..b2dbbbb79 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux @@ -7,7 +7,7 @@ [data ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.only) - ["%" format (.only Format)]] + ["%" \\format (.only Format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux index eb147cd64..e37943c08 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -11,7 +11,7 @@ [data ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.only) - ["%" format]] + ["%" \\format]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux index 10f11ef78..06489b706 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux @@ -11,7 +11,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor monoid)]]] [macro diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux index 31a3b5cf2..7ca7b9158 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux @@ -8,7 +8,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] ["[0]" meta]]] [///// ["[0]" phase]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux index 086419cf3..6c325986d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux @@ -9,7 +9,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" mix functor)] [dictionary diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux index 3209261d4..ef3350d56 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -5,7 +5,7 @@ [equivalence (.only Equivalence)]] [data [text - ["%" format]]] + ["%" \\format]]] [math [number ["n" nat]]]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux index 8001696c1..8a2fbd7d5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux @@ -6,7 +6,7 @@ [data ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only Format)]]] + ["%" \\format (.only Format)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux index f4b85a023..f1a2943ff 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux @@ -9,7 +9,7 @@ ["[0]" try]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list]]] [macro diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux index 695920880..a978ccd16 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux @@ -11,7 +11,7 @@ [binary (.only Binary)] ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" sequence (.only Sequence)] ["[0]" list (.open: "[1]#[0]" functor mix)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux index 55aa12407..83cf9fb35 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux @@ -7,7 +7,7 @@ ["[0]" exception (.only exception:)]] [data [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list]]] [macro diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux index c0771f82e..a16d7c410 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -11,7 +11,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" mix monoid monad)]]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux index d83a3eec7..231c3e374 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -12,7 +12,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" dictionary (.only Dictionary)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux index b0e6131e4..4cc07333a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monoid monad)]]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux index cea38091d..232954fff 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -8,7 +8,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [macro ["^" pattern]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux index 212a44ae5..41f270408 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux @@ -9,7 +9,7 @@ ["[0]" exception (.only exception:)]] [data [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" mix monoid)]]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux index e2fe1fd05..f04b95a6e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux @@ -12,7 +12,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" order) - ["%" format (.only Format format)]] + ["%" \\format (.only Format format)]] [collection ["[0]" list] ["[0]" dictionary (.only Dictionary)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux index f41b488d2..bb307180d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -17,7 +17,7 @@ [binary (.only Binary)] ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)] + ["%" \\format (.only format)] ["<[1]>" \\parser]] [collection ["[0]" list (.open: "[1]#[0]" mix monad monoid)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 5e402298a..f261cbcad 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -11,7 +11,7 @@ ["<[0]>" code (.only Parser)]]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux index b770c31cc..3510a9f9e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux @@ -5,7 +5,7 @@ [monad (.only do)]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux index 43b1f0dbe..9198eff46 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux @@ -15,7 +15,7 @@ [binary (.only Binary)] ["[0]" product] ["[0]" text - ["%" format (.only format)] + ["%" \\format (.only format)] ["<[1]>" \\parser]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux index 2072d1a8e..51f2e09be 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux @@ -16,7 +16,7 @@ ["[0]" binary] ["[0]" product] ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary] ["[0]" array] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux index 1eeb12ede..9452e620b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary] ["[0]" set] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux index 324dfc656..2b7bb2062 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux @@ -12,7 +12,7 @@ ["[0]" dictionary] ["[0]" list]] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [target ["_" common_lisp (.only Var Expression)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux index 2c640c1ed..6f5057d00 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format] + ["%" \\format] ["<[1]>" \\parser]] [collection ["[0]" list (.open: "[1]#[0]" monad mix monoid)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux index 334e7a924..d3d7c76d6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary] ["[0]" list (.open: "[1]#[0]" functor mix)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux index 9b292c7e7..f2a8e2938 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux @@ -12,7 +12,7 @@ ["[0]" dictionary] ["[0]" list]] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [target ["_" lua (.only Var Expression)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux index 449c84171..898a3e8b0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary] ["[0]" set] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux index e6bfc780f..353c6d055 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux @@ -12,7 +12,7 @@ ["[0]" dictionary] ["[0]" list]] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [target ["_" php (.only Var Expression)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux index adc889695..933f52e74 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary] ["[0]" list (.open: "[1]#[0]" functor mix)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux index ba6885829..e62529746 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux @@ -9,7 +9,7 @@ ["<s>" synthesis (.only Parser)]]] [data ["[0]" text (.only) - ["%" format]] + ["%" \\format]] [collection ["[0]" dictionary] ["[0]" list]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux index 345d82477..530f76072 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary] ["[0]" set] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux index ed9494548..d03538b0b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux @@ -12,7 +12,7 @@ ["[0]" dictionary] ["[0]" list]] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [target ["_" r (.only Var Expression)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux index 695b5e1e7..07d25add0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary] ["[0]" list (.open: "[1]#[0]" functor mix)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux index 6decb3fcf..7dcf5c1cb 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux @@ -12,7 +12,7 @@ ["[0]" dictionary] ["[0]" list]] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [target ["_" ruby (.only Var Expression)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux index 18f902d29..0ed822b89 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary] ["[0]" set] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux index bbec22567..f14556827 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux @@ -12,7 +12,7 @@ ["[0]" dictionary] ["[0]" list]] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [target ["_" scheme (.only Var Expression)]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux index 544430b22..553bb6734 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux @@ -7,7 +7,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix monoid)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux index a046cf31e..29ed270dd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux @@ -8,7 +8,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [target diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux index ca449f06b..7d6e7a6e7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux @@ -6,7 +6,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux index 6c484b274..e5b54688c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] ["[0]" encoding]] [collection ["[0]" list (.open: "[1]#[0]" functor monoid)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux index ff96c9fe7..58b0e104a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux @@ -6,7 +6,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux index 929b2a2e0..de5ee0616 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux @@ -6,7 +6,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux index b51c272d6..0bda3304e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux index 3ab3c67f7..73ec8260e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux @@ -9,7 +9,7 @@ [collection ["[0]" list (.open: "[1]#[0]" mix)]] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux index 020956cf5..f86e61b14 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux @@ -9,7 +9,7 @@ [data [binary (.only Binary)] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [world ["[0]" file (.only File)]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux index f2c69f056..feebb5be2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux @@ -3,7 +3,7 @@ [lux (.except Type) [data [text - ["%" format]]] + ["%" \\format]]] [target [jvm ["[0]" type (.only Type) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux index 359cfa04b..0a1eba71c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux @@ -15,7 +15,7 @@ [binary (.only Binary)] ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" array] ["[0]" dictionary (.only Dictionary)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux index 21b5a57b4..b2c6f47ba 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux @@ -5,7 +5,7 @@ [monad (.only do)]] [data [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [target [jvm ["_" bytecode (.only Bytecode)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux index 2bd75098b..6331379f2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux @@ -7,15 +7,14 @@ [control ["[0]" try]] [data - [binary (.only Binary)] ["[0]" product] + [binary (.only Binary) + ["[0]" \\format]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]] - ["[0]" format - ["[1]" binary]] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [math [number ["n" nat] @@ -546,7 +545,7 @@ (all modifier#composite class.public class.final)) - bytecode (<| (format.result class.writer) + bytecode (<| (\\format.result class.writer) try.trusted (class.class jvm/version.v6_0 modifier @@ -619,7 +618,7 @@ //function/count.field #0 //function/count.type sequence.empty)) - bytecode (<| (format.result class.writer) + bytecode (<| (\\format.result class.writer) try.trusted (class.class jvm/version.v6_0 modifier diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux index 725a1f82b..7ade9486a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux index 1c8bfca9b..79bba0796 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux @@ -6,7 +6,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux index 5e3a16128..71654a483 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux @@ -6,7 +6,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux index 8898da66d..b97413f9b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux index c4f5534ac..f9ea165c8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux @@ -6,7 +6,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux index f765d593e..b0c6a19a0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux @@ -8,7 +8,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux index c275144ac..f9798f4e6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux @@ -6,7 +6,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set (.only Set)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux index 501c2ac3d..a8a1229dd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux index 0997c9a9b..6b7d425f9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux index feb8d0c26..abcc258a4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux @@ -6,7 +6,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux index d4e202ffc..9dc509654 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux @@ -6,7 +6,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux index c0101452a..194f641ee 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux @@ -10,7 +10,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux index a587c3883..6f41454c2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux @@ -6,7 +6,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux index 2e9a49cef..af38457a9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux @@ -8,7 +8,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux index 3b154ef14..9c0a9cfa1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux @@ -6,7 +6,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set (.only Set)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux index fbd61560c..20d9475a1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux index ef188574b..93183d209 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux @@ -4,7 +4,7 @@ ["@" target] [data [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [meta ["[0]" version]]]] ["[0]" //// diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux index 4c9de660a..3ddd687e1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux @@ -7,7 +7,7 @@ [exception (.only exception:)]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux index d0ff811b2..2ebe8edbb 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux @@ -6,7 +6,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux index 3686ad6d9..930206963 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux @@ -6,7 +6,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux index ca2346d95..9552d15ac 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux index bcaf13e2f..7cbfc7bfe 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux @@ -6,7 +6,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux index 6f5654056..47297cb47 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux @@ -8,7 +8,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [target diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux index 6796a3944..8ca9af784 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux @@ -6,7 +6,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set (.only Set)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux index ab4177125..ecac319c2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux index 81e10d318..8f29f5d0b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -10,7 +10,7 @@ ["[0]" exception (.only exception:)]] [data [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor monoid)]]] [macro diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index 6cd117d2d..51de85771 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux @@ -10,7 +10,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format]] + ["%" \\format]] [collection ["[0]" dictionary (.only Dictionary)] ["[0]" list (.open: "[1]#[0]" functor mix)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux index 11d63955b..fcf6e4cdc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux @@ -10,7 +10,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]]]] [//// diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux index eb9402464..908e3898b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux @@ -38,7 +38,7 @@ [data ["[0]" text (.only) [\\parser (.only Offset)] - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list] ["[0]" dictionary (.only Dictionary)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux index 726b4f3bf..9b61d3737 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux @@ -13,7 +13,7 @@ ["[0]" product] ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only Format format)]] + ["%" \\format (.only Format format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux index 3d211344f..dba26b8af 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux @@ -7,7 +7,7 @@ [data ["[0]" sum] [text - ["%" format (.only Format)]]]]] + ["%" \\format (.only Format)]]]]] ["[0]" / ["[1][0]" side (.only Side)] ["[1][0]" member (.only Member)]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux index 9c06a680a..24482862a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/member.lux @@ -8,7 +8,7 @@ ["[0]" product] ["[0]" bit] [text - ["%" format]]] + ["%" \\format]]] [math [number ["[0]" nat]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux index 0ba13495a..89dd5e86a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access/side.lux @@ -8,7 +8,7 @@ ["[0]" product] ["[0]" bit] [text - ["%" format]]] + ["%" \\format]]] [math [number ["[0]" nat]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux index d9e04bdef..343619a25 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -9,7 +9,7 @@ [data ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format]]] + ["%" \\format]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux index 1f12940df..fd47dbe30 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux @@ -12,12 +12,11 @@ ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data - [binary (.only Binary)] ["[0]" product] + [binary (.only Binary) + ["[0]" \\format (.only Writer)]] ["[0]" text (.only) - ["%" format (.only format)]] - [format - ["[0]" binary (.only Writer)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] @@ -229,10 +228,10 @@ (def: writer (Writer ..Frozen) - (all binary.and - binary.nat - binary.nat - (binary.list (binary.and binary.text binary.nat)))) + (all \\format.and + \\format.nat + \\format.nat + (\\format.list (\\format.and \\format.text \\format.nat)))) (def: .public (export version archive) (-> Version Archive Binary) @@ -244,7 +243,7 @@ {.#Some _} {.#Some [module id]} {.#None} {.#None}))) [version /#next] - (binary.result ..writer)))) + (\\format.result ..writer)))) (exception: .public (version_mismatch [expected Version actual Version]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux index 702be60b8..75934414f 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -9,10 +9,10 @@ [data ["[0]" product] ["[0]" text] + [binary + ["[0]" \\format (.only Writer)]] [collection - ["[0]" set (.only Set)]] - ["[0]" format - ["[1]" binary (.only Writer)]]] + ["[0]" set (.only Set)]]] [macro ["^" pattern]] [math @@ -63,12 +63,12 @@ (def: .public writer (Writer Descriptor) - (all format.and - format.text - format.text - format.nat - format.any - (format.set format.text) + (all \\format.and + \\format.text + \\format.text + \\format.nat + \\format.any + (\\format.set \\format.text) )) (def: .public parser diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux index 30404cc59..684277ae4 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux @@ -11,8 +11,8 @@ [data [collection ["[0]" dictionary (.only Dictionary)]] - [format - ["[0]" binary (.only Writer)]]] + ["[0]" binary + ["[1]" \\format (.only Writer)]]] [type (.only sharing) [primitive (.except)]]]] [/// diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux index dc0ed11fc..ffe3b439f 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux @@ -11,15 +11,15 @@ ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] + ["[0]" binary + ["[1]" \\format (.only Writer)]] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection [set (.only Set)] ["[0]" list] ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" functor mix)] - ["[0]" dictionary (.only Dictionary)]] - [format - ["[0]" binary (.only Writer)]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]] [type diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux index 0c4c8844c..c4d347c21 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux @@ -8,10 +8,10 @@ ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] + ["[0]" binary + ["[1]" \\format (.only Writer)]] ["[0]" text (.only) - ["%" format (.only format)]] - [format - ["[0]" binary (.only Writer)]]] + ["%" \\format (.only format)]]] [math [number ["[0]" nat]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux index db55f4e1f..9ce35e1b5 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux @@ -7,7 +7,7 @@ [data ["[0]" product] [text - ["%" format]] + ["%" \\format]] [collection ["[0]" set (.only Set)]]] [math diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache.lux b/stdlib/source/library/lux/tool/compiler/meta/cache.lux index da7a95abf..15cdef528 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache.lux @@ -7,7 +7,7 @@ ["[0]" try (.only Try)]] [data [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [world ["[0]" file]]]] ["[0]" // (.only) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux index 8a60f6d41..4710ce851 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux @@ -5,7 +5,7 @@ [try (.only Try)]] [data [text - ["%" format]]] + ["%" \\format]]] [world ["[0]" file]]]] ["[0]" // (.only) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux index 66e347398..8494dba2c 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux @@ -9,7 +9,7 @@ [data [binary (.only Binary)] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [world ["[0]" file]]]] ["[0]" // diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux index b1d64ebb5..5cad8e963 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux @@ -11,7 +11,7 @@ ["[0]" memo (.only Memo)]]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux index 603aa2ffd..59c7f5b50 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux @@ -12,7 +12,7 @@ [binary (.only Binary)] ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli.lux b/stdlib/source/library/lux/tool/compiler/meta/cli.lux index d8ea47bf1..ea10958bd 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli.lux @@ -11,7 +11,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format] + ["%" \\format] ["<[1]>" \\parser]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux index 317506075..40ee7afe4 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux @@ -9,7 +9,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format] + ["%" \\format] ["<[1]>" \\parser (.only Parser)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/export.lux b/stdlib/source/library/lux/tool/compiler/meta/export.lux index 5446de96d..2871ecf8e 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/export.lux @@ -9,12 +9,13 @@ ["[0]" async (.only Async) (.open: "[1]#[0]" functor)]]] [data ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] + ["[0]" binary + ["[1]" \\format]] [collection ["[0]" dictionary] ["[0]" sequence]] [format - ["[0]" binary] ["[0]" tar]]] [time ["[0]" instant]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/import.lux b/stdlib/source/library/lux/tool/compiler/meta/import.lux index b752d9f2f..977d0536c 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/import.lux @@ -13,7 +13,7 @@ [data [binary (.only Binary)] ["[0]" text (.only) - ["%" format]] + ["%" \\format]] [collection ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux index 4935aae78..90afd44d8 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux @@ -14,7 +14,7 @@ [binary (.only Binary)] ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection [set (.only Set)] ["[0]" list (.open: "[1]#[0]" mix)] diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux index 4122a31ad..6845f5cce 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux @@ -14,7 +14,7 @@ [data [binary (.only Binary)] ["[0]" text (.open: "[1]#[0]" hash) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux index 6d4535137..c19c7ed00 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux @@ -10,7 +10,7 @@ [data ["[0]" binary (.only Binary)] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" sequence] ["[0]" list (.open: "[1]#[0]" functor)] diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux index 3b0791c9d..95115a376 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux @@ -10,7 +10,7 @@ [binary (.only Binary)] ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux index c408bb291..836d56ba6 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux @@ -7,10 +7,11 @@ [control ["[0]" try (.only Try)]] [data - [binary (.only Binary)] ["[0]" product] + ["[0]" binary (.only Binary) + ["[1]" \\format]] ["[0]" text (.only) - ["%" format (.only format)] + ["%" \\format (.only format)] ["[0]" encoding]] [collection ["[0]" sequence] @@ -18,8 +19,7 @@ ["[0]" dictionary (.only Dictionary)] ["[0]" set]] [format - ["[0]" tar] - ["[0]" binary]]] + ["[0]" tar]]] [target ["_" scheme]] [time diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux index ddb0ff4cd..4c0a79c77 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux @@ -10,7 +10,7 @@ [binary (.only Binary)] ["[0]" product] [text - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux index 26e6e7637..97eb3944c 100644 --- a/stdlib/source/library/lux/tool/compiler/phase.lux +++ b/stdlib/source/library/lux/tool/compiler/phase.lux @@ -12,7 +12,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [time ["[0]" instant] ["[0]" duration]]]] diff --git a/stdlib/source/library/lux/tool/compiler/reference.lux b/stdlib/source/library/lux/tool/compiler/reference.lux index 33940e6f7..78539332c 100644 --- a/stdlib/source/library/lux/tool/compiler/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/reference.lux @@ -8,7 +8,7 @@ ["[0]" pipe]] [data [text - ["%" format (.only Format)]]] + ["%" \\format (.only Format)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/library/lux/tool/compiler/reference/variable.lux b/stdlib/source/library/lux/tool/compiler/reference/variable.lux index 787f15e9f..8dea1368a 100644 --- a/stdlib/source/library/lux/tool/compiler/reference/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/reference/variable.lux @@ -8,7 +8,7 @@ ["[0]" pipe]] [data [text - ["%" format (.only Format)]]] + ["%" \\format (.only Format)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/library/lux/tool/compiler/version.lux b/stdlib/source/library/lux/tool/compiler/version.lux index b6f024f06..67fe69189 100644 --- a/stdlib/source/library/lux/tool/compiler/version.lux +++ b/stdlib/source/library/lux/tool/compiler/version.lux @@ -3,7 +3,7 @@ [lux (.except) [data [text - ["%" format]]] + ["%" \\format]]] [math [number ["n" nat]]]]]) diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux index 2da1b12f8..3ba22ff82 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -7,7 +7,7 @@ ["ex" exception (.only exception:)]] [data ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [type (.only sharing) ["[0]" check]] [compiler diff --git a/stdlib/source/library/lux/type/dynamic.lux b/stdlib/source/library/lux/type/dynamic.lux index d08962051..0c10c31bf 100644 --- a/stdlib/source/library/lux/type/dynamic.lux +++ b/stdlib/source/library/lux/type/dynamic.lux @@ -9,7 +9,7 @@ ["<[0]>" code]]] [data [text - ["%" format]]] + ["%" \\format]]] [macro (.only with_symbols) ["[0]" syntax (.only syntax)]] ["[0]" type (.only) diff --git a/stdlib/source/library/lux/type/implicit.lux b/stdlib/source/library/lux/type/implicit.lux index b00cb8081..13b1d4c90 100644 --- a/stdlib/source/library/lux/type/implicit.lux +++ b/stdlib/source/library/lux/type/implicit.lux @@ -12,7 +12,7 @@ [data ["[0]" product] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monad mix)] ["[0]" dictionary (.only Dictionary)]]] diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux index 9cb69fbbe..c9f7b13d7 100644 --- a/stdlib/source/library/lux/type/resource.lux +++ b/stdlib/source/library/lux/type/resource.lux @@ -12,7 +12,7 @@ ["<[0]>" code (.only Parser)]]] [data [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" set] ["[0]" sequence (.only Sequence)] diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux index b3eed082a..bae4b1bfb 100644 --- a/stdlib/source/library/lux/type/unit.lux +++ b/stdlib/source/library/lux/type/unit.lux @@ -12,7 +12,7 @@ ["<[0]>" code (.only Parser)]]] [data ["[0]" text (.only) - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [macro ["[0]" code] ["[0]" template] diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux index ab9149b92..f7fee43da 100644 --- a/stdlib/source/library/lux/world/console.lux +++ b/stdlib/source/library/lux/world/console.lux @@ -15,7 +15,7 @@ ["[0]" atom]]] [data ["[0]" text (.only Char) - ["%" format (.only format)]]]]]) + ["%" \\format (.only format)]]]]]) (type: .public (Console !) (Interface diff --git a/stdlib/source/library/lux/world/db/jdbc.lux b/stdlib/source/library/lux/world/db/jdbc.lux index e051f65bb..d19e53c47 100644 --- a/stdlib/source/library/lux/world/db/jdbc.lux +++ b/stdlib/source/library/lux/world/db/jdbc.lux @@ -14,7 +14,7 @@ [data ["[0]" product] [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] ["[0]" io (.only IO)] [world [net (.only URL)]] diff --git a/stdlib/source/library/lux/world/db/sql.lux b/stdlib/source/library/lux/world/db/sql.lux index dba1f3c1a..db9042b05 100644 --- a/stdlib/source/library/lux/world/db/sql.lux +++ b/stdlib/source/library/lux/world/db/sql.lux @@ -7,7 +7,7 @@ [number ["i" int]] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [macro diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux index 0a5917557..51abe0483 100644 --- a/stdlib/source/library/lux/world/file.lux +++ b/stdlib/source/library/lux/world/file.lux @@ -19,7 +19,7 @@ ["[0]" product] ["[0]" binary (.only Binary)] ["[0]" text (.open: "[1]#[0]" equivalence) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" array (.only Array)] ["[0]" list (.open: "[1]#[0]" functor)] diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux index 9ae49eb74..d9b982faf 100644 --- a/stdlib/source/library/lux/world/file/watch.lux +++ b/stdlib/source/library/lux/world/file/watch.lux @@ -17,7 +17,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)] ["[0]" list (.open: "[1]#[0]" functor monoid mix)] diff --git a/stdlib/source/library/lux/world/net/http/cookie.lux b/stdlib/source/library/lux/world/net/http/cookie.lux index f35f4fa36..dd17d428e 100644 --- a/stdlib/source/library/lux/world/net/http/cookie.lux +++ b/stdlib/source/library/lux/world/net/http/cookie.lux @@ -10,7 +10,7 @@ [number ["i" int]] [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [format ["[0]" context (.only Context)]] [collection diff --git a/stdlib/source/library/lux/world/net/http/header.lux b/stdlib/source/library/lux/world/net/http/header.lux index ea619c9d7..95fd9713c 100644 --- a/stdlib/source/library/lux/world/net/http/header.lux +++ b/stdlib/source/library/lux/world/net/http/header.lux @@ -5,7 +5,7 @@ ["[0]" pipe]] [data [text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)]]]]] [// (.only Header) diff --git a/stdlib/source/library/lux/world/net/http/mime.lux b/stdlib/source/library/lux/world/net/http/mime.lux index 372a19b8f..a1479c4c3 100644 --- a/stdlib/source/library/lux/world/net/http/mime.lux +++ b/stdlib/source/library/lux/world/net/http/mime.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)] + ["%" \\format (.only format)] ["[0]" encoding (.only Encoding)]]] [type [primitive (.except)]]]]) diff --git a/stdlib/source/library/lux/world/net/http/query.lux b/stdlib/source/library/lux/world/net/http/query.lux index ed115d88f..3409734a7 100644 --- a/stdlib/source/library/lux/world/net/http/query.lux +++ b/stdlib/source/library/lux/world/net/http/query.lux @@ -11,7 +11,7 @@ [number ["[0]" nat]] ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [format ["[0]" context (.only Context)]] [collection diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux index b042258fb..c52064a8c 100644 --- a/stdlib/source/library/lux/world/program.lux +++ b/stdlib/source/library/lux/world/program.lux @@ -18,7 +18,7 @@ [data ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.only) - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" array (.only Array)] ["[0]" dictionary (.only Dictionary)] diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index cf376ebb5..79fc635a9 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -20,7 +20,7 @@ [data ["[0]" product] ["[0]" text (.only) - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [collection |