aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/host.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/host.jvm.lux194
1 files changed, 97 insertions, 97 deletions
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux
index b85bdf2a0..cdef88e92 100644
--- a/stdlib/source/lux/host.jvm.lux
+++ b/stdlib/source/lux/host.jvm.lux
@@ -8,15 +8,15 @@
["." maybe]
["." product]
["." error (#+ Error)]
- ["." bit ("#/." codec)]
+ ["." bit ("#;." codec)]
number
- ["." text ("#/." equivalence monoid)
+ ["." text ("#;." equivalence monoid)
format]
[collection
["." array (#+ Array)]
- ["." list ("#/." monad fold monoid)]]]
+ ["." list ("#;." monad fold monoid)]]]
["." function]
- ["." type ("#/." equivalence)]
+ ["." type ("#;." equivalence)]
["." macro (#+ with-gensyms)
["." code]
["s" syntax (#+ syntax: Syntax)]]
@@ -290,7 +290,7 @@
[[name params] _ _]
(let [name (sanitize name)
- =params (list/map (class->type' mode type-params in-array?) params)]
+ =params (list;map (class->type' mode type-params in-array?) params)]
(` (primitive (~ (code.text name)) [(~+ =params)])))))
(def: (class->type' mode type-params in-array? class)
@@ -298,7 +298,7 @@
(case class
(#GenericTypeVar name)
(case (list.find (function (_ [pname pbounds])
- (and (text/= name pname)
+ (and (text;= name pname)
(not (list.empty? pbounds))))
type-params)
#.None
@@ -332,7 +332,7 @@
(def: (class-decl-type$ (^slots [#class-name #class-params]))
(-> Class-Declaration Code)
- (let [=params (list/map (: (-> Type-Paramameter Code)
+ (let [=params (list;map (: (-> Type-Paramameter Code)
(function (_ [pname pbounds])
(case pbounds
#.Nil
@@ -351,7 +351,7 @@
(def: (get-import name imports)
(-> Text Class-Imports (Maybe Text))
(:: maybe.functor map product.right
- (list.find (|>> product.left (text/= name))
+ (list.find (|>> product.left (text;= name))
imports)))
(def: (add-import short+full imports)
@@ -365,7 +365,7 @@
(do macro.monad
[current-module macro.current-module-name
definitions (macro.definitions current-module)]
- (wrap (list/fold (: (-> [Text Definition] Class-Imports Class-Imports)
+ (wrap (list;fold (: (-> [Text Definition] Class-Imports Class-Imports)
(function (_ [short-name [_ meta _]] imports)
(case (macro.get-text-ann (name-of #..jvm-class) meta)
(#.Some full-class-name)
@@ -474,7 +474,7 @@
(case class
(#GenericTypeVar name)
(case (list.find (function (_ [pname pbounds])
- (and (text/= name pname)
+ (and (text;= name pname)
(not (list.empty? pbounds))))
env)
#.None
@@ -540,12 +540,12 @@
(case (f input)
(^template [<tag>]
[meta (<tag> parts)]
- [meta (<tag> (list/map (pre-walk-replace f) parts))])
+ [meta (<tag> (list;map (pre-walk-replace f) parts))])
([#.Form]
[#.Tuple])
[meta (#.Record pairs)]
- [meta (#.Record (list/map (: (-> [Code Code] [Code Code])
+ [meta (#.Record (list;map (: (-> [Code Code] [Code Code])
(function (_ [key val])
[(pre-walk-replace f key) (pre-walk-replace f val)]))
pairs))]
@@ -579,7 +579,7 @@
[args (: (Syntax (List Code))
(s.form (p.after (s.this (' ::new!))
(s.tuple (p.exactly (list.size arg-decls) s.any)))))
- #let [arg-decls' (: (List Text) (list/map (|>> product.right (simple-class$ params)) arg-decls))]]
+ #let [arg-decls' (: (List Text) (list;map (|>> product.right (simple-class$ params)) arg-decls))]]
(wrap (` ((~ (code.text (format "jvm new" ":" class-name ":" (text.join-with "," arg-decls'))))
(~+ args))))))
@@ -590,7 +590,7 @@
args (: (Syntax (List Code))
(s.form (p.after (s.this (code.identifier ["" dotted-name]))
(s.tuple (p.exactly (list.size arg-decls) s.any)))))
- #let [arg-decls' (: (List Text) (list/map (|>> product.right (simple-class$ params)) arg-decls))]]
+ #let [arg-decls' (: (List Text) (list;map (|>> product.right (simple-class$ params)) arg-decls))]]
(wrap (`' ((~ (code.text (format "jvm invokestatic" ":" class-name ":" method-name ":" (text.join-with "," arg-decls'))))
(~+ args))))))
@@ -602,7 +602,7 @@
args (: (Syntax (List Code))
(s.form (p.after (s.this (code.identifier ["" dotted-name]))
(s.tuple (p.exactly (list.size arg-decls) s.any)))))
- #let [arg-decls' (: (List Text) (list/map (|>> product.right (simple-class$ params)) arg-decls))]]
+ #let [arg-decls' (: (List Text) (list;map (|>> product.right (simple-class$ params)) arg-decls))]]
(wrap (`' ((~ (code.text (format <jvm-op> ":" class-name ":" method-name ":" (text.join-with "," arg-decls'))))
(~' _jvm_this) (~+ args))))))]
@@ -677,7 +677,7 @@
(do p.monad
[name (full-class-name^ imports)
_ (assert-no-periods name)]
- (if (list.member? text.equivalence (list/map product.left type-vars) name)
+ (if (list.member? text.equivalence (list;map product.left type-vars) name)
(wrap (#GenericTypeVar name))
(wrap (#GenericClass name (list)))))
(s.form (do p.monad
@@ -703,7 +703,7 @@
_ (assert-no-periods name)
params (p.some (generic-type^ imports type-vars))
_ (p.assert (format name " cannot be a type-parameter!")
- (not (list.member? text.equivalence (list/map product.left type-vars) name)))]
+ (not (list.member? text.equivalence (list;map product.left type-vars) name)))]
(wrap (#GenericClass name params))))
))
@@ -844,7 +844,7 @@
[pm privacy-modifier^
strict-fp? (s.this? (' #strict))
method-vars (p.default (list) (type-params^ imports))
- #let [total-vars (list/compose class-vars method-vars)]
+ #let [total-vars (list;compose class-vars method-vars)]
[_ arg-decls] (s.form (p.and (s.this (' new))
(arg-decls^ imports total-vars)))
constructor-args (constructor-args^ imports total-vars)
@@ -863,7 +863,7 @@
strict-fp? (s.this? (' #strict))
final? (s.this? (' #final))
method-vars (p.default (list) (type-params^ imports))
- #let [total-vars (list/compose class-vars method-vars)]
+ #let [total-vars (list;compose class-vars method-vars)]
[name arg-decls] (s.form (p.and s.local-identifier
(arg-decls^ imports total-vars)))
return-type (generic-type^ imports total-vars)
@@ -881,7 +881,7 @@
[strict-fp? (s.this? (' #strict))
owner-class (class-decl^ imports)
method-vars (p.default (list) (type-params^ imports))
- #let [total-vars (list/compose (product.right owner-class) method-vars)]
+ #let [total-vars (list;compose (product.right owner-class) method-vars)]
[name arg-decls] (s.form (p.and s.local-identifier
(arg-decls^ imports total-vars)))
return-type (generic-type^ imports total-vars)
@@ -1000,7 +1000,7 @@
[tvars (p.default (list) (type-params^ imports))
_ (s.this (' new))
?alias import-member-alias^
- #let [total-vars (list/compose owner-vars tvars)]
+ #let [total-vars (list;compose owner-vars tvars)]
?prim-mode (p.maybe primitive-mode^)
args (import-member-args^ imports total-vars)
[io? try? maybe?] import-member-return-flags^]
@@ -1021,7 +1021,7 @@
tvars (p.default (list) (type-params^ imports))
name s.local-identifier
?alias import-member-alias^
- #let [total-vars (list/compose owner-vars tvars)]
+ #let [total-vars (list;compose owner-vars tvars)]
?prim-mode (p.maybe primitive-mode^)
args (import-member-args^ imports total-vars)
[io? try? maybe?] import-member-return-flags^
@@ -1086,7 +1086,7 @@
(def: (annotation$ [name params])
(-> Annotation JVM-Code)
- (format "(" name " " "{" (text.join-with text.tab (list/map annotation-param$ params)) "}" ")"))
+ (format "(" name " " "{" (text.join-with text.tab (list;map annotation-param$ params)) "}" ")"))
(def: (bound-kind$ kind)
(-> BoundKind JVM-Code)
@@ -1101,7 +1101,7 @@
name
(#GenericClass name params)
- (format "(" (sanitize name) " " (spaced (list/map generic-type$ params)) ")")
+ (format "(" (sanitize name) " " (spaced (list;map generic-type$ params)) ")")
(#GenericArray param)
(format "(" array.type-name " " (generic-type$ param) ")")
@@ -1114,25 +1114,25 @@
(def: (type-param$ [name bounds])
(-> Type-Paramameter JVM-Code)
- (format "(" name " " (spaced (list/map generic-type$ bounds)) ")"))
+ (format "(" name " " (spaced (list;map generic-type$ bounds)) ")"))
(def: (class-decl$ (^open "."))
(-> Class-Declaration JVM-Code)
- (format "(" (sanitize class-name) " " (spaced (list/map type-param$ class-params)) ")"))
+ (format "(" (sanitize class-name) " " (spaced (list;map type-param$ class-params)) ")"))
(def: (super-class-decl$ (^slots [#super-class-name #super-class-params]))
(-> Super-Class-Decl JVM-Code)
- (format "(" (sanitize super-class-name) " " (spaced (list/map generic-type$ super-class-params)) ")"))
+ (format "(" (sanitize super-class-name) " " (spaced (list;map generic-type$ super-class-params)) ")"))
(def: (method-decl$ [[name pm anns] method-decl])
(-> [Member-Declaration MethodDecl] JVM-Code)
(let [(^slots [#method-tvars #method-inputs #method-output #method-exs]) method-decl]
(with-parens
(spaced (list name
- (with-brackets (spaced (list/map annotation$ anns)))
- (with-brackets (spaced (list/map type-param$ method-tvars)))
- (with-brackets (spaced (list/map generic-type$ method-exs)))
- (with-brackets (spaced (list/map generic-type$ method-inputs)))
+ (with-brackets (spaced (list;map annotation$ anns)))
+ (with-brackets (spaced (list;map type-param$ method-tvars)))
+ (with-brackets (spaced (list;map generic-type$ method-exs)))
+ (with-brackets (spaced (list;map generic-type$ method-inputs)))
(generic-type$ method-output))
))))
@@ -1149,7 +1149,7 @@
(#ConstantField class value)
(with-parens
(spaced (list "constant" name
- (with-brackets (spaced (list/map annotation$ anns)))
+ (with-brackets (spaced (list;map annotation$ anns)))
(generic-type$ class)
(code.to-text value))
))
@@ -1159,7 +1159,7 @@
(spaced (list "variable" name
(privacy-modifier$ pm)
(state-modifier$ sm)
- (with-brackets (spaced (list/map annotation$ anns)))
+ (with-brackets (spaced (list;map annotation$ anns)))
(generic-type$ class))
))
))
@@ -1181,12 +1181,12 @@
(with-parens
(spaced (list "init"
(privacy-modifier$ pm)
- (bit/encode strict-fp?)
- (with-brackets (spaced (list/map annotation$ anns)))
- (with-brackets (spaced (list/map type-param$ type-vars)))
- (with-brackets (spaced (list/map generic-type$ exs)))
- (with-brackets (spaced (list/map arg-decl$ arg-decls)))
- (with-brackets (spaced (list/map constructor-arg$ constructor-args)))
+ (bit;encode strict-fp?)
+ (with-brackets (spaced (list;map annotation$ anns)))
+ (with-brackets (spaced (list;map type-param$ type-vars)))
+ (with-brackets (spaced (list;map generic-type$ exs)))
+ (with-brackets (spaced (list;map arg-decl$ arg-decls)))
+ (with-brackets (spaced (list;map constructor-arg$ constructor-args)))
(code.to-text (pre-walk-replace replacer body))
)))
@@ -1195,12 +1195,12 @@
(spaced (list "virtual"
name
(privacy-modifier$ pm)
- (bit/encode final?)
- (bit/encode strict-fp?)
- (with-brackets (spaced (list/map annotation$ anns)))
- (with-brackets (spaced (list/map type-param$ type-vars)))
- (with-brackets (spaced (list/map generic-type$ exs)))
- (with-brackets (spaced (list/map arg-decl$ arg-decls)))
+ (bit;encode final?)
+ (bit;encode strict-fp?)
+ (with-brackets (spaced (list;map annotation$ anns)))
+ (with-brackets (spaced (list;map type-param$ type-vars)))
+ (with-brackets (spaced (list;map generic-type$ exs)))
+ (with-brackets (spaced (list;map arg-decl$ arg-decls)))
(generic-type$ return-type)
(code.to-text (pre-walk-replace replacer body)))))
@@ -1208,7 +1208,7 @@
(let [super-replacer (parser->replacer (s.form (do p.monad
[_ (s.this (' ::super!))
args (s.tuple (p.exactly (list.size arg-decls) s.any))
- #let [arg-decls' (: (List Text) (list/map (|>> product.right (simple-class$ (list)))
+ #let [arg-decls' (: (List Text) (list;map (|>> product.right (simple-class$ (list)))
arg-decls))]]
(wrap (`' ((~ (code.text (format "jvm invokespecial"
":" (get@ #super-class-name super-class)
@@ -1219,11 +1219,11 @@
(spaced (list "override"
(class-decl$ class-decl)
name
- (bit/encode strict-fp?)
- (with-brackets (spaced (list/map annotation$ anns)))
- (with-brackets (spaced (list/map type-param$ type-vars)))
- (with-brackets (spaced (list/map generic-type$ exs)))
- (with-brackets (spaced (list/map arg-decl$ arg-decls)))
+ (bit;encode strict-fp?)
+ (with-brackets (spaced (list;map annotation$ anns)))
+ (with-brackets (spaced (list;map type-param$ type-vars)))
+ (with-brackets (spaced (list;map generic-type$ exs)))
+ (with-brackets (spaced (list;map arg-decl$ arg-decls)))
(generic-type$ return-type)
(|> body
(pre-walk-replace replacer)
@@ -1236,11 +1236,11 @@
(spaced (list "static"
name
(privacy-modifier$ pm)
- (bit/encode strict-fp?)
- (with-brackets (spaced (list/map annotation$ anns)))
- (with-brackets (spaced (list/map type-param$ type-vars)))
- (with-brackets (spaced (list/map generic-type$ exs)))
- (with-brackets (spaced (list/map arg-decl$ arg-decls)))
+ (bit;encode strict-fp?)
+ (with-brackets (spaced (list;map annotation$ anns)))
+ (with-brackets (spaced (list;map type-param$ type-vars)))
+ (with-brackets (spaced (list;map generic-type$ exs)))
+ (with-brackets (spaced (list;map arg-decl$ arg-decls)))
(generic-type$ return-type)
(code.to-text (pre-walk-replace replacer body)))))
@@ -1249,10 +1249,10 @@
(spaced (list "abstract"
name
(privacy-modifier$ pm)
- (with-brackets (spaced (list/map annotation$ anns)))
- (with-brackets (spaced (list/map type-param$ type-vars)))
- (with-brackets (spaced (list/map generic-type$ exs)))
- (with-brackets (spaced (list/map arg-decl$ arg-decls)))
+ (with-brackets (spaced (list;map annotation$ anns)))
+ (with-brackets (spaced (list;map type-param$ type-vars)))
+ (with-brackets (spaced (list;map generic-type$ exs)))
+ (with-brackets (spaced (list;map arg-decl$ arg-decls)))
(generic-type$ return-type))))
(#NativeMethod type-vars arg-decls return-type exs)
@@ -1260,10 +1260,10 @@
(spaced (list "native"
name
(privacy-modifier$ pm)
- (with-brackets (spaced (list/map annotation$ anns)))
- (with-brackets (spaced (list/map type-param$ type-vars)))
- (with-brackets (spaced (list/map generic-type$ exs)))
- (with-brackets (spaced (list/map arg-decl$ arg-decls)))
+ (with-brackets (spaced (list;map annotation$ anns)))
+ (with-brackets (spaced (list;map type-param$ type-vars)))
+ (with-brackets (spaced (list;map generic-type$ exs)))
+ (with-brackets (spaced (list;map arg-decl$ arg-decls)))
(generic-type$ return-type))))
))
@@ -1325,19 +1325,19 @@
(do macro.monad
[current-module macro.current-module-name
#let [fully-qualified-class-name (format (sanitize current-module) "." full-class-name)
- field-parsers (list/map (field->parser fully-qualified-class-name) fields)
- method-parsers (list/map (method->parser (product.right class-decl) fully-qualified-class-name) methods)
- replacer (parser->replacer (list/fold p.either
+ field-parsers (list;map (field->parser fully-qualified-class-name) fields)
+ method-parsers (list;map (method->parser (product.right class-decl) fully-qualified-class-name) methods)
+ replacer (parser->replacer (list;fold p.either
(p.fail "")
- (list/compose field-parsers method-parsers)))
+ (list;compose field-parsers method-parsers)))
def-code (format "jvm class:"
(spaced (list (class-decl$ class-decl)
(super-class-decl$ super)
- (with-brackets (spaced (list/map super-class-decl$ interfaces)))
+ (with-brackets (spaced (list;map super-class-decl$ interfaces)))
(inheritance-modifier$ im)
- (with-brackets (spaced (list/map annotation$ annotations)))
- (with-brackets (spaced (list/map field-decl$ fields)))
- (with-brackets (spaced (list/map (method-def$ replacer super) methods))))))]]
+ (with-brackets (spaced (list;map annotation$ annotations)))
+ (with-brackets (spaced (list;map field-decl$ fields)))
+ (with-brackets (spaced (list;map (method-def$ replacer super) methods))))))]]
(wrap (list (` ((~ (code.text def-code))))))))
(syntax: #export (interface:
@@ -1356,9 +1356,9 @@
([] foo [boolean String] void #throws [Exception])))}
(let [def-code (format "jvm interface:"
(spaced (list (class-decl$ class-decl)
- (with-brackets (spaced (list/map super-class-decl$ supers)))
- (with-brackets (spaced (list/map annotation$ annotations)))
- (spaced (list/map method-decl$ members)))))]
+ (with-brackets (spaced (list;map super-class-decl$ supers)))
+ (with-brackets (spaced (list;map annotation$ annotations)))
+ (spaced (list;map method-decl$ members)))))]
(wrap (list (` ((~ (code.text def-code))))))
))
@@ -1384,9 +1384,9 @@
)}
(let [def-code (format "jvm anon-class:"
(spaced (list (super-class-decl$ super)
- (with-brackets (spaced (list/map super-class-decl$ interfaces)))
- (with-brackets (spaced (list/map constructor-arg$ constructor-args)))
- (with-brackets (spaced (list/map (method-def$ function.identity super) methods))))))]
+ (with-brackets (spaced (list;map super-class-decl$ interfaces)))
+ (with-brackets (spaced (list;map constructor-arg$ constructor-args)))
+ (with-brackets (spaced (list;map (method-def$ function.identity super) methods))))))]
(wrap (list (` ((~ (code.text def-code))))))))
(syntax: #export (null)
@@ -1484,7 +1484,7 @@
(ClassName::method2 arg3 arg4 arg5)))}
(with-gensyms [g!obj]
(wrap (list (` (let [(~ g!obj) (~ obj)]
- (exec (~+ (list/map (complete-call$ g!obj) methods))
+ (exec (~+ (list;map (complete-call$ g!obj) methods))
(~ g!obj))))))))
(def: (class-import$ long-name? [full-name params])
@@ -1492,7 +1492,7 @@
(let [def-name (if long-name?
full-name
(short-class-name full-name))
- params' (list/map (|>> product.left code.local-identifier) params)]
+ params' (list;map (|>> product.left code.local-identifier) params)]
(` (def: (~ (code.identifier ["" def-name]))
{#.type? #1
#..jvm-class (~ (code.text full-name))}
@@ -1505,7 +1505,7 @@
(-> (List Type-Paramameter) Import-Member-Declaration (List Type-Paramameter))
(case member
(#ConstructorDecl [commons _])
- (list/compose class-tvars (get@ #import-member-tvars commons))
+ (list;compose class-tvars (get@ #import-member-tvars commons))
(#MethodDecl [commons _])
(case (get@ #import-member-kind commons)
@@ -1513,7 +1513,7 @@
(get@ #import-member-tvars commons)
_
- (list/compose class-tvars (get@ #import-member-tvars commons)))
+ (list;compose class-tvars (get@ #import-member-tvars commons)))
_
class-tvars))
@@ -1531,9 +1531,9 @@
(wrap [maybe? arg-name]))))
import-member-args)
#let [arg-classes (: (List Text)
- (list/map (|>> product.right (simple-class$ (list/compose type-params import-member-tvars)))
+ (list;map (|>> product.right (simple-class$ (list;compose type-params import-member-tvars)))
import-member-args))
- arg-types (list/map (: (-> [Bit GenericType] Code)
+ arg-types (list;map (: (-> [Bit GenericType] Code)
(function (_ [maybe? arg])
(let [arg-type (class->type (get@ #import-member-mode commons) type-params arg)]
(if maybe?
@@ -1613,12 +1613,12 @@
(def: (jvm-extension-inputs mode classes inputs)
(-> Primitive-Mode (List Text) (List [Bit Code]) (List Code))
(|> inputs
- (list/map (function (_ [maybe? input])
+ (list;map (function (_ [maybe? input])
(if maybe?
(` ((~! !!!) (~ (un-quote input))))
(un-quote input))))
(list.zip2 classes)
- (list/map (auto-convert-input mode))))
+ (list;map (auto-convert-input mode))))
(def: (member-def-interop type-params kind class [arg-function-inputs arg-classes arg-types] member method-prefix)
(-> (List Type-Paramameter) Class-Kind Class-Declaration [(List [Bit Code]) (List Text) (List Code)] Import-Member-Declaration Text (Meta (List Code)))
@@ -1626,7 +1626,7 @@
full-name (sanitize full-name)
all-params (|> (member-type-vars class-tvars member)
(list.filter free-type-param?)
- (list/map type-param->type-arg))]
+ (list;map type-param->type-arg))]
(case member
(#EnumDecl enum-members)
(do macro.monad
@@ -1638,7 +1638,7 @@
_
(let [=class-tvars (|> class-tvars
(list.filter free-type-param?)
- (list/map type-param->type-arg))]
+ (list;map type-param->type-arg))]
(` (All [(~+ =class-tvars)] (primitive (~ (code.text full-name)) [(~+ =class-tvars)]))))))
getter-interop (: (-> Text Code)
(function (_ name)
@@ -1646,7 +1646,7 @@
(` (def: (~ getter-name)
(~ enum-type)
((~ (code.text (format "jvm getstatic" ":" full-name ":" name)))))))))]]
- (wrap (list/map getter-interop enum-members)))
+ (wrap (list;map getter-interop enum-members)))
(#ConstructorDecl [commons _])
(do macro.monad
@@ -1657,7 +1657,7 @@
(decorate-return-maybe member)
(decorate-return-try member)
(decorate-return-io member))]]
- (wrap (list (` ((~! syntax:) ((~ def-name) (~+ (list/map product.right arg-function-inputs)))
+ (wrap (list (` ((~! syntax:) ((~ def-name) (~+ (list;map product.right arg-function-inputs)))
((~' wrap) (.list (.` (~ jvm-interop)))))))))
(#MethodDecl [commons method])
@@ -1687,13 +1687,13 @@
)))
jvm-extension (code.text (format "jvm " jvm-op ":" full-name ":" import-method-name ":" (text.join-with "," arg-classes)))
jvm-interop (|> [(simple-class$ (list) (get@ #import-method-return method))
- (` ((~ jvm-extension) (~+ (list/map un-quote object-ast))
+ (` ((~ jvm-extension) (~+ (list;map un-quote object-ast))
(~+ (jvm-extension-inputs (get@ #import-member-mode commons) arg-classes arg-function-inputs))))]
(auto-convert-output (get@ #import-member-mode commons))
(decorate-return-maybe member)
(decorate-return-try member)
(decorate-return-io member))]]
- (wrap (list (` ((~! syntax:) ((~ def-name) (~+ (list/map product.right arg-function-inputs)) (~+ object-ast))
+ (wrap (list (` ((~! syntax:) ((~ def-name) (~+ (list;map product.right arg-function-inputs)) (~+ object-ast))
((~' wrap) (.list (.` (~ jvm-interop))))))))))
(#FieldAccessDecl fad)
@@ -1707,7 +1707,7 @@
tvar-asts (: (List Code)
(|> class-tvars
(list.filter free-type-param?)
- (list/map type-param->type-arg)))
+ (list;map type-param->type-arg)))
getter-name (code.identifier ["" (format method-prefix member-separator import-field-name)])
setter-name (code.identifier ["" (format method-prefix member-separator import-field-name "!")])]
getter-interop (with-gensyms [g!obj]
@@ -1839,7 +1839,7 @@
(do macro.monad
[kind (class-kind class-decl)
=members (monad.map @ (member-import$ (product.right class-decl) long-name? kind class-decl) members)]
- (wrap (list& (class-import$ long-name? class-decl) (list/join =members)))))
+ (wrap (list& (class-import$ long-name? class-decl) (list;join =members)))))
(syntax: #export (array {#let [imports (class-imports *compiler*)]}
{type (generic-type^ imports (list))}
@@ -1869,7 +1869,7 @@
(def: (type->class-name type)
(-> Type (Meta Text))
- (if (type/= Any type)
+ (if (type;= Any type)
(:: macro.monad wrap "java.lang.Object")
(case type
(#.Primitive name params)
@@ -1963,10 +1963,10 @@
bar (do-something-else my-res2)]
(do-one-last-thing foo bar))))}
(with-gensyms [g!output g!_]
- (let [inits (list/join (list/map (function (_ [res-name res-ctor])
+ (let [inits (list;join (list;map (function (_ [res-name res-ctor])
(list (code.identifier ["" res-name]) res-ctor))
bindings))
- closes (list/map (function (_ res)
+ closes (list;map (function (_ res)
(` (try ("jvm invokevirtual:java.io.Closeable:close:" (~ (code.identifier ["" (product.left res)]))))))
bindings)]
(wrap (list (` (do (~! io.monad)