diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | 118 | ||||
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 28 |
2 files changed, 73 insertions, 73 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux index 20f3fdf7a..10fe4e948 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux @@ -1,45 +1,45 @@ (.using - [library - [lux {"-" Type Label} - [ffi {"+" import:}] - [abstract - ["[0]" monad {"+" do}]] - [control - ["[0]" try] - ["<>" parser - ["<s>" synthesis {"+" Parser}]]] - [data - ["[0]" product] - [collection - ["[0]" list ("[1]@[0]" monad)] - ["[0]" dictionary]]] - [math - [number - ["f" frac]]] - [target - [jvm - ["[0]" type]]] - [tool - [compiler - ["[0]" phase] - [meta - [archive {"+" Archive}]] - [language - [lux - ["[0]" synthesis {"+" Synthesis %synthesis}] - [phase - [generation - [extension {"+" Nullary Unary Binary Trinary Variadic - nullary unary binary trinary variadic}]] - ["[0]" extension - ["[0]" bundle]]]]]]]]] - [luxc - [lang - [host - ["$" jvm {"+" Label Inst Def Handler Bundle Operation Phase} - ["_" inst]]]]] - ["[0]" /// - ["[0]" runtime]]) + [library + [lux {"-" Type Label} + [ffi {"+" import:}] + [abstract + ["[0]" monad {"+" do}]] + [control + ["[0]" try] + ["<>" parser + ["<s>" synthesis {"+" Parser}]]] + [data + ["[0]" product] + [collection + ["[0]" list ("[1]@[0]" monad)] + ["[0]" dictionary]]] + [math + [number + ["f" frac]]] + [target + [jvm + ["[0]" type]]] + [tool + [compiler + ["[0]" phase] + [meta + [archive {"+" Archive}]] + [language + [lux + ["[0]" synthesis {"+" Synthesis %synthesis}] + [phase + [generation + [extension {"+" Nullary Unary Binary Trinary Variadic + nullary unary binary trinary variadic}]] + ["[0]" extension + ["[0]" bundle]]]]]]]]] + [luxc + [lang + [host + ["$" jvm {"+" Label Inst Def Handler Bundle Operation Phase} + ["_" inst]]]]] + ["[0]" /// + ["[0]" runtime]]) (def: .public (custom [parser handler]) (All (_ s) @@ -93,19 +93,19 @@ (do [@ phase.monad] [inputG (phase archive input) elseG (phase archive else) - conditionalsG+ (: (Operation (List [(List [Int Label]) - Inst])) - (monad.each @ (function (_ [chars branch]) - (do @ - [branchG (phase archive branch)] - (in (<| _.with_label (function (_ @branch)) - [(list@each (function (_ char) - [(.int char) @branch]) - chars) - (|>> (_.label @branch) - branchG - (_.GOTO @end))])))) - conditionals)) + conditionalsG+ (is (Operation (List [(List [Int Label]) + Inst])) + (monad.each @ (function (_ [chars branch]) + (do @ + [branchG (phase archive branch)] + (in (<| _.with_label (function (_ @branch)) + [(list@each (function (_ char) + [(.int char) @branch]) + chars) + (|>> (_.label @branch) + branchG + (_.GOTO @end))])))) + conditionals)) .let [table (|> conditionalsG+ (list@each product.left) list@conjoint) @@ -291,7 +291,7 @@ (def: bundle::lux Bundle - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "syntax char case!" lux::syntax_char_case!) (bundle.install "is" (binary lux::is)) (bundle.install "try" (unary lux::try)))) @@ -299,7 +299,7 @@ (def: bundle::i64 Bundle (<| (bundle.prefix "i64") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "and" (binary i64::and)) (bundle.install "or" (binary i64::or)) (bundle.install "xor" (binary i64::xor)) @@ -318,7 +318,7 @@ (def: bundle::f64 Bundle (<| (bundle.prefix "f64") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "+" (binary f64::+)) (bundle.install "-" (binary f64::-)) (bundle.install "*" (binary f64::*)) @@ -333,7 +333,7 @@ (def: bundle::text Bundle (<| (bundle.prefix "text") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "=" (binary text::=)) (bundle.install "<" (binary text::<)) (bundle.install "concat" (binary text::concat)) @@ -345,7 +345,7 @@ (def: bundle::io Bundle (<| (bundle.prefix "io") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "log" (unary io::log)) (bundle.install "error" (unary io::error))))) diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux index f98188196..820e230db 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux @@ -164,7 +164,7 @@ (def: conversion_bundle Bundle (<| (bundle.prefix "conversion") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "double-to-float" (unary conversion::double_to_float)) (bundle.install "double-to-int" (unary conversion::double_to_int)) (bundle.install "double-to-long" (unary conversion::double_to_long)) @@ -295,7 +295,7 @@ (def: int_bundle Bundle (<| (bundle.prefix (reflection.reflection reflection.int)) - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "+" (binary int::+)) (bundle.install "-" (binary int::-)) (bundle.install "*" (binary int::*)) @@ -314,7 +314,7 @@ (def: long_bundle Bundle (<| (bundle.prefix (reflection.reflection reflection.long)) - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "+" (binary long::+)) (bundle.install "-" (binary long::-)) (bundle.install "*" (binary long::*)) @@ -333,7 +333,7 @@ (def: float_bundle Bundle (<| (bundle.prefix (reflection.reflection reflection.float)) - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "+" (binary float::+)) (bundle.install "-" (binary float::-)) (bundle.install "*" (binary float::*)) @@ -346,7 +346,7 @@ (def: double_bundle Bundle (<| (bundle.prefix (reflection.reflection reflection.double)) - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "+" (binary double::+)) (bundle.install "-" (binary double::-)) (bundle.install "*" (binary double::*)) @@ -359,7 +359,7 @@ (def: char_bundle Bundle (<| (bundle.prefix (reflection.reflection reflection.char)) - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "=" (binary char::=)) (bundle.install "<" (binary char::<)) ))) @@ -615,7 +615,7 @@ (def: object_bundle Bundle (<| (bundle.prefix "object") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "null" (nullary object::null)) (bundle.install "null?" (unary object::null?)) (bundle.install "synchronized" (binary object::synchronized)) @@ -794,17 +794,17 @@ (def: member_bundle Bundle (<| (bundle.prefix "member") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (dictionary.merged (<| (bundle.prefix "get") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "static" get::static) (bundle.install "virtual" get::virtual)))) (dictionary.merged (<| (bundle.prefix "put") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "static" put::static) (bundle.install "virtual" put::virtual)))) (dictionary.merged (<| (bundle.prefix "invoke") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "static" invoke::static) (bundle.install "virtual" invoke::virtual) (bundle.install "special" invoke::special) @@ -834,7 +834,7 @@ hidden [_ {synthesis.#Control {synthesis.#Branch {synthesis.#Case _ path}}}] - (loop [path (: synthesis.Path path)] + (loop [path (is synthesis.Path path)] (case path (^.or {synthesis.#Pop} {synthesis.#Access _} @@ -1088,7 +1088,7 @@ (list#mix (function (_ [lux_register type] [jvm_register before]) (let [[jvm_register' after] (prepare_argument (n.+ offset lux_register) type jvm_register)] [jvm_register' (|>> before after)])) - (: [Register Inst] [offset (|>>)])) + (is [Register Inst] [offset (|>>)])) product.right)) (def: .public (returnI returnT) @@ -1228,7 +1228,7 @@ (def: class_bundle Bundle (<| (bundle.prefix "class") - (|> (: Bundle bundle.empty) + (|> (is Bundle bundle.empty) (bundle.install "anonymous" class::anonymous) ))) |