diff options
Diffstat (limited to 'stdlib/source/library')
53 files changed, 191 insertions, 191 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 7cc43774e..67f2dc4d3 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -4804,7 +4804,7 @@ [rev ..Rev] ) -(macro: .public (as_is tokens compiler) +(macro: .public (these tokens compiler) {#Right [compiler tokens]}) (macro: .public (char tokens compiler) @@ -4880,7 +4880,7 @@ (failure (..wrong_syntax_error (symbol ..for))))) ... TODO: Delete "scope_type_vars" (including the #scope_type_vars Lux state) and "parameter" ASAP. -(for "{old}" (as_is (def: (scope_type_vars state) +(for "{old}" (these (def: (scope_type_vars state) (Meta (List Nat)) (case state [..#info info ..#source source ..#current_module _ ..#modules modules @@ -4903,7 +4903,7 @@ _ (failure (..wrong_syntax_error (symbol ..$)))))) - (as_is (def: .public parameter ""))) + (these (def: .public parameter ""))) (macro: .public (using _imports) (do meta_monad diff --git a/stdlib/source/library/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux index 715b2b98f..16a789547 100644 --- a/stdlib/source/library/lux/control/concurrency/actor.lux +++ b/stdlib/source/library/lux/control/concurrency/actor.lux @@ -39,9 +39,9 @@ (exception: .public dead) (with_expansions - [<Mail> (as_is (-> s (Actor s) (Async (Try s)))) - <Obituary> (as_is [Text s (List <Mail>)]) - <Mailbox> (as_is (Rec Mailbox + [<Mail> (these (-> s (Actor s) (Async (Try s)))) + <Obituary> (these [Text s (List <Mail>)]) + <Mailbox> (these (Rec Mailbox [(Async [<Mail> Mailbox]) (Resolver [<Mail> Mailbox])]))] diff --git a/stdlib/source/library/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux index 1fe0d8262..8fd8e86bf 100644 --- a/stdlib/source/library/lux/control/concurrency/atom.lux +++ b/stdlib/source/library/lux/control/concurrency/atom.lux @@ -15,14 +15,14 @@ [type [abstract {"-" pattern}]]]]) -(with_expansions [<jvm> (as_is (ffi.import: (java/util/concurrent/atomic/AtomicReference a) +(with_expansions [<jvm> (these (ffi.import: (java/util/concurrent/atomic/AtomicReference a) "[1]::[0]" (new [a]) (get [] "io" a) (compareAndSet [a a] boolean)))] (for @.old <jvm> @.jvm <jvm> - (as_is))) + (these))) (with_expansions [<new> (for @.js "js array new" @.python "python array new" @@ -30,14 +30,14 @@ @.ruby "ruby array new" @.php "php array new" @.scheme "scheme array new" - (as_is)) + (these)) <write> (for @.js "js array write" @.python "python array write" @.lua "lua array write" @.ruby "ruby array write" @.php "php array write" @.scheme "scheme array write" - (as_is)) + (these)) <read> (for @.js "js array read" @.python "python array read" @@ -45,7 +45,7 @@ @.ruby "ruby array read" @.php "php array read" @.scheme "scheme array read" - (as_is))] + (these))] (abstract: .public (Atom a) (with_expansions [<jvm> (java/util/concurrent/atomic/AtomicReference a)] (for @.old <jvm> diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux index 504e5472b..1e177aa5e 100644 --- a/stdlib/source/library/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux @@ -51,7 +51,7 @@ (async.async []))] (exec (io.run! - (with_expansions [<had_open_position?> (as_is (the #open_positions) (i.> -1))] + (with_expansions [<had_open_position?> (these (the #open_positions) (i.> -1))] (do io.monad [[_ state'] (atom.update! (|>> (revised #open_positions --) (pipe.if [<had_open_position?>] diff --git a/stdlib/source/library/lux/control/concurrency/thread.lux b/stdlib/source/library/lux/control/concurrency/thread.lux index 6c2a36ebc..a885b63a9 100644 --- a/stdlib/source/library/lux/control/concurrency/thread.lux +++ b/stdlib/source/library/lux/control/concurrency/thread.lux @@ -24,7 +24,7 @@ [// ["[0]" atom {"+" Atom}]]) -(with_expansions [<jvm> (as_is (ffi.import: java/lang/Object +(with_expansions [<jvm> (these (ffi.import: java/lang/Object "[1]::[0]") (ffi.import: java/lang/Long @@ -53,11 +53,11 @@ "[1]::[0]" (new [int]) (schedule [java/lang/Runnable long java/util/concurrent/TimeUnit] "io" (java/util/concurrent/ScheduledFuture java/lang/Object))))] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) + (for @.old (these <jvm>) + @.jvm (these <jvm>) @.js - (as_is (ffi.import: (setTimeout [ffi.Function ffi.Number] "io" Any))) + (these (ffi.import: (setTimeout [ffi.Function ffi.Number] "io" Any))) @.python (ffi.import: threading/Timer @@ -88,7 +88,7 @@ ... Default <default>))) -(with_expansions [<jvm> (as_is (def: runner +(with_expansions [<jvm> (these (def: runner java/util/concurrent/ScheduledThreadPoolExecutor (|> ..parallelism .int @@ -96,11 +96,11 @@ java/util/concurrent/ScheduledThreadPoolExecutor::new)))] (for @.old <jvm> @.jvm <jvm> - @.js (as_is) - @.python (as_is) + @.js (these) + @.python (these) ... Default - (as_is (def: started? + (these (def: started? (Atom Bit) (atom.atom false)) (def: runner @@ -122,7 +122,7 @@ (def: .public (schedule! milli_seconds action) (-> Nat (IO Any) (IO Any)) - (with_expansions [<jvm> (as_is (let [runnable (ffi.object [] [java/lang/Runnable] + (with_expansions [<jvm> (these (let [runnable (ffi.object [] [java/lang/Runnable] [] (java/lang/Runnable [] (run self []) void (..execute! action)))] @@ -153,13 +153,13 @@ ..runner)] (in []))))) -(for @.old (as_is) - @.jvm (as_is) - @.js (as_is) - @.python (as_is) +(for @.old (these) + @.jvm (these) + @.js (these) + @.python (these) ... Default - (as_is (exception: .public cannot_continue_running_threads) + (these (exception: .public cannot_continue_running_threads) ... https://en.wikipedia.org/wiki/Event_loop ... Starts the event-loop. diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux index b6794db76..078fedb7e 100644 --- a/stdlib/source/library/lux/control/parser/analysis.lux +++ b/stdlib/source/library/lux/control/parser/analysis.lux @@ -89,7 +89,7 @@ _ false)]})) (template [<query> <assertion> <tag> <type> <eq>] - [(`` (as_is (def: .public <query> + [(`` (these (def: .public <query> (Parser <type>) (function (_ input) (case input diff --git a/stdlib/source/library/lux/control/parser/code.lux b/stdlib/source/library/lux/control/parser/code.lux index 6b76cd137..554ad21e9 100644 --- a/stdlib/source/library/lux/control/parser/code.lux +++ b/stdlib/source/library/lux/control/parser/code.lux @@ -58,7 +58,7 @@ {try.#Success [tokens next]}))) (template [<query> <check> <type> <tag> <eq> <desc>] - [(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse " <desc> (remaining_inputs tokens))})] + [(with_expansions [<failure> (these {try.#Failure ($_ text#composite "Cannot parse " <desc> (remaining_inputs tokens))})] (def: .public <query> (Parser <type>) (function (_ tokens) @@ -103,7 +103,7 @@ _ {try.#Failure "There are no tokens to parse!"}))) -(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})] +(with_expansions [<failure> (these {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})] (def: .public local (Parser Text) (function (_ tokens) @@ -126,7 +126,7 @@ _ <failure>)))) -(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})] +(with_expansions [<failure> (these {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})] (def: .public global (Parser Symbol) (function (_ tokens) diff --git a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux index d7e8d99d1..217c07d1e 100644 --- a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux @@ -162,7 +162,7 @@ {#Black} (with_expansions - [<default_behavior> (as_is (black (the #key center) + [<default_behavior> (these (black (the #key center) (the #value center) {.#Some addition} (the #right center)))] @@ -211,7 +211,7 @@ {#Black} (with_expansions - [<default_behavior> (as_is (black (the #key center) + [<default_behavior> (these (black (the #key center) (the #value center) (the #left center) {.#Some addition}))] diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux index 422d11814..2387b162f 100644 --- a/stdlib/source/library/lux/data/format/tar.lux +++ b/stdlib/source/library/lux/data/format/tar.lux @@ -403,7 +403,7 @@ (|>> representation format.bits/8)) - (with_expansions [<options> (as_is [0 old_normal] + (with_expansions [<options> (these [0 old_normal] [(char "0") normal] [(char "1") link] [(char "2") symbolic_link] @@ -463,7 +463,7 @@ (exception.report "Value" (%.nat value))) - (with_expansions [<options> (as_is ["0000" none] + (with_expansions [<options> (these ["0000" none] ["0001" execute_by_other] ["0002" write_by_other] diff --git a/stdlib/source/library/lux/data/text.lux b/stdlib/source/library/lux/data/text.lux index 9380fce55..5ac09a8e5 100644 --- a/stdlib/source/library/lux/data/text.lux +++ b/stdlib/source/library/lux/data/text.lux @@ -184,7 +184,7 @@ [[pre post] (..split_by pattern template)] (in ($_ "lux text concat" pre replacement post))))) -(for @.js (as_is (macro: (defined? tokens lux) +(for @.js (these (macro: (defined? tokens lux) (case tokens (pattern (list it)) {.#Right [lux (list (` (.case ("js type-of" ("js constant" (~ it))) @@ -207,7 +207,7 @@ _ {.#Left ""}))) - (as_is)) + (these)) (def: .public (replaced pattern replacement template) (-> Text Text Text Text) diff --git a/stdlib/source/library/lux/data/text/buffer.lux b/stdlib/source/library/lux/data/text/buffer.lux index eb1cecf59..341c9a688 100644 --- a/stdlib/source/library/lux/data/text/buffer.lux +++ b/stdlib/source/library/lux/data/text/buffer.lux @@ -19,7 +19,7 @@ [abstract {"-" pattern}]]]] ["[0]" //]) -(with_expansions [<jvm> (as_is (import: java/lang/CharSequence +(with_expansions [<jvm> (these (import: java/lang/CharSequence "[1]::[0]") (import: java/lang/Appendable @@ -35,18 +35,18 @@ "[1]::[0]" (new [int]) (toString [] java/lang/String)))] - (`` (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) - @.js (as_is (import: (JS_Array a) + (`` (for @.old (these <jvm>) + @.jvm (these <jvm>) + @.js (these (import: (JS_Array a) "[1]::[0]" (push [a] a) (join [Text] Text))) - @.lua (as_is (import: (table/concat [(array.Array Text) Text] Text)) + @.lua (these (import: (table/concat [(array.Array Text) Text] Text)) ...https://www.lua.org/manual/5.3/manual.html#pdf-table.concat (import: (table/insert [(array.Array Text) Text] "?" Nothing)) ... https://www.lua.org/manual/5.3/manual.html#pdf-table.insert ) - (as_is)))) + (these)))) (`` (abstract: .public Buffer (for @.old [Nat (-> java/lang/StringBuilder java/lang/StringBuilder)] diff --git a/stdlib/source/library/lux/data/text/encoding/utf8.lux b/stdlib/source/library/lux/data/text/encoding/utf8.lux index e618307b4..21bbe8e81 100644 --- a/stdlib/source/library/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/library/lux/data/text/encoding/utf8.lux @@ -11,15 +11,15 @@ ["[0]" binary {"+" Binary}]]]] ["[0]" //]) -(with_expansions [<jvm> (as_is (ffi.import: java/lang/String +(with_expansions [<jvm> (these (ffi.import: java/lang/String "[1]::[0]" (new [[byte] java/lang/String]) (getBytes [java/lang/String] [byte])))] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) + (for @.old (these <jvm>) + @.jvm (these <jvm>) @.js - (as_is (ffi.import: Uint8Array + (these (ffi.import: Uint8Array "[1]::[0]") ... On Node @@ -41,7 +41,7 @@ (decode [Uint8Array] ffi.String))) @.ruby - (as_is (ffi.import: String + (these (ffi.import: String "[1]::[0]" (encode [Text] String) (force_encoding [Text] Text) @@ -52,16 +52,16 @@ (pack [Text] String))) @.php - (as_is (ffi.import: Almost_Binary) + (these (ffi.import: Almost_Binary) (ffi.import: (unpack [ffi.String ffi.String] Almost_Binary)) (ffi.import: (array_values [Almost_Binary] Binary)) (def: php_byte_array_format "C*")) @.scheme ... https://srfi.schemers.org/srfi-140/srfi-140.html - (as_is (ffi.import: (string->utf8 [Text] Binary)) + (these (ffi.import: (string->utf8 [Text] Binary)) (ffi.import: (utf8->string [Binary] Text))) - (as_is))) + (these))) (def: (encoded value) (-> Text Binary) diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux index 79a8b16e1..6e8b498e6 100644 --- a/stdlib/source/library/lux/debug.lux +++ b/stdlib/source/library/lux/debug.lux @@ -42,7 +42,7 @@ [month {"+" Month}] [day {"+" Day}]]]]) -(with_expansions [<jvm> (as_is (import: java/lang/String +(with_expansions [<jvm> (these (import: java/lang/String "[1]::[0]") (import: (java/lang/Class a) @@ -68,11 +68,11 @@ (intValue [] int) (longValue [] long) (doubleValue [] double)))] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) + (for @.old (these <jvm>) + @.jvm (these <jvm>) @.js - (as_is (import: JSON + (these (import: JSON "[1]::[0]" ("static" stringify [.Any] ffi.String)) (import: Array @@ -80,14 +80,14 @@ ("static" isArray [.Any] ffi.Boolean))) @.python - (as_is (type: PyType + (these (type: PyType (Primitive "python_type")) (import: (type [.Any] PyType)) (import: (str [.Any] ffi.String))) @.lua - (as_is (import: (type [.Any] ffi.String)) + (these (import: (type [.Any] ffi.String)) (import: (tostring [.Any] ffi.String)) (import: math @@ -95,7 +95,7 @@ ("static" type [.Any] "?" ffi.String))) @.ruby - (as_is (import: Class + (these (import: Class "[1]::[0]") (import: Object @@ -104,11 +104,11 @@ (to_s [] ffi.String))) @.php - (as_is (import: (gettype [.Any] ffi.String)) + (these (import: (gettype [.Any] ffi.String)) (import: (strval [.Any] ffi.String))) @.scheme - (as_is (import: (boolean? [.Any] Bit)) + (these (import: (boolean? [.Any] Bit)) (import: (integer? [.Any] Bit)) (import: (real? [.Any] Bit)) (import: (string? [.Any] Bit)) @@ -130,12 +130,12 @@ (if ("lua object nil?" member) {.#End} {.#Item member (again (++ idx))}))))) - (as_is)) + (these)) (def: (tuple_inspection inspection) (-> Inspector Inspector) - (with_expansions [<adaption> (for @.lua (~~ (as_is ..tuple_array)) - (~~ (as_is)))] + (with_expansions [<adaption> (for @.lua (~~ (these ..tuple_array)) + (~~ (these)))] (`` (|>> (as (array.Array Any)) <adaption> (array.list {.#None}) diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux index 67932ee7c..6b0c04c63 100644 --- a/stdlib/source/library/lux/ffi.jvm.lux +++ b/stdlib/source/library/lux/ffi.jvm.lux @@ -1698,7 +1698,7 @@ (exception.report "Lux Type" (%.type type))) -(with_expansions [<failure> (as_is (meta.failure (exception.error ..cannot_convert_to_jvm_type [type])))] +(with_expansions [<failure> (these (meta.failure (exception.error ..cannot_convert_to_jvm_type [type])))] (def: (lux_type->jvm_type context type) (-> Type_Context .Type (Meta (Type Value))) (if (type#= .Any type) diff --git a/stdlib/source/library/lux/ffi.lux b/stdlib/source/library/lux/ffi.lux index 8a9c74362..da6bd2b3b 100644 --- a/stdlib/source/library/lux/ffi.lux +++ b/stdlib/source/library/lux/ffi.lux @@ -33,7 +33,7 @@ @.ruby "ruby apply") <new> (for @.js "js object new" @.python "python apply" - (as_is)) + (these)) <do> (for @.js "js object do" @.python "python object do" @.lua "lua object do" @@ -42,25 +42,25 @@ @.python "python object get" @.lua "lua object get" @.ruby "ruby object get" - (as_is)) + (these)) <import> (for @.python "python import" @.lua "lua import" @.ruby "ruby import" - (as_is)) + (these)) <function> (for @.js "js function" @.python "python function" @.lua "lua function" - (as_is))] + (these))] (abstract: .public (Object brand) Any) - (with_expansions [<un_common> (for @.js (as_is [Symbol] + (with_expansions [<un_common> (for @.js (these [Symbol] [Null] [Undefined]) - @.python (as_is [None] + @.python (these [None] [Dict]) - @.lua (as_is [Nil] + @.lua (these [Nil] [Table]) - @.ruby (as_is [Nil])) + @.ruby (these [Nil])) <un_common> <un_common>] (template [<name>] [(with_expansions [<brand> (template.symbol [<name> "'"])] @@ -74,12 +74,12 @@ <un_common> )) - (with_expansions [<un_common> (for @.js (as_is [Number Frac]) - @.python (as_is [Integer Int] + (with_expansions [<un_common> (for @.js (these [Number Frac]) + @.python (these [Integer Int] [Float Frac]) - @.lua (as_is [Integer Int] + @.lua (these [Integer Int] [Float Frac]) - @.ruby (as_is [Integer Int] + @.ruby (these [Integer Int] [Float Frac])) <un_common> <un_common>] (template [<name> <type>] @@ -231,8 +231,8 @@ (`` (`` (type: Sub (Variant - (~~ (for @.lua (~~ (as_is)) - @.ruby (~~ (as_is)) + (~~ (for @.lua (~~ (these)) + @.ruby (~~ (these)) {#Constructor Constructor})) {#Field Field} {#Method Method})))) @@ -240,8 +240,8 @@ (`` (`` (def: sub (Parser Sub) ($_ <>.or - (~~ (for @.lua (~~ (as_is)) - @.ruby (~~ (as_is)) + (~~ (for @.lua (~~ (these)) + @.ruby (~~ (these)) ..constructor)) ..field ..method @@ -271,7 +271,7 @@ (|>> <host_?>)) (template.with_locals [g!it] - (as_is (def: g!it' (' g!it)) + (these (def: g!it' (' g!it)) (def: (host_optional it) (-> Optional Code) (.if (.the #optional? it) @@ -402,7 +402,7 @@ (def: host_path (text.replaced .module_separator ..class_separator)) - (for @.js (as_is) + (for @.js (these) (def: (imported class) (-> Text Code) (case (text.all_split_by .module_separator class) @@ -431,8 +431,8 @@ (~ (<| (lux_optional :output:) (` (<constant> (~ (code.text (..host_path (the #name it)))))))))))))) - (for @.lua (as_is) - @.ruby (as_is) + (for @.lua (these) + @.ruby (these) (def: (constructor_definition [class_name class_parameters] alias namespace it) (-> Declaration Alias Namespace Constructor Code) (let [g!it (|> it @@ -588,9 +588,9 @@ [(~+ g!class_variables)])))) (list#each (.function (_ member) (`` (`` (case member - (~~ (for @.lua (~~ (as_is)) - @.ruby (~~ (as_is)) - (~~ (as_is {#Constructor it} + (~~ (for @.lua (~~ (these)) + @.ruby (~~ (these)) + (~~ (these {#Constructor it} (..constructor_definition class alias namespace it))))) {#Field it} @@ -601,7 +601,7 @@ (the #members it))))) ))) - (for @.ruby (as_is) + (for @.ruby (these) (syntax: .public (function [[self inputs] (<code>.form ($_ <>.and <code>.local @@ -617,7 +617,7 @@ (.function ((~ (code.local self)) [(~+ (list#each product.left inputs))]) (~ term)))))))) - (for @.js (as_is (template: .public (type_of object) + (for @.js (these (template: .public (type_of object) [("js type-of" object)]) (syntax: .public (global [type <code>.any @@ -671,5 +671,5 @@ (text#= "[object process]"))) (maybe.else false))) ) - (as_is)) + (these)) ) diff --git a/stdlib/source/library/lux/macro/template.lux b/stdlib/source/library/lux/macro/template.lux index 778a5fe44..f324e2efb 100644 --- a/stdlib/source/library/lux/macro/template.lux +++ b/stdlib/source/library/lux/macro/template.lux @@ -42,7 +42,7 @@ (monad.all !))] (in (list (` (.with_expansions [(~+ (|> (list.zipped/2 locals g!locals) (list#each (function (_ [name symbol]) - (list (code.local name) (as_is symbol)))) + (list (code.local name) symbol))) list#conjoint))] (~ body))))))) diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux index 028ed346b..c9cbed213 100644 --- a/stdlib/source/library/lux/math.lux +++ b/stdlib/source/library/lux/math.lux @@ -62,17 +62,17 @@ last prevs))))) -(for @.old (as_is) +(for @.old (these) (with_expansions [<@> (static.text (let [[@ _] (symbol .._)] @)) <ratio/0> [ratio.#numerator 0 ratio.#denominator 1] <ratio/1> [ratio.#numerator 1 ratio.#denominator 1] <complex/0> [complex.#real +0.0 complex.#imaginary +0.0] <complex/1> [complex.#real +1.0 complex.#imaginary +0.0]] - (as_is (template [<name> <scenarios>'] + (these (template [<name> <scenarios>'] [(with_expansions [<extension> (static.seed) <extension> (template.text [<@> " " <extension>]) <scenarios> (template.spliced <scenarios>')] - (as_is (analysis: (<extension> self phase archive [operands (<>.some <code>.any)]) + (these (analysis: (<extension> self phase archive [operands (<>.some <code>.any)]) (<| type.with_var (function (_ [$it :it:])) (do [! phase.monad] @@ -141,7 +141,7 @@ [(with_expansions [<extension> (static.seed) <extension> (template.text [<@> " " <extension>]) <scenarios> (template.spliced <scenarios>')] - (as_is (analysis: (<extension> self phase archive [left <code>.any + (these (analysis: (<extension> self phase archive [left <code>.any right <code>.any]) (<| type.with_var (function (_ [$it :it:])) @@ -196,7 +196,7 @@ [(with_expansions [<extension> (static.seed) <extension> (template.text [<@> " " <extension>]) <scenarios> (template.spliced <scenarios>')] - (as_is (analysis: (<extension> self phase archive [left <code>.any + (these (analysis: (<extension> self phase archive [left <code>.any right <code>.any]) (<| type.with_var (function (_ [$it :it:])) diff --git a/stdlib/source/library/lux/math/number/frac.lux b/stdlib/source/library/lux/math/number/frac.lux index 6d81a958b..aff22f26d 100644 --- a/stdlib/source/library/lux/math/number/frac.lux +++ b/stdlib/source/library/lux/math/number/frac.lux @@ -35,7 +35,7 @@ ) (for @.old - (as_is (template [<name> <method>] + (these (template [<name> <method>] [(def: .public (<name> it) (-> Frac Frac) (<method> it))] @@ -62,7 +62,7 @@ ("jvm invokestatic:java.lang.Math:pow:double,double" subject param))) @.jvm - (as_is (template: (!double value) + (these (template: (!double value) [(|> value (as (Primitive "java.lang.Double")) "jvm object cast")]) @@ -106,7 +106,7 @@ !frac))) @.js - (as_is (template [<name> <method>] + (these (template [<name> <method>] [(def: .public <name> (-> Frac Frac) (|>> [] @@ -136,7 +136,7 @@ (as Frac ("js apply" ("js constant" "Math.pow") [subject param])))) @.python - (as_is (template [<name> <method>] + (these (template [<name> <method>] [(def: .public <name> (-> Frac Frac) (|>> [] @@ -175,7 +175,7 @@ (..pow ("lux f64 /" +3.0 +1.0)))))) @.lua - (as_is (template [<name> <method>] + (these (template [<name> <method>] [(def: .public <name> (-> Frac Frac) (|>> [] @@ -214,7 +214,7 @@ (..pow ("lux f64 /" +3.0 +1.0)))))) @.ruby - (as_is (template [<name> <method>] + (these (template [<name> <method>] [(def: .public <name> (-> Frac Frac) (|>> [] @@ -252,7 +252,7 @@ (as Frac ("ruby object do" "**" subject [param])))) @.php - (as_is (template [<name> <method>] + (these (template [<name> <method>] [(def: .public <name> (-> Frac Frac) (|>> ("php apply" ("php constant" <method>)) @@ -284,7 +284,7 @@ (..pow ("lux f64 /" +3.0 +1.0)))) @.scheme - (as_is (template [<name> <method>] + (these (template [<name> <method>] [(def: .public <name> (-> Frac Frac) (|>> ("scheme apply" ("scheme constant" <method>)) diff --git a/stdlib/source/library/lux/math/number/rev.lux b/stdlib/source/library/lux/math/number/rev.lux index 9a6e9c826..31aa1799b 100644 --- a/stdlib/source/library/lux/math/number/rev.lux +++ b/stdlib/source/library/lux/math/number/rev.lux @@ -223,7 +223,7 @@ ("lux text clip" 1 (-- ("lux text size" input)) input)) (template [<struct> <codec> <char_bit_size> <error>] - [(with_expansions [<failure> (as_is {try.#Failure ("lux text concat" <error> repr)})] + [(with_expansions [<failure> (these {try.#Failure ("lux text concat" <error> repr)})] (implementation: .public <struct> (Codec Text Rev) diff --git a/stdlib/source/library/lux/target/jvm/attribute.lux b/stdlib/source/library/lux/target/jvm/attribute.lux index 50d73af68..6fd6eba84 100644 --- a/stdlib/source/library/lux/target/jvm/attribute.lux +++ b/stdlib/source/library/lux/target/jvm/attribute.lux @@ -55,7 +55,7 @@ [($_ n.+ nameS lengthS infoS) (|>> nameT lengthT infoT)]))) -(with_expansions [<Code> (as_is (/code.Code Attribute))] +(with_expansions [<Code> (these (/code.Code Attribute))] (type: .public Attribute (Rec Attribute (Variant diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index a58bce01c..59dbcc697 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -176,7 +176,7 @@ [..relative#identity (the /environment.#stack environment)]]}))) -(with_expansions [<success> (as_is (try|in [[pool +(with_expansions [<success> (these (try|in [[pool environment (revised #known (dictionary.has label [actual {.#Some @here}]) diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index 1afa70f79..edd68d05b 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -225,7 +225,7 @@ (def: .public writer (Writer Constant) - (with_expansions [<constants> (as_is [#UTF8 /tag.utf8 ..utf8_writer] + (with_expansions [<constants> (these [#UTF8 /tag.utf8 ..utf8_writer] [#Integer /tag.integer ..integer_writer] [#Float /tag.float ..float_writer] [#Long /tag.long ..long_writer] diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux index e2fcfd655..11df35740 100644 --- a/stdlib/source/library/lux/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux @@ -91,7 +91,7 @@ (template: (!add <state> <tag> <equivalence> <value>) [(let [[current pool] <state> <value>' <value>] - (with_expansions [<try_again> (as_is (again (.++ idx)))] + (with_expansions [<try_again> (these (again (.++ idx)))] (loop [idx 0] (case (sequence.item idx pool) {try.#Success entry} diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux index bff3cb325..443f07227 100644 --- a/stdlib/source/library/lux/target/jvm/loader.lux +++ b/stdlib/source/library/lux/target/jvm/loader.lux @@ -64,7 +64,7 @@ (loadClass [java/lang/String] "io" "try" (java/lang/Class java/lang/Object))) -(with_expansions [<elemT> (as_is (java/lang/Class java/lang/Object))] +(with_expansions [<elemT> (these (java/lang/Class java/lang/Object))] (def: java/lang/ClassLoader::defineClass java/lang/reflect/Method (let [signature (|> (ffi.array <elemT> 4) diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux index bc587e90c..94ca109a2 100644 --- a/stdlib/source/library/lux/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/reflection.lux @@ -253,7 +253,7 @@ (def: .public (return reflection) (-> java/lang/reflect/Type (Try (/.Type Return))) - (with_expansions [<else> (as_is (..type reflection))] + (with_expansions [<else> (these (..type reflection))] (case (ffi.check java/lang/Class reflection) {.#Some class} (let [class_name (|> reflection diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux index 277e2c947..1210e2ad1 100644 --- a/stdlib/source/library/lux/target/python.lux +++ b/stdlib/source/library/lux/target/python.lux @@ -34,13 +34,13 @@ (-> Text Text) (text.enclosed ["(" ")"])) -(for @.old (as_is (ffi.import: java/lang/CharSequence +(for @.old (these (ffi.import: java/lang/CharSequence "[1]::[0]") (ffi.import: java/lang/String "[1]::[0]" (replace [java/lang/CharSequence java/lang/CharSequence] java/lang/String))) - (as_is)) + (these)) ... Added the carriage return for better Windows compatibility. (def: \n+ diff --git a/stdlib/source/library/lux/time/day.lux b/stdlib/source/library/lux/time/day.lux index eb9439295..935d1937d 100644 --- a/stdlib/source/library/lux/time/day.lux +++ b/stdlib/source/library/lux/time/day.lux @@ -135,7 +135,7 @@ {#Friday} {#Saturday})) -(with_expansions [<pairs> (as_is [01 #Sunday] +(with_expansions [<pairs> (these [01 #Sunday] [02 #Monday] [03 #Tuesday] [04 #Wednesday] diff --git a/stdlib/source/library/lux/time/month.lux b/stdlib/source/library/lux/time/month.lux index a9ac9c6bd..3d97636a5 100644 --- a/stdlib/source/library/lux/time/month.lux +++ b/stdlib/source/library/lux/time/month.lux @@ -58,7 +58,7 @@ _ false))) -(with_expansions [<pairs> (as_is [01 #January] +(with_expansions [<pairs> (these [01 #January] [02 #February] [03 #March] [04 #April] diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux index 0a69b7995..4f62b38da 100644 --- a/stdlib/source/library/lux/tool/compiler/default/platform.lux +++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux @@ -72,8 +72,8 @@ ["[1]" context] ["ioW" archive]]]]]) -(with_expansions [<type_vars> (as_is anchor expression directive) - <Operation> (as_is ///generation.Operation <type_vars>)] +(with_expansions [<type_vars> (these anchor expression directive) + <Operation> (these ///generation.Operation <type_vars>)] (type: .public (Platform <type_vars>) (Record [#&file_system (file.System Async) @@ -92,9 +92,9 @@ (as (Monad Action) (try.with async.monad))) - (with_expansions [<Platform> (as_is (Platform <type_vars>)) - <State+> (as_is (///directive.State+ <type_vars>)) - <Bundle> (as_is (///generation.Bundle <type_vars>))] + (with_expansions [<Platform> (these (Platform <type_vars>)) + <State+> (these (///directive.State+ <type_vars>)) + <Bundle> (these (///generation.Bundle <type_vars>))] (def: (writer //) (All (_ a) @@ -795,7 +795,7 @@ [_ (cache/archive.cache! (the #&file_system platform) context archive)] (async#in {try.#Failure error}))))))) - (for @.old (as_is (def: Fake_State + (for @.old (these (def: Fake_State Type {.#Primitive (%.nat (static.random_nat)) (list)}) @@ -806,7 +806,7 @@ (def: Fake_Object Type {.#Primitive (%.nat (static.random_nat)) (list)})) - (as_is)) + (these)) (def: (serial_compiler import context platform compilation_sources compiler) (All (_ <type_vars>) 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 0484b5941..f7170c8ce 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 @@ -41,7 +41,7 @@ ... not being handled by any pattern). (template.let [(Variant' @) [[(Maybe Nat) (Dictionary Nat @)]]] - (as_is (type: .public Coverage + (these (type: .public Coverage (Rec @ (.Variant {#Exhaustive} 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 eb3cfa9ba..ea6adec7a 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 @@ -74,7 +74,7 @@ {try.#Failure error} {try.#Failure error}))))) -(with_expansions [<lux_def_module> (as_is [|form_location| {.#Form (list& [|text_location| {.#Text "lux def module"}] annotations)}])] +(with_expansions [<lux_def_module> (these [|form_location| {.#Form (list& [|text_location| {.#Text "lux def module"}] annotations)}])] (def: .public (phase wrapper expander) (-> //.Wrapper Expander Phase) (let [analysis (//analysis.phase expander)] 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 fb3699ba8..42528ba33 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 @@ -39,7 +39,7 @@ (|>> list.hash (product.hash text.hash))) -(with_expansions [<Bundle> (as_is (Dictionary Name (Handler s i o)))] +(with_expansions [<Bundle> (these (Dictionary Name (Handler s i o)))] (type: .public (Handler s i o) (-> Name (//.Phase [<Bundle> s] i o) 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 a85e87d85..31bc84be0 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 @@ -81,7 +81,7 @@ (simple (list subjectT param0T param1T) outputT)) ... TODO: Get rid of this ASAP -(as_is +(these (exception: .public (char_text_must_be_size_1 [text Text]) (exception.report "Text" (%.text text))) 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 8579b8865..f98ce4c6f 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 @@ -165,7 +165,7 @@ (def: last_index (|>> _.length/1 [(_.int +1)] _.-/2)) -(with_expansions [<recur> (as_is ($_ _.then +(with_expansions [<recur> (these ($_ _.then (_.; (_.set lefts (_.-/2 [last_index_right lefts]))) (_.; (_.set tuple (_.nth last_index_right tuple)))))] (template: (!recur <side>) 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 761a1c668..af22a192b 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 @@ -140,7 +140,7 @@ (_.at (..last_index tuple) tuple)) -(with_expansions [<recur> (as_is ($_ _.then +(with_expansions [<recur> (these ($_ _.then (_.set lefts (_.- last_index_right lefts)) (_.set tuple (_.at last_index_right tuple))))] (runtime: (tuple//left lefts tuple) 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 99378b28c..dfce813ed 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 @@ -166,7 +166,7 @@ (def: last_index (|>> _.length (_.- (_.int +1)))) -(with_expansions [<recur> (as_is ($_ _.then +(with_expansions [<recur> (these ($_ _.then (_.set (list lefts) (_.- last_index_right lefts)) (_.set (list tuple) (..item last_index_right tuple))))] (runtime: (tuple//left lefts tuple) 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 25bbcfe47..165bbd55d 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 @@ -178,7 +178,7 @@ (def: normal_last_index (|>> _.count/1 (_.- (_.int +1)))) -(with_expansions [<recur> (as_is ($_ _.then +(with_expansions [<recur> (these ($_ _.then (_.set! lefts (_.- last_index_right lefts)) (_.set! tuple (_.item last_index_right tuple))))] (runtime: (tuple//make size values) 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 a9e12aede..adddebae3 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 @@ -207,7 +207,7 @@ (def: last_index (|>> _.len/1 (_.- (_.int +1)))) -(with_expansions [<recur> (as_is ($_ _.then +(with_expansions [<recur> (these ($_ _.then (_.set (list lefts) (_.- last_index_right lefts)) (_.set (list tuple) (_.item last_index_right tuple))))] (runtime: (tuple::left lefts tuple) 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 94005f819..086c1ff0c 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 @@ -157,7 +157,7 @@ (def: last_index (|>> ..tuple_size (_.- (_.int +1)))) -(with_expansions [<recur> (as_is ($_ _.then +(with_expansions [<recur> (these ($_ _.then (_.set (list lefts) (_.- last_index_right lefts)) (_.set (list tuple) (_.item last_index_right tuple))))] (runtime: (tuple//left lefts tuple) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux index d21a2a13e..9515ea518 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -124,7 +124,7 @@ (def: (weave new old) (-> Path Path Path) - (with_expansions [<default> (as_is {/.#Alt old new})] + (with_expansions [<default> (these {/.#Alt old new})] (case [new old] [_ {/.#Alt old_left old_right}] @@ -203,10 +203,10 @@ (-> (///complex.Tuple Pattern) Register (List Member)) (loop [lefts 0 patterns patterns] - (with_expansions [<failure> (as_is (list)) - <continue> (as_is (again (++ lefts) + (with_expansions [<failure> (these (list)) + <continue> (these (again (++ lefts) tail)) - <member> (as_is (let [right? (list.empty? tail)] + <member> (these (let [right? (list.empty? tail)] [/member.#lefts (if right? (-- lefts) lefts) 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 87abcaff0..e478001a6 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 @@ -56,7 +56,7 @@ (do [! phase.monad] [funcS (phase archive funcA) argsS (monad.each ! (phase archive) argsA)] - (with_expansions [<apply> (as_is (/.function/apply [funcS argsS]))] + (with_expansions [<apply> (these (/.function/apply [funcS argsS]))] (case funcS (pattern (/.function/abstraction functionS)) (if (n.= (the /.#arity functionS) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index 2121e37b9..e8917d6a8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -170,7 +170,7 @@ (pattern (/.function/apply [abstraction arguments])) (do [! maybe.monad] [arguments' (monad.each ! (again false) arguments)] - (with_expansions [<application> (as_is (do ! + (with_expansions [<application> (these (do ! [abstraction' (again false abstraction)] (in (/.function/apply [abstraction' arguments']))))] (case abstraction 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 5429a8f0c..366984646 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 @@ -331,7 +331,7 @@ (def: (optimization' [redundancy synthesis]) (Optimization Synthesis) - (with_expansions [<no_op> (as_is {try.#Success [redundancy + (with_expansions [<no_op> (these {try.#Success [redundancy synthesis]})] (case synthesis {/.#Simple _} 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 dbe91632a..18ad84ac7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux @@ -273,7 +273,7 @@ _ (!failure ..text_parser where offset source_code))) -(with_expansions [<digits> (as_is "0" "1" "2" "3" "4" "5" "6" "7" "8" "9") +(with_expansions [<digits> (these "0" "1" "2" "3" "4" "5" "6" "7" "8" "9") <non_symbol_chars> (template [<char>] [(~~ (static <char>))] @@ -340,8 +340,8 @@ Offset 0) -(with_expansions [<int_output> (as_is (!number_output source_code start end int.decimal .#Int)) - <frac_output> (as_is (!number_output source_code start end frac.decimal .#Frac)) +(with_expansions [<int_output> (these (!number_output source_code start end int.decimal .#Int)) + <frac_output> (these (!number_output source_code start end frac.decimal .#Frac)) <failure> (!failure ..frac_parser where offset source_code) <frac_separator> (static ..frac_separator) <signs> (template [<sign>] @@ -445,7 +445,7 @@ [(!letE [source' symbol] (..short_symbol_parser source_code//size @current_module @source) {.#Right [source' [@where {@tag symbol}]]})]) -(with_expansions [<simple> (as_is {.#Right [source' ["" simple]]})] +(with_expansions [<simple> (these {.#Right [source' ["" simple]]})] (`` (def: (full_symbol_parser aliases start source) (-> Aliases Offset (Parser Symbol)) (<| (!letE [source' simple] (let [[where offset source_code] source] @@ -473,10 +473,10 @@ ... [expression ...] ... [form "(" [#* expression] ")"]) -(with_expansions [<consume_1> (as_is where (!++ offset/0) source_code) - <move_1> (as_is [(!forward 1 where) (!++ offset/0) source_code]) - <move_2> (as_is [(!forward 1 where) (!++/2 offset/0) source_code]) - <again> (as_is (parse current_module aliases source_code//size))] +(with_expansions [<consume_1> (these where (!++ offset/0) source_code) + <move_1> (these [(!forward 1 where) (!++ offset/0) source_code]) + <move_2> (these [(!forward 1 where) (!++/2 offset/0) source_code]) + <again> (these (parse current_module aliases source_code//size))] (template: (!close closer) [{.#Left [<move_1> closer]}]) 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 05f766d5d..3bc8ed418 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux @@ -285,7 +285,7 @@ (-> (List Custom) (file.System Async) Context Import (List //.Context) [descriptor.Module module.ID] (Async (Try Cache))) - (with_expansions [<cache> (as_is module_name @module module registry)] + (with_expansions [<cache> (these module_name @module module registry)] (do [! (try.with async.monad)] [data (is (Async (Try Binary)) (cache/module.cache fs context @module)) diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux index 7fc7687be..580dc9d4e 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -87,7 +87,7 @@ _ (# Console<!> write ..welcome_message)] (in state))) -(with_expansions [<Interpretation> (as_is (Operation anchor expression directive [Type Any]))] +(with_expansions [<Interpretation> (these (Operation anchor expression directive [Type Any]))] (def: (interpret_directive code) (All (_ anchor expression directive) @@ -169,7 +169,7 @@ #state (State+ anchor expression directive) #source Source])) -(with_expansions [<Context> (as_is (Context anchor expression directive))] +(with_expansions [<Context> (these (Context anchor expression directive))] (def: (read_eval_print context) (All (_ anchor expression directive) (-> <Context> (Try [<Context> Text]))) diff --git a/stdlib/source/library/lux/type.lux b/stdlib/source/library/lux/type.lux index 629947eb0..c3c537701 100644 --- a/stdlib/source/library/lux/type.lux +++ b/stdlib/source/library/lux/type.lux @@ -502,6 +502,6 @@ bodyT <code>.any]) (in (list (` (..with_expansions [(~+ (|> bindings (list#each (.function (_ [localT valueT]) - (list localT (` (..as_is (~ valueT)))))) + (list localT (` (.these (~ valueT)))))) list#conjoint))] (~ bodyT)))))) diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux index 74700b18b..00346ef03 100644 --- a/stdlib/source/library/lux/world/console.lux +++ b/stdlib/source/library/lux/world/console.lux @@ -42,7 +42,7 @@ (exception: .public cannot_close) -(with_expansions [<jvm> (as_is (import: java/lang/String +(with_expansions [<jvm> (these (import: java/lang/String "[1]::[0]") (import: java/io/Console @@ -94,9 +94,9 @@ (def: close (|>> (exception.except ..cannot_close) in)))))))))] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) - @.js (as_is (ffi.import: Buffer + (for @.old (these <jvm>) + @.jvm (these <jvm>) + @.js (these (ffi.import: Buffer "[1]::[0]" (toString [] ffi.String)) @@ -162,7 +162,7 @@ (def: close (|>> (exception.except ..cannot_close) async#in)))} {.#None}))) - (as_is))) + (these))) (def: .public (write_line message console) (All (_ !) (-> Text (Console !) (! (Try Any)))) diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux index 4e47a182b..2c8db5ea3 100644 --- a/stdlib/source/library/lux/world/file.lux +++ b/stdlib/source/library/lux/world/file.lux @@ -25,9 +25,9 @@ ["[0]" list ("[1]#[0]" functor)] ["[0]" dictionary {"+" Dictionary}]]] ["[0]" ffi - (~~ (.for "JavaScript" (~~ (.as_is ["[0]" node_js])) - "{old}" (~~ (.as_is ["node_js" //control/thread])) - (~~ (.as_is))))] + (~~ (.for "JavaScript" (~~ (.these ["[0]" node_js])) + "{old}" (~~ (.these ["node_js" //control/thread])) + (~~ (.these))))] [macro ["[0]" template]] [math @@ -157,7 +157,7 @@ [cannot_find_directory] ) -(with_expansions [<for_jvm> (as_is (ffi.import: java/lang/String +(with_expansions [<for_jvm> (these (ffi.import: java/lang/String "[1]::[0]") (`` (ffi.import: java/io/File @@ -299,11 +299,11 @@ java/io/File::new (java/io/File::renameTo (java/io/File::new (ffi.as_string destination))))) )))] - (for @.old (as_is <for_jvm>) - @.jvm (as_is <for_jvm>) + (for @.old (these <for_jvm>) + @.jvm (these <for_jvm>) @.js - (as_is (ffi.import: Buffer + (these (ffi.import: Buffer "[1]::[0]" ("static" from [Binary] ..Buffer)) @@ -509,7 +509,7 @@ node_fs)))))))))) @.python - (as_is (type: (Tuple/2 left right) + (these (type: (Tuple/2 left right) (Primitive "python_tuple[2]" [left right])) (ffi.import: PyFile @@ -630,7 +630,7 @@ ))) @.ruby - (as_is (ffi.import: Time + (these (ffi.import: Time "[1]::[0]" ("static" at [Frac] Time) (to_f [] Frac)) @@ -777,7 +777,7 @@ ))) ... @.php - ... (as_is (ffi.import: (FILE_APPEND Int)) + ... (these (ffi.import: (FILE_APPEND Int)) ... ... https://www.php.net/manual/en/dir.constants.php ... (ffi.import: (DIRECTORY_SEPARATOR ffi.String)) ... ... https://www.php.net/manual/en/function.pack.php @@ -956,7 +956,7 @@ ... )) ... ) - (as_is))) + (these))) (def: .public (exists? monad fs path) (All (_ !) (-> (Monad !) (System !) Path (! Bit))) diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux index 645c4e99e..4266f170c 100644 --- a/stdlib/source/library/lux/world/file/watch.lux +++ b/stdlib/source/library/lux/world/file/watch.lux @@ -262,7 +262,7 @@ [fs (..polling fs)])) -(with_expansions [<jvm> (as_is (import: java/lang/Object +(with_expansions [<jvm> (these (import: java/lang/Object "[1]::[0]") (import: java/lang/String @@ -461,6 +461,6 @@ (async.future (..default_poll watcher))) ))))) )] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) - (as_is))) + (for @.old (these <jvm>) + @.jvm (these <jvm>) + (these))) diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux index ce2bbc6c3..c992f10ac 100644 --- a/stdlib/source/library/lux/world/net/http/client.lux +++ b/stdlib/source/library/lux/world/net/http/client.lux @@ -69,7 +69,7 @@ (-> Binary [Nat Binary]) [(binary.size data) data]) -(with_expansions [<jvm> (as_is (ffi.import: java/lang/String +(with_expansions [<jvm> (these (ffi.import: java/lang/String "[1]::[0]") (ffi.import: java/lang/AutoCloseable @@ -219,9 +219,9 @@ (in [(.nat (ffi.of_int status)) [//.#headers headers //.#body (..default_body input)]]))))))] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) - (as_is))) + (for @.old (these <jvm>) + @.jvm (these <jvm>) + (these))) (implementation: .public (async client) (-> (Client IO) (Client Async)) diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux index 9bdba0392..4b0703936 100644 --- a/stdlib/source/library/lux/world/program.lux +++ b/stdlib/source/library/lux/world/program.lux @@ -24,9 +24,9 @@ ["[0]" dictionary {"+" Dictionary}] ["[0]" list ("[1]#[0]" functor)]]] ["[0]" ffi {"+" import:} - (~~ (.for "JavaScript" (~~ (.as_is ["[0]" node_js])) - "{old}" (~~ (.as_is ["node_js" //math])) - (~~ (.as_is))))] + (~~ (.for "JavaScript" (~~ (.these ["[0]" node_js])) + "{old}" (~~ (.these ["node_js" //math])) + (~~ (.these))))] ["[0]" macro ["[0]" template]] [math @@ -113,7 +113,7 @@ ... Do not trust the values of environment variables ... https://wiki.sei.cmu.edu/confluence/display/java/ENV02-J.+Do+not+trust+the+values+of+environment+variables -(with_expansions [<jvm> (as_is (import: java/lang/String +(with_expansions [<jvm> (these (import: java/lang/String "[1]::[0]") (import: (java/util/Iterator a) @@ -143,9 +143,9 @@ (jvm##consume iterator)} {.#End})) )] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) - @.js (as_is (def: default_exit! + (for @.old (these <jvm>) + @.jvm (these <jvm>) + @.js (these (def: default_exit! (-> Exit (IO Nothing)) (|>> %.int panic! io.io)) @@ -201,7 +201,7 @@ (import: NodeJs_OS "[1]::[0]" (homedir [] "io" Path))) - @.python (as_is (import: os + @.python (these (import: os "[1]::[0]" ("static" getcwd [] "io" ffi.String) ("static" _exit [ffi.Integer] "io" Nothing)) @@ -214,7 +214,7 @@ "[1]::[0]" ("static" keys [] "io" (Array ffi.String)) ("static" get [ffi.String] "io" "?" ffi.String))) - @.lua (as_is (ffi.import: LuaFile + @.lua (these (ffi.import: LuaFile "[1]::[0]" (read [ffi.String] "io" "?" ffi.String) (close [] "io" ffi.Boolean)) @@ -241,7 +241,7 @@ {try.#Failure _} (in default))))) - @.ruby (as_is (ffi.import: Env + @.ruby (these (ffi.import: Env "[1]::[0]" ("static" keys [] (Array Text)) ("static" fetch [Text] "io" "?" Text)) @@ -259,7 +259,7 @@ ("static" exit [Int] "io" Nothing))) ... @.php - ... (as_is (ffi.import: (exit [Int] "io" Nothing)) + ... (these (ffi.import: (exit [Int] "io" Nothing)) ... ... https://www.php.net/manual/en/function.exit.php ... (ffi.import: (getcwd [] "io" ffi.String)) ... ... https://www.php.net/manual/en/function.getcwd.php @@ -271,7 +271,7 @@ ... ) ... @.scheme - ... (as_is (ffi.import: (exit [Int] "io" Nothing)) + ... (these (ffi.import: (exit [Int] "io" Nothing)) ... ... https://srfi.schemers.org/srfi-98/srfi-98.html ... (abstract: Pair Any) ... (abstract: PList Any) @@ -281,7 +281,7 @@ ... (ffi.import: (car "as" head [PList] Pair)) ... (ffi.import: (cdr "as" tail [PList] PList))) - (as_is))) + (these))) (implementation: .public default (Program IO) diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index 1881054bd..e94c0dda4 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -170,7 +170,7 @@ (text.enclosed' text.double_quote)))] (..policy safe_command safe_argument))) -(with_expansions [<jvm> (as_is (import: java/lang/String +(with_expansions [<jvm> (these (import: java/lang/String "[1]::[0]" (toLowerCase [] java/lang/String)) @@ -307,9 +307,9 @@ process (java/lang/ProcessBuilder::start builder)] (..default_process process)))) )] - (for @.old (as_is <jvm>) - @.jvm (as_is <jvm>) - (as_is))) + (for @.old (these <jvm>) + @.jvm (these <jvm>) + (these))) (type: .public (Mock s) (Interface |