aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/host.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/host.jvm.lux')
-rw-r--r--stdlib/source/lux/host.jvm.lux44
1 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux
index d9f6c0019..4c8f614bc 100644
--- a/stdlib/source/lux/host.jvm.lux
+++ b/stdlib/source/lux/host.jvm.lux
@@ -305,7 +305,7 @@
(-> Primitive-Mode (List TypeParam) Bool GenericType AST)
(case class
(#GenericTypeVar name)
- (case (find (lambda [[pname pbounds]]
+ (case (find (function [[pname pbounds]]
(and (Text/= name pname)
(not (list;empty? pbounds))))
type-params)
@@ -341,7 +341,7 @@
(def: (class-decl-type$ (^slots [#class-name #class-params]))
(-> ClassDecl AST)
(let [=params (map (: (-> TypeParam AST)
- (lambda [[pname pbounds]]
+ (function [[pname pbounds]]
(case pbounds
#;Nil
(ast;symbol ["" pname])
@@ -373,7 +373,7 @@
[current-module compiler;current-module-name
defs (compiler;defs current-module)]
(wrap (fold (: (-> [Text Def] ClassImports ClassImports)
- (lambda [[short-name [_ meta _]] imports]
+ (function [[short-name [_ meta _]] imports]
(case (compiler;get-text-ann (ident-for #;;jvm-class) meta)
(#;Some full-class-name)
(add-import [short-name full-class-name] imports)
@@ -489,7 +489,7 @@
(-> (List TypeParam) GenericType Text)
(case class
(#GenericTypeVar name)
- (case (find (lambda [[pname pbounds]]
+ (case (find (function [[pname pbounds]]
(and (Text/= name pname)
(not (list;empty? pbounds))))
params)
@@ -562,7 +562,7 @@
[meta (#;RecordS pairs)]
[meta (#;RecordS (map (: (-> [AST AST] [AST AST])
- (lambda [[key val]]
+ (function [[key val]]
[(pre-walk-replace f key) (pre-walk-replace f val)]))
pairs))]
@@ -1326,7 +1326,7 @@
(:= .resolved true)
(let [sleepers .waitingList
sleepers-count (java.util.List.size [] sleepers)]
- (map (lambda [idx]
+ (map (function [idx]
(let [sleeper (java.util.List.get [(l2i idx)] sleepers)]
(Executor.execute [(@runnable (lux.Function.apply [(:! Object value)] sleeper))]
executor)))
@@ -1475,7 +1475,7 @@
"If it fails, you get (#;Left error+stack-traces-as-text)."
(try (risky-computation input)))}
(with-gensyms [g!_]
- (wrap (list (`' (_lux_proc ["lux" "try"] [(lambda [(~ g!_)] (~ expr))]))))))
+ (wrap (list (`' (_lux_proc ["lux" "try"] [(function [(~ g!_)] (~ expr))]))))))
(syntax: #export (instance? [#let [imports (class-imports *compiler*)]]
[class (generic-type^ imports (list))]
@@ -1491,7 +1491,7 @@
(do @
[g!obj (compiler;gensym "obj")]
(wrap (list (` (: (-> (host (~' java.lang.Object)) Bool)
- (lambda [(~ g!obj)]
+ (function [(~ g!obj)]
(;_lux_proc ["jvm" (~ (ast;text (format "instanceof" ":" (simple-class$ (list) class))))] [(~ g!obj)])))))))
))
@@ -1542,7 +1542,7 @@
(host (~ (ast;symbol ["" full-name])))))
(#;Cons _)
- (let [params' (map (lambda [[p _]] (ast;symbol ["" p])) params)]
+ (let [params' (map (function [[p _]] (ast;symbol ["" p])) params)]
(` (def: (~ (ast;symbol ["" def-name]))
{#;type? true
#;;jvm-class (~ (ast;text full-name))}
@@ -1576,7 +1576,7 @@
(do Monad<Lux>
[arg-inputs (mapM @
(: (-> [Bool GenericType] (Lux [AST AST]))
- (lambda [[maybe? _]]
+ (function [[maybe? _]]
(with-gensyms [arg-name]
(wrap [arg-name (if maybe?
(` (!!! (~ arg-name)))
@@ -1586,15 +1586,15 @@
(map (. (simple-class$ (List/append type-params import-member-tvars)) product;right)
import-member-args))
arg-types (map (: (-> [Bool GenericType] AST)
- (lambda [[maybe? arg]]
+ (function [[maybe? arg]]
(let [arg-type (class->type (get@ #import-member-mode commons) type-params arg)]
(if maybe?
(` (Maybe (~ arg-type)))
arg-type))))
import-member-args)
- arg-lambda-inputs (map product;left arg-inputs)
+ arg-function-inputs (map product;left arg-inputs)
arg-method-inputs (map product;right arg-inputs)]]
- (wrap [arg-lambda-inputs arg-method-inputs arg-classes arg-types])))
+ (wrap [arg-function-inputs arg-method-inputs arg-classes arg-types])))
_
(:: Monad<Lux> wrap [(list) (list) (list) (list)])))
@@ -1736,7 +1736,7 @@
"float" (` (d2f (~ input)))
_ input)))
-(def: (member-def-interop type-params kind class [arg-lambda-inputs arg-method-inputs arg-classes arg-types] member method-prefix)
+(def: (member-def-interop type-params kind class [arg-function-inputs arg-method-inputs arg-classes arg-types] member method-prefix)
(-> (List TypeParam) ClassKind ClassDecl [(List AST) (List AST) (List Text) (List AST)] ImportMemberDecl Text (Lux (List AST)))
(let [[full-name class-tvars] class
all-params (|> (member-type-vars class-tvars member)
@@ -1756,7 +1756,7 @@
(map type-param->type-arg))]
(` (All [(~@ =class-tvars)] (host (~ (ast;symbol ["" full-name])) [(~@ =class-tvars)]))))))
getter-interop (: (-> Text AST)
- (lambda [name]
+ (function [name]
(let [getter-name (ast;symbol ["" (format method-prefix member-separator name)])]
(` (def: (~ getter-name)
(~ enum-type)
@@ -1767,11 +1767,11 @@
(do Monad<Lux>
[return-type (member-def-return (get@ #import-member-mode commons) type-params class member)
#let [def-name (ast;symbol ["" (format method-prefix member-separator (get@ #import-member-alias commons))])
- def-params (list (ast;tuple arg-lambda-inputs))
+ def-params (list (ast;tuple arg-function-inputs))
jvm-interop (|> (` (;_lux_proc ["jvm" (~ (ast;text (format "new" ":" full-name ":" (text;join-with "," arg-classes))))]
[(~@ arg-method-inputs)]))
(with-mode-inputs (get@ #import-member-mode commons)
- (list;zip2 arg-classes arg-lambda-inputs)))
+ (list;zip2 arg-classes arg-function-inputs)))
[return-type jvm-interop] (|> [return-type jvm-interop]
(decorate-return-maybe member)
(decorate-return-try member)
@@ -1806,7 +1806,7 @@
(list g!obj)
(list (class-decl-type$ class))]
)))
- def-params (#;Cons (ast;tuple arg-lambda-inputs) obj-ast)
+ def-params (#;Cons (ast;tuple arg-function-inputs) obj-ast)
def-param-types (#;Cons (` [(~@ arg-types)]) class-ast)
jvm-interop (|> (` (;_lux_proc ["jvm" (~ (ast;text (format jvm-op ":" full-name ":" import-method-name
":" (text;join-with "," arg-classes))))]
@@ -1814,7 +1814,7 @@
(with-mode-output (get@ #import-member-mode commons)
(get@ #import-method-return method))
(with-mode-inputs (get@ #import-member-mode commons)
- (list;zip2 arg-classes arg-lambda-inputs)))
+ (list;zip2 arg-classes arg-function-inputs)))
[return-type jvm-interop] (|> [return-type jvm-interop]
(decorate-return-maybe member)
(decorate-return-try member)
@@ -2094,10 +2094,10 @@
bar (do-something-else my-res2)]
(do-one-last-thing foo bar))))}
(with-gensyms [g!output g!_]
- (let [inits (List/join (List/map (lambda [[res-name res-ctor]]
+ (let [inits (List/join (List/map (function [[res-name res-ctor]]
(list (ast;symbol ["" res-name]) res-ctor))
bindings))
- closes (List/map (lambda [res]
+ closes (List/map (function [res]
(` (try (;_lux_proc ["jvm" "invokevirtual:java.io.Closeable:close:"]
[(~ (ast;symbol ["" (product;left res)]))]))))
bindings)]
@@ -2115,7 +2115,7 @@
(def: get-compiler
(Lux Compiler)
- (lambda [compiler]
+ (function [compiler]
(#;Right [compiler compiler])))
(def: (fully-qualify-class-name+ imports name)
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-17 22:27:30 +0000