aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/ffi.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/ffi.jvm.lux')
-rw-r--r--stdlib/source/library/lux/ffi.jvm.lux114
1 files changed, 57 insertions, 57 deletions
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index 6f22bfb29..297b11715 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -328,32 +328,32 @@
(-> Primitive_Mode (Type Primitive) Code)
(case mode
{#ManualPrM}
- (cond (# jvm.equivalence = jvm.boolean type) (` ..Boolean)
- (# jvm.equivalence = jvm.byte type) (` ..Byte)
- (# jvm.equivalence = jvm.short type) (` ..Short)
- (# jvm.equivalence = jvm.int type) (` ..Integer)
- (# jvm.equivalence = jvm.long type) (` ..Long)
- (# jvm.equivalence = jvm.float type) (` ..Float)
- (# jvm.equivalence = jvm.double type) (` ..Double)
- (# jvm.equivalence = jvm.char type) (` ..Character)
+ (cond (at jvm.equivalence = jvm.boolean type) (` ..Boolean)
+ (at jvm.equivalence = jvm.byte type) (` ..Byte)
+ (at jvm.equivalence = jvm.short type) (` ..Short)
+ (at jvm.equivalence = jvm.int type) (` ..Integer)
+ (at jvm.equivalence = jvm.long type) (` ..Long)
+ (at jvm.equivalence = jvm.float type) (` ..Float)
+ (at jvm.equivalence = jvm.double type) (` ..Double)
+ (at jvm.equivalence = jvm.char type) (` ..Character)
... else
(undefined))
{#AutoPrM}
- (cond (# jvm.equivalence = jvm.boolean type)
+ (cond (at jvm.equivalence = jvm.boolean type)
(` .Bit)
- (or (# jvm.equivalence = jvm.short type)
- (# jvm.equivalence = jvm.byte type)
- (# jvm.equivalence = jvm.int type)
- (# jvm.equivalence = jvm.long type))
+ (or (at jvm.equivalence = jvm.short type)
+ (at jvm.equivalence = jvm.byte type)
+ (at jvm.equivalence = jvm.int type)
+ (at jvm.equivalence = jvm.long type))
(` .Int)
- (or (# jvm.equivalence = jvm.float type)
- (# jvm.equivalence = jvm.double type))
+ (or (at jvm.equivalence = jvm.float type)
+ (at jvm.equivalence = jvm.double type))
(` .Frac)
- (# jvm.equivalence = jvm.char type)
+ (at jvm.equivalence = jvm.char type)
(` .Nat)
... else
@@ -613,7 +613,7 @@
(|>> (<>.after (<code>.this (' <comparison>)))
(<>.after ..wildcard^)
<code>.tuple
- (# <>.monad each <constructor>)))]
+ (at <>.monad each <constructor>)))]
[upper^ < jvm.upper]
[lower^ > jvm.lower]
@@ -656,7 +656,7 @@
(def: array^
(-> (Parser (Type Value)) (Parser (Type Array)))
(|>> <code>.tuple
- (# <>.monad each jvm.array)))
+ (at <>.monad each jvm.array)))
(def: (type^ type_vars)
(-> (List (Type Var)) (Parser (Type Value)))
@@ -681,7 +681,7 @@
(def: var^
(Parser (Type Var))
- (# <>.monad each jvm.var <code>.local))
+ (at <>.monad each jvm.var <code>.local))
(def: vars^
(Parser (List (Type Var)))
@@ -748,7 +748,7 @@
(all <>.or
(<code>.this (' "volatile"))
(<code>.this (' "final"))
- (# <>.monad in [])))
+ (at <>.monad in [])))
(def: (field_decl^ type_vars)
(-> (List (Type Var)) (Parser [Member_Declaration FieldDecl]))
@@ -1198,7 +1198,7 @@
(syntax: .public (class: [.let [! <>.monad]
im inheritance_modifier^
- [full_class_name class_vars] (# ! each parser.declaration ..declaration^)
+ [full_class_name class_vars] (at ! each parser.declaration ..declaration^)
super (<>.else $Object
(class^ class_vars))
interfaces (<>.else (list)
@@ -1222,7 +1222,7 @@
[(~+ (list#each (method_def$ fully_qualified_class_name method_parser super fields) methods))]))))))
(syntax: .public (interface: [.let [! <>.monad]
- [full_class_name class_vars] (# ! each parser.declaration ..declaration^)
+ [full_class_name class_vars] (at ! each parser.declaration ..declaration^)
supers (<>.else (list)
(<code>.tuple (<>.some (class^ class_vars))))
annotations ..annotations^
@@ -1355,7 +1355,7 @@
(in [arg_inputs input_jvm_types arg_types])))
_
- (# meta.monad in [(list) (list) (list)])))
+ (at meta.monad in [(list) (list) (list)])))
(def: (with_return_maybe member never_null? unboxed return_term)
(-> Import_Member_Declaration Bit (Type Value) Code Code)
@@ -1406,7 +1406,7 @@
{#AutoPrM}
(with_expansions [<special+>' (template.spliced <special+>)
<cond_cases> (template [<primitive> <pre> <post>]
- [(# jvm.equivalence = <primitive> unboxed)
+ [(at jvm.equivalence = <primitive> unboxed)
(with_expansions [<post>' (template.spliced <post>)]
[<primitive>
(` (.|> (~ raw) (~+ <pre>)))
@@ -1652,9 +1652,9 @@
(let [[class_name _] (parser.declaration declaration)]
(case (load_class class_name)
{.#Right class}
- (# meta.monad in (if (interface? class)
- {#Interface}
- {#Class}))
+ (at meta.monad in (if (interface? class)
+ {#Interface}
+ {#Class}))
{.#Left _}
(meta.failure (format "Unknown class: " class_name)))))
@@ -1678,7 +1678,7 @@
"jvm object cast"
"jvm conversion long-to-int"))]
(`` (cond (~~ (template [<primitive> <array_op>]
- [(# jvm.equivalence = <primitive> type)
+ [(at jvm.equivalence = <primitive> type)
(in (list (` (<array_op> (~ g!size)))))]
[jvm.boolean "jvm array new boolean"]
@@ -1702,14 +1702,14 @@
(def: (lux_type->jvm_type context type)
(-> Type_Context .Type (Meta (Type Value)))
(if (type#= .Any type)
- (# meta.monad in $Object)
+ (at meta.monad in $Object)
(case type
{.#Primitive name params}
(`` (cond (~~ (template [<type>]
[(text#= (..reflection <type>) name)
(case params
{.#End}
- (# meta.monad in <type>)
+ (at meta.monad in <type>)
_
<failure>)]
@@ -1727,7 +1727,7 @@
[(text#= (..reflection (jvm.array <type>)) name)
(case params
{.#End}
- (# meta.monad in (jvm.array <type>))
+ (at meta.monad in (jvm.array <type>))
_
<failure>)]
@@ -1744,8 +1744,8 @@
(text#= array.type_name name)
(case params
{.#Item {.#Apply writeLT {.#Apply readLT _Mutable}} {.#End}}
- (# meta.monad each jvm.array
- (lux_type->jvm_type context readLT))
+ (at meta.monad each jvm.array
+ (lux_type->jvm_type context readLT))
_
<failure>)
@@ -1754,26 +1754,26 @@
(case params
{.#End}
(let [[_ unprefixed] (maybe.trusted (text.split_by descriptor.array_prefix name))]
- (# meta.monad each jvm.array
- (lux_type->jvm_type context {.#Primitive unprefixed (list)})))
+ (at meta.monad each jvm.array
+ (lux_type->jvm_type context {.#Primitive unprefixed (list)})))
_
<failure>)
... else
- (# meta.monad each (jvm.class name)
- (.is (Meta (List (Type Parameter)))
- (monad.each meta.monad
- (function (_ paramLT)
- (do meta.monad
- [paramJT (lux_type->jvm_type context paramLT)]
- (case (parser.parameter? paramJT)
- {.#Some paramJT}
- (in paramJT)
-
- {.#None}
- <failure>)))
- params)))))
+ (at meta.monad each (jvm.class name)
+ (.is (Meta (List (Type Parameter)))
+ (monad.each meta.monad
+ (function (_ paramLT)
+ (do meta.monad
+ [paramJT (lux_type->jvm_type context paramLT)]
+ (case (parser.parameter? paramJT)
+ {.#Some paramJT}
+ (in paramJT)
+
+ {.#None}
+ <failure>)))
+ params)))))
{.#Apply A F}
(case (type.applied (list A) F)
@@ -1805,9 +1805,9 @@
context meta.type_context
array_jvm_type (lux_type->jvm_type context array_type)
.let [g!extension (code.text (`` (cond (~~ (template [<primitive> <extension>]
- [(# jvm.equivalence =
- (jvm.array <primitive>)
- array_jvm_type)
+ [(at jvm.equivalence =
+ (jvm.array <primitive>)
+ array_jvm_type)
<extension>]
[jvm.boolean "jvm array length boolean"]
@@ -1846,9 +1846,9 @@
"jvm object cast"
"jvm conversion long-to-int"))]]
(`` (cond (~~ (template [<primitive> <extension> <box>]
- [(# jvm.equivalence =
- (jvm.array <primitive>)
- array_jvm_type)
+ [(at jvm.equivalence =
+ (jvm.array <primitive>)
+ array_jvm_type)
(in (list (` (.|> (<extension> (~ g!idx) (~ array))
"jvm object cast"
(.is (.Primitive (~ (code.text <box>))))))))]
@@ -1885,9 +1885,9 @@
"jvm object cast"
"jvm conversion long-to-int"))]]
(`` (cond (~~ (template [<primitive> <extension> <box>]
- [(# jvm.equivalence =
- (jvm.array <primitive>)
- array_jvm_type)
+ [(at jvm.equivalence =
+ (jvm.array <primitive>)
+ array_jvm_type)
(let [g!value (` (.|> (~ value)
(.as (.Primitive (~ (code.text <box>))))
"jvm object cast"))]
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 02:23:27 +0000