diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/host.jvm.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/lux/host.jvm.lux b/stdlib/source/lux/host.jvm.lux index 319615411..25876bad4 100644 --- a/stdlib/source/lux/host.jvm.lux +++ b/stdlib/source/lux/host.jvm.lux @@ -24,7 +24,7 @@ <from> "To:" <to>)} - (-> (host <from>) (host <to>)) + (-> (primitive <from>) (primitive <to>)) (_lux_proc ["jvm" <op>] [value]))] [b2l "b2l" java.lang.Byte java.lang.Long] @@ -107,7 +107,7 @@ {#class-name Text #class-params (List TypeParam)}) -(type: StackFrame (host java.lang.StackTraceElement)) +(type: StackFrame (primitive java.lang.StackTraceElement)) (type: StackTrace (Array StackFrame)) (type: SuperClassDecl @@ -284,7 +284,7 @@ [[name params] _ _] (let [=params (list/map (class->type' mode type-params in-array?) params)] - (` (host (~ (code;symbol ["" name])) [(~@ =params)]))))) + (` (primitive (~ (code;symbol ["" name])) [(~@ =params)]))))) (def: (class->type' mode type-params in-array? class) (-> Primitive-Mode (List TypeParam) Bool GenericType Code) @@ -334,7 +334,7 @@ (#;Cons bound1 _) (class->type #ManualPrM class-params bound1)))) class-params)] - (` (host (~ (code;symbol ["" class-name])) [(~@ =params)])))) + (` (primitive (~ (code;symbol ["" class-name])) [(~@ =params)])))) (def: empty-imports ClassImports @@ -1381,7 +1381,7 @@ (null? "YOLO") "=>" false)} - (-> (host java.lang.Object) Bool) + (-> (primitive java.lang.Object) Bool) (;_lux_proc ["jvm" "null?"] [obj])) (syntax: #export (??? expr) @@ -1436,7 +1436,7 @@ #;None (do @ [g!obj (meta;gensym "obj")] - (wrap (list (` (: (-> (host (~' java.lang.Object)) Bool) + (wrap (list (` (: (-> (primitive (~' java.lang.Object)) Bool) (function [(~ g!obj)] (;_lux_proc ["jvm" (~ (code;text (format "instanceof" ":" (simple-class$ (list) class))))] [(~ g!obj)]))))))) )) @@ -1470,7 +1470,7 @@ {#;type? true #;;jvm-class (~ (code;text full-name))} Type - (host (~ (code;symbol ["" full-name]))))) + (primitive (~ (code;symbol ["" full-name]))))) (#;Cons _) (let [params' (list/map (function [[p _]] (code;symbol ["" p])) params)] @@ -1479,8 +1479,8 @@ #;;jvm-class (~ (code;text full-name))} Type (All [(~@ params')] - (host (~ (code;symbol ["" full-name])) - [(~@ params')])))))))) + (primitive (~ (code;symbol ["" full-name])) + [(~@ params')])))))))) (def: (member-type-vars class-tvars member) (-> (List TypeParam) ImportMemberDecl (List TypeParam)) @@ -1552,7 +1552,7 @@ [return-type (let [g!temp (code;symbol ["" "Ω"])] (` (let [(~ g!temp) (~ return-term)] - (if (not (null? (:! (host (~' java.lang.Object)) + (if (not (null? (:! (primitive (~' java.lang.Object)) (~ g!temp)))) (~ g!temp) (error! "Cannot produce null references from method calls.")))))]) @@ -1679,13 +1679,13 @@ [#let [enum-type (: Code (case class-tvars #;Nil - (` (host (~ (code;symbol ["" full-name])))) + (` (primitive (~ (code;symbol ["" full-name])))) _ (let [=class-tvars (|> class-tvars (list;filter free-type-param?) (list/map type-param->type-arg))] - (` (All [(~@ =class-tvars)] (host (~ (code;symbol ["" full-name])) [(~@ =class-tvars)])))))) + (` (All [(~@ =class-tvars)] (primitive (~ (code;symbol ["" full-name])) [(~@ =class-tvars)])))))) getter-interop (: (-> Text Code) (function [name] (let [getter-name (code;symbol ["" (format method-prefix member-separator name)])] @@ -1827,11 +1827,11 @@ (member-def-interop type-params kind class =args member method-prefix)))) (def: (interface? class) - (All [a] (-> (host java.lang.Class [a]) Bool)) + (All [a] (-> (primitive java.lang.Class [a]) Bool)) (_lux_proc ["jvm" "invokevirtual:java.lang.Class:isInterface:"] [class])) (def: (load-class class-name) - (-> Text (Either Text (host java.lang.Class [(Ex [a] a)]))) + (-> Text (Either Text (primitive java.lang.Class [(Ex [a] a)]))) (try (_lux_proc ["jvm" "invokestatic:java.lang.Class:forName:java.lang.String"] [class-name]))) (def: (class-kind [class-name _]) @@ -1932,7 +1932,7 @@ (def: (type->class-name type) (-> Type (Meta Text)) (case type - (#;Host name params) + (#;Primitive name params) (:: Monad<Meta> wrap name) (#;Apply A F) |