aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux.lux10
-rw-r--r--stdlib/source/library/lux/control/security/capability.lux2
-rw-r--r--stdlib/source/library/lux/control/thread.lux2
-rw-r--r--stdlib/source/library/lux/data/binary.lux10
-rw-r--r--stdlib/source/library/lux/data/collection/array.lux4
-rw-r--r--stdlib/source/library/lux/data/text.lux26
-rw-r--r--stdlib/source/library/lux/debug.lux2
-rw-r--r--stdlib/source/library/lux/documentation.lux6
-rw-r--r--stdlib/source/library/lux/ffi.js.lux2
-rw-r--r--stdlib/source/library/lux/ffi.jvm.lux91
-rw-r--r--stdlib/source/library/lux/ffi.lua.lux2
-rw-r--r--stdlib/source/library/lux/ffi.old.lux40
-rw-r--r--stdlib/source/library/lux/ffi.php.lux2
-rw-r--r--stdlib/source/library/lux/ffi.py.lux2
-rw-r--r--stdlib/source/library/lux/ffi.rb.lux2
-rw-r--r--stdlib/source/library/lux/math.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/loader.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/type/category.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/type/descriptor.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/type/parser.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/type/reflection.lux2
-rw-r--r--stdlib/source/library/lux/target/jvm/type/signature.lux2
-rw-r--r--stdlib/source/library/lux/time/instant.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux2
-rw-r--r--stdlib/source/library/lux/type.lux2
-rw-r--r--stdlib/source/library/lux/type/abstract.lux2
-rw-r--r--stdlib/source/library/lux/type/unit.lux4
-rw-r--r--stdlib/source/library/lux/world/file.lux2
32 files changed, 123 insertions, 122 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 6eb000a79..9aed7e4de 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -659,7 +659,7 @@
.public)
... (type: .public Macro
-... (primitive "#Macro"))
+... (Primitive "#Macro"))
("lux def" Macro
("lux type check type"
{#Named [..prelude_module "Macro"]
@@ -1642,7 +1642,7 @@
(in [meta output']))}
[replace? token]))
-(macro:' .public (primitive tokens)
+(macro:' .public (Primitive tokens)
({{#Item [_ {#Text class_name}] {#End}}
(in_meta (list (variant$ (list (identifier$ [..prelude_module "#Primitive"]) (text$ class_name) |#End|))))
@@ -1650,7 +1650,7 @@
(in_meta (list (variant$ (list (identifier$ [..prelude_module "#Primitive"]) (text$ class_name) (untemplated_list params)))))
_
- (failure "Wrong syntax for primitive")}
+ (failure "Wrong syntax for Primitive")}
tokens))
(def:'' .private (current_module_name state)
@@ -4993,9 +4993,9 @@
(def: (recursive_type g!self g!dummy name body)
(-> Code Code Text Code Code)
(` ((.All ((~ g!self) (~ g!dummy))
- (~ (let$ (local_identifier$ name) (` {.#Apply (..primitive "") (~ g!self)})
+ (~ (let$ (local_identifier$ name) (` {.#Apply (..Primitive "") (~ g!self)})
body)))
- (..primitive ""))))
+ (..Primitive ""))))
(macro: .public (Rec tokens)
(case tokens
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 3fcf0fe3c..bcfecf187 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -50,7 +50,7 @@
.let [[name vars] declaration]
g!brand (# ! each (|>> %.code code.text)
(macro.identifier (format (%.name [this_module name]))))
- .let [capability (` (..Capability (.primitive (~ g!brand)) (~ input) (~ output)))]]
+ .let [capability (` (..Capability (.Primitive (~ g!brand)) (~ input) (~ output)))]]
(in (list (` (type: (~ export_policy)
(~ (|declaration|.format declaration))
(~ capability)))
diff --git a/stdlib/source/library/lux/control/thread.lux b/stdlib/source/library/lux/control/thread.lux
index 11c54c10e..d4b37fcaf 100644
--- a/stdlib/source/library/lux/control/thread.lux
+++ b/stdlib/source/library/lux/control/thread.lux
@@ -36,7 +36,7 @@
@.jvm
("jvm array read object"
(|> 0
- (:as (primitive "java.lang.Long"))
+ (:as (Primitive "java.lang.Long"))
"jvm object cast"
"jvm conversion long-to-int")
(:representation box))
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux
index c51f743e5..e747e40b1 100644
--- a/stdlib/source/library/lux/data/binary.lux
+++ b/stdlib/source/library/lux/data/binary.lux
@@ -55,16 +55,16 @@
(|> i64.bits_per_byte i64.mask .i64))
(def: i64
- (-> (primitive "java.lang.Byte") I64)
+ (-> (Primitive "java.lang.Byte") I64)
(|>> ffi.byte_to_long (:as I64) (i64.and ..byte_mask)))
(def: byte
- (-> (I64 Any) (primitive "java.lang.Byte"))
+ (-> (I64 Any) (Primitive "java.lang.Byte"))
(for [@.old
(|>> .int ffi.long_to_byte)
@.jvm
- (|>> .int (:as (primitive "java.lang.Long")) ffi.long_to_byte)])))]
+ (|>> .int (:as (Primitive "java.lang.Long")) ffi.long_to_byte)])))]
(for [@.old (as_is <jvm>)
@.jvm (as_is <jvm>)
@@ -83,11 +83,11 @@
@.python
(type: .public Binary
- (primitive "bytearray"))
+ (Primitive "bytearray"))
@.scheme
(as_is (type: .public Binary
- (primitive "bytevector"))
+ (Primitive "bytevector"))
(ffi.import: (make-bytevector [Nat] Binary))
(ffi.import: (bytevector-u8-ref [Binary Nat] I64))
diff --git a/stdlib/source/library/lux/data/collection/array.lux b/stdlib/source/library/lux/data/collection/array.lux
index 0e40d27d6..766213cea 100644
--- a/stdlib/source/library/lux/data/collection/array.lux
+++ b/stdlib/source/library/lux/data/collection/array.lux
@@ -24,8 +24,8 @@
(type: .public (Array a)
{.#Primitive ..type_name {.#Item a {.#End}}})
-(with_expansions [<index_type> (primitive "java.lang.Long")
- <elem_type> (primitive "java.lang.Object")
+(with_expansions [<index_type> (Primitive "java.lang.Long")
+ <elem_type> (Primitive "java.lang.Object")
<array_type> (type (Array <elem_type>))]
(for [@.jvm
(template: (!int value)
diff --git a/stdlib/source/library/lux/data/text.lux b/stdlib/source/library/lux/data/text.lux
index 58f2450a8..9a475bae4 100644
--- a/stdlib/source/library/lux/data/text.lux
+++ b/stdlib/source/library/lux/data/text.lux
@@ -187,15 +187,15 @@
(for [@.old
(:as Text
("jvm invokevirtual:java.lang.String:replace:java.lang.CharSequence,java.lang.CharSequence"
- (:as (primitive "java.lang.String") template)
- (:as (primitive "java.lang.CharSequence") pattern)
- (:as (primitive "java.lang.CharSequence") replacement)))
+ (:as (Primitive "java.lang.String") template)
+ (:as (Primitive "java.lang.CharSequence") pattern)
+ (:as (Primitive "java.lang.CharSequence") replacement)))
@.jvm
(:as Text
("jvm member invoke virtual" [] "java.lang.String" "replace" []
- (:as (primitive "java.lang.String") template)
- ["Ljava/lang/CharSequence;" (:as (primitive "java.lang.CharSequence") pattern)]
- ["Ljava/lang/CharSequence;" (:as (primitive "java.lang.CharSequence") replacement)]))
+ (:as (Primitive "java.lang.String") template)
+ ["Ljava/lang/CharSequence;" (:as (Primitive "java.lang.CharSequence") pattern)]
+ ["Ljava/lang/CharSequence;" (:as (Primitive "java.lang.CharSequence") replacement)]))
... TODO: Comment/turn-off when generating a JS compiler using a JVM-based compiler because Nashorn's implementation of "replaceAll" is incorrect.
@.js
(:as Text
@@ -255,18 +255,18 @@
(def: (hash input)
(for [@.old
(|> input
- (: (primitive "java.lang.String"))
+ (: (Primitive "java.lang.String"))
"jvm invokevirtual:java.lang.String:hashCode:"
"jvm convert int-to-long"
(:as Nat))
@.jvm
(|> input
- (:as (primitive "java.lang.String"))
+ (:as (Primitive "java.lang.String"))
("jvm member invoke virtual" [] "java.lang.String" "hashCode" [])
"jvm conversion int-to-long"
"jvm object cast"
- (: (primitive "java.lang.Long"))
+ (: (Primitive "java.lang.Long"))
(:as Nat))]
... Platform-independent default.
(let [length ("lux text size" input)]
@@ -326,11 +326,11 @@
(for [@.old
(:as Text
("jvm invokevirtual:java.lang.String:toLowerCase:"
- (:as (primitive "java.lang.String") value)))
+ (:as (Primitive "java.lang.String") value)))
@.jvm
(:as Text
("jvm member invoke virtual" [] "java.lang.String" "toLowerCase" []
- (:as (primitive "java.lang.String") value)))
+ (:as (Primitive "java.lang.String") value)))
@.js
(:as Text
("js object do" "toLowerCase" value []))
@@ -349,11 +349,11 @@
(for [@.old
(:as Text
("jvm invokevirtual:java.lang.String:toUpperCase:"
- (:as (primitive "java.lang.String") value)))
+ (:as (Primitive "java.lang.String") value)))
@.jvm
(:as Text
("jvm member invoke virtual" [] "java.lang.String" "toUpperCase" []
- (:as (primitive "java.lang.String") value)))
+ (:as (Primitive "java.lang.String") value)))
@.js
(:as Text
("js object do" "toUpperCase" value []))
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux
index 8474a75e9..4e34cf604 100644
--- a/stdlib/source/library/lux/debug.lux
+++ b/stdlib/source/library/lux/debug.lux
@@ -79,7 +79,7 @@
@.python
(as_is (type: PyType
- (primitive "python_type"))
+ (Primitive "python_type"))
(import: (type [.Any] PyType))
(import: (str [.Any] ffi.String)))
diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux
index 467d7606d..108bc1160 100644
--- a/stdlib/source/library/lux/documentation.lux
+++ b/stdlib/source/library/lux/documentation.lux
@@ -223,7 +223,7 @@
(format " ")))
{.#Item (%.text name)}
text.together
- (text.enclosed ["(primitive " ")"]))
+ (text.enclosed ["(Primitive " ")"]))
{.#Sum _}
(|> type
@@ -323,10 +323,10 @@
{.#Primitive name params}
(case params
{.#End}
- (format "(primitive " (%.text name) ")")
+ (format "(Primitive " (%.text name) ")")
_
- (format "(primitive " (%.text name) " " (|> params (list#each (type_definition' false level arity type_function_info {.#None} module)) (text.interposed " ")) ")"))
+ (format "(Primitive " (%.text name) " " (|> params (list#each (type_definition' false level arity type_function_info {.#None} module)) (text.interposed " ")) ")"))
{.#Sum _}
(let [members (type.flat_variant type)]
diff --git a/stdlib/source/library/lux/ffi.js.lux b/stdlib/source/library/lux/ffi.js.lux
index 4c6564ec1..b6bffd6ad 100644
--- a/stdlib/source/library/lux/ffi.js.lux
+++ b/stdlib/source/library/lux/ffi.js.lux
@@ -251,7 +251,7 @@
(~+ class_parameters)))
real_class (text.replaced "/" "." class_name)]
(in (list& (` (type: (~ declaration)
- (..Object (primitive (~ (code.text real_class))))))
+ (..Object (Primitive (~ (code.text real_class))))))
(list#each (function (_ member)
(case member
{#Constructor inputsT}
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index 4b7d33f51..0c7865049 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -1,6 +1,6 @@
(.module:
[library
- ["[0]" lux {"-" Type type int char :as}
+ ["[0]" lux {"-" Primitive Type type int char :as}
["[1]_[0]" type ("[1]#[0]" equivalence)]
[abstract
["[0]" monad {"+" Monad do}]
@@ -114,9 +114,9 @@
(-> (Type Value) Text Code Code)
(let [unboxed (..reflection unboxed)]
(` (|> (~ raw)
- (: (primitive (~ (code.text <pre>))))
+ (: (.Primitive (~ (code.text <pre>))))
"jvm object cast"
- (: (primitive (~ (code.text <post>))))))))]
+ (: (.Primitive (~ (code.text <post>))))))))]
[unbox boxed unboxed]
[box unboxed boxed]
@@ -206,7 +206,7 @@
{#Interface}))
(type: StackFrame
- (primitive "java/lang/StackTraceElement"))
+ (.Primitive "java/lang/StackTraceElement"))
(type: StackTrace
(array.Array StackFrame))
@@ -372,7 +372,7 @@
[parser.lower? _ (` .Any)]
[parser.upper? limit (parameter_type limit)]
[parser.class? [name parameters]
- (` (.primitive (~ (code.text name))
+ (` (.Primitive (~ (code.text name))
[(~+ (list#each parameter_type parameters))]))]))
... else
(undefined)
@@ -1247,7 +1247,7 @@
(in (list (` ("jvm object null")))))
(def: .public (null? obj)
- (-> (primitive "java.lang.Object") Bit)
+ (-> (.Primitive "java.lang.Object") Bit)
("jvm object null?" obj))
(syntax: .public (??? [expr <code>.any])
@@ -1270,7 +1270,7 @@
unchecked (<>.maybe <code>.any)])
(with_identifiers [g!_ g!unchecked]
(let [class_name (..reflection class)
- class_type (` (.primitive (~ (code.text class_name))))
+ class_type (` (.Primitive (~ (code.text class_name))))
check_type (` (.Maybe (~ class_type)))
check_code (` (if ("jvm object instance?" (~ (code.text class_name)) (~ g!unchecked))
{.#Some (.:as (~ class_type)
@@ -1283,7 +1283,7 @@
(~ check_code))))))
{.#None}
- (in (list (` (: (-> (primitive "java.lang.Object") (~ check_type))
+ (in (list (` (: (-> (.Primitive "java.lang.Object") (~ check_type))
(function ((~ g!_) (~ g!unchecked))
(~ check_code))))))
))))
@@ -1308,8 +1308,8 @@
(` (def: (~ (code.identifier ["" def_name]))
.Type
(All ((~ (' g!_)) (~+ params'))
- (primitive (~ (code.text full_name))
- [(~+ params')])))))))
+ (.Primitive (~ (code.text full_name))
+ [(~+ params')])))))))
(def: (member_type_vars class_tvars member)
(-> (List (Type Var)) Import_Member_Declaration (List (Type Var)))
@@ -1367,7 +1367,7 @@
... else
(let [g!temp (` ((~' ~') (~ (code.identifier ["" " Ω "]))))]
(` (let [(~ g!temp) (~ return_term)]
- (if (not (..null? (.:as (primitive "java.lang.Object")
+ (if (not (..null? (.:as (.Primitive "java.lang.Object")
(~ g!temp))))
(~ g!temp)
(panic! "Cannot produce null references from method calls."))))))
@@ -1433,29 +1433,29 @@
(` (.|> (~ unboxed/boxed) (~+ post))))))]
[#1 with_automatic_input_conversion ..unbox
- [[type.boolean type.boolean (list (` (.: .Bit)) (` (.:as (.primitive (~ (code.text box.boolean)))))) []]
- [type.byte type.byte (list (` (.: .Int)) (` (.:as (.primitive (~ (code.text box.long))))) (` ..long_to_byte)) []]
- [type.short type.short (list (` (.: .Int)) (` (.:as (.primitive (~ (code.text box.long))))) (` ..long_to_short)) []]
- [type.int type.int (list (` (.: .Int)) (` (.:as (.primitive (~ (code.text box.long))))) (` ..long_to_int)) []]
- [type.long type.long (list (` (.: .Int)) (` (.:as (.primitive (~ (code.text box.long)))))) []]
- [type.float type.float (list (` (.: .Frac)) (` (.:as (.primitive (~ (code.text box.double))))) (` ..double_to_float)) []]
- [type.double type.double (list (` (.: .Frac)) (` (.:as (.primitive (~ (code.text box.double)))))) []]
- [..$String ..$String (list (` (.: .Text)) (` (.:as (.primitive (~ (code.text (..reflection ..$String))))))) []]
- [(type.class box.boolean (list)) (type.class box.boolean (list)) (list (` (.: .Bit)) (` (.:as (.primitive (~ (code.text box.boolean)))))) []]
- [(type.class box.long (list)) (type.class box.long (list)) (list (` (.: .Int)) (` (.:as (.primitive (~ (code.text box.long)))))) []]
- [(type.class box.double (list)) (type.class box.double (list)) (list (` (.: .Frac)) (` (.:as (.primitive (~ (code.text box.double)))))) []]]]
+ [[type.boolean type.boolean (list (` (.: .Bit)) (` (.:as (.Primitive (~ (code.text box.boolean)))))) []]
+ [type.byte type.byte (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long))))) (` ..long_to_byte)) []]
+ [type.short type.short (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long))))) (` ..long_to_short)) []]
+ [type.int type.int (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long))))) (` ..long_to_int)) []]
+ [type.long type.long (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long)))))) []]
+ [type.float type.float (list (` (.: .Frac)) (` (.:as (.Primitive (~ (code.text box.double))))) (` ..double_to_float)) []]
+ [type.double type.double (list (` (.: .Frac)) (` (.:as (.Primitive (~ (code.text box.double)))))) []]
+ [..$String ..$String (list (` (.: .Text)) (` (.:as (.Primitive (~ (code.text (..reflection ..$String))))))) []]
+ [(type.class box.boolean (list)) (type.class box.boolean (list)) (list (` (.: .Bit)) (` (.:as (.Primitive (~ (code.text box.boolean)))))) []]
+ [(type.class box.long (list)) (type.class box.long (list)) (list (` (.: .Int)) (` (.:as (.Primitive (~ (code.text box.long)))))) []]
+ [(type.class box.double (list)) (type.class box.double (list)) (list (` (.: .Frac)) (` (.:as (.Primitive (~ (code.text box.double)))))) []]]]
[#0 with_automatic_output_conversion ..box
- [[type.boolean type.boolean (list) [(` (.: (.primitive (~ (code.text box.boolean))))) (` (.:as .Bit))]]
- [type.byte type.long (list (` "jvm conversion byte-to-long")) [(` (.: (.primitive (~ (code.text box.long))))) (` (.:as .Int))]]
- [type.short type.long (list (` "jvm conversion short-to-long")) [(` (.: (.primitive (~ (code.text box.long))))) (` (.:as .Int))]]
- [type.int type.long (list (` "jvm conversion int-to-long")) [(` (.: (.primitive (~ (code.text box.long))))) (` (.:as .Int))]]
- [type.long type.long (list) [(` (.: (.primitive (~ (code.text box.long))))) (` (.:as .Int))]]
- [type.float type.double (list (` "jvm conversion float-to-double")) [(` (.: (.primitive (~ (code.text box.double))))) (` (.:as .Frac))]]
- [type.double type.double (list) [(` (.: (.primitive (~ (code.text box.double))))) (` (.:as .Frac))]]
- [..$String ..$String (list) [(` (.: (.primitive (~ (code.text (..reflection ..$String)))))) (` (.:as .Text))]]
- [(type.class box.boolean (list)) (type.class box.boolean (list)) (list) [(` (.: (.primitive (~ (code.text box.boolean))))) (` (.:as .Bit))]]
- [(type.class box.long (list)) (type.class box.long (list)) (list) [(` (.: (.primitive (~ (code.text box.long))))) (` (.:as .Int))]]
- [(type.class box.double (list)) (type.class box.double (list)) (list) [(` (.: (.primitive (~ (code.text box.double))))) (` (.:as .Frac))]]]]
+ [[type.boolean type.boolean (list) [(` (.: (.Primitive (~ (code.text box.boolean))))) (` (.:as .Bit))]]
+ [type.byte type.long (list (` "jvm conversion byte-to-long")) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
+ [type.short type.long (list (` "jvm conversion short-to-long")) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
+ [type.int type.long (list (` "jvm conversion int-to-long")) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
+ [type.long type.long (list) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
+ [type.float type.double (list (` "jvm conversion float-to-double")) [(` (.: (.Primitive (~ (code.text box.double))))) (` (.:as .Frac))]]
+ [type.double type.double (list) [(` (.: (.Primitive (~ (code.text box.double))))) (` (.:as .Frac))]]
+ [..$String ..$String (list) [(` (.: (.Primitive (~ (code.text (..reflection ..$String)))))) (` (.:as .Text))]]
+ [(type.class box.boolean (list)) (type.class box.boolean (list)) (list) [(` (.: (.Primitive (~ (code.text box.boolean))))) (` (.:as .Bit))]]
+ [(type.class box.long (list)) (type.class box.long (list)) (list) [(` (.: (.Primitive (~ (code.text box.long))))) (` (.:as .Int))]]
+ [(type.class box.double (list)) (type.class box.double (list)) (list) [(` (.: (.Primitive (~ (code.text box.double))))) (` (.:as .Frac))]]]]
)
(def: (un_quoted quoted)
@@ -1468,7 +1468,7 @@
(list.zipped/2 classes)
(list#each (function (_ [class [maybe? input]])
(|> (if maybe?
- (` (: (.primitive (~ (code.text (..reflection class))))
+ (` (: (.Primitive (~ (code.text (..reflection class))))
((~! !!!) (~ (..un_quoted input)))))
(..un_quoted input))
[class]
@@ -1496,11 +1496,12 @@
[.let [enum_type (: Code
(case class_tvars
{.#End}
- (` (primitive (~ (code.text full_name))))
+ (` (.Primitive (~ (code.text full_name))))
_
(let [=class_tvars (list#each ..var$' class_tvars)]
- (` (All ((~ g!_) (~+ =class_tvars)) (primitive (~ (code.text full_name)) [(~+ =class_tvars)]))))))
+ (` (All ((~ g!_) (~+ =class_tvars))
+ (.Primitive (~ (code.text full_name)) [(~+ =class_tvars)]))))))
getter_interop (: (-> Text Code)
(function (_ name)
(let [getter_name (code.identifier ["" (..import_name import_format method_prefix name)])]
@@ -1638,15 +1639,15 @@
(member_def_interop vars kind class =args member method_prefix import_format))))
(def: interface?
- (All (_ a) (-> (primitive "java.lang.Class" [a]) Bit))
+ (All (_ a) (-> (.Primitive "java.lang.Class" [a]) Bit))
(|>> ("jvm member invoke virtual" [] "java.lang.Class" "isInterface" [])
"jvm object cast"
(: ..Boolean)
(.:as Bit)))
(def: load_class
- (-> External (Try (primitive "java.lang.Class" [Any])))
- (|>> (.:as (primitive "java.lang.String"))
+ (-> External (Try (.Primitive "java.lang.Class" [Any])))
+ (|>> (.:as (.Primitive "java.lang.String"))
["Ljava/lang/String;"]
("jvm member invoke static" [] "java.lang.Class" "forName" [])
try))
@@ -1679,7 +1680,7 @@
size <code>.any])
(let [g!size (` (|> (~ size)
(.: .Nat)
- (.:as (.primitive (~ (code.text box.long))))
+ (.:as (.Primitive (~ (code.text box.long))))
"jvm object cast"
"jvm conversion long-to-int"))]
(`` (cond (~~ (template [<primitive> <array_op>]
@@ -1819,7 +1820,7 @@
(in (list (` (.|> ((~ g!extension) (~ array))
"jvm conversion int-to-long"
"jvm object cast"
- (.: (.primitive (~ (code.text box.long))))
+ (.: (.Primitive (~ (code.text box.long))))
(.:as .Nat))))))
_
@@ -1836,7 +1837,7 @@
array_jvm_type (lux_type->jvm_type array_type)
.let [g!idx (` (.|> (~ idx)
(.: .Nat)
- (.:as (.primitive (~ (code.text box.long))))
+ (.:as (.Primitive (~ (code.text box.long))))
"jvm object cast"
"jvm conversion long-to-int"))]]
(`` (cond (~~ (template [<primitive> <extension> <box>]
@@ -1845,7 +1846,7 @@
array_jvm_type)
(in (list (` (.|> (<extension> (~ g!idx) (~ array))
"jvm object cast"
- (.: (.primitive (~ (code.text <box>))))))))]
+ (.: (.Primitive (~ (code.text <box>))))))))]
[type.boolean "jvm array read boolean" box.boolean]
[type.byte "jvm array read byte" box.byte]
@@ -1874,7 +1875,7 @@
array_jvm_type (lux_type->jvm_type array_type)
.let [g!idx (` (.|> (~ idx)
(.: .Nat)
- (.:as (.primitive (~ (code.text box.long))))
+ (.:as (.Primitive (~ (code.text box.long))))
"jvm object cast"
"jvm conversion long-to-int"))]]
(`` (cond (~~ (template [<primitive> <extension> <box>]
@@ -1882,7 +1883,7 @@
(type.array <primitive>)
array_jvm_type)
(let [g!value (` (.|> (~ value)
- (.:as (.primitive (~ (code.text <box>))))
+ (.:as (.Primitive (~ (code.text <box>))))
"jvm object cast"))]
(in (list (` (<extension> (~ g!idx) (~ g!value) (~ array))))))]
diff --git a/stdlib/source/library/lux/ffi.lua.lux b/stdlib/source/library/lux/ffi.lua.lux
index 5af4aaf9d..b8a203ddd 100644
--- a/stdlib/source/library/lux/ffi.lua.lux
+++ b/stdlib/source/library/lux/ffi.lua.lux
@@ -242,7 +242,7 @@
{.#End}
(` ("lua import" (~ (code.text class)))))]
(in (list& (` (type: (~ g!type)
- (..Object (primitive (~ (code.text real_class))))))
+ (..Object (Primitive (~ (code.text real_class))))))
(list#each (function (_ member)
(case member
{#Field [static? field fieldT]}
diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux
index 35f1f853b..f7c40b59d 100644
--- a/stdlib/source/library/lux/ffi.old.lux
+++ b/stdlib/source/library/lux/ffi.old.lux
@@ -28,7 +28,7 @@
(template [<name> <op> <from> <to>]
[(def: .public (<name> value)
- (-> (primitive <from>) (primitive <to>))
+ (-> (Primitive <from>) (Primitive <to>))
(<op> value))]
[byte_to_long "jvm convert byte-to-long" "java.lang.Byte" "java.lang.Long"]
@@ -121,7 +121,7 @@
#class_params (List Type_Parameter)]))
(type: StackFrame
- (primitive "java/lang/StackTraceElement"))
+ (Primitive "java/lang/StackTraceElement"))
(type: StackTrace
(Array StackFrame))
@@ -257,14 +257,14 @@
(^template [<prim> <type>]
[<prim>
{.#Some (' <type>)}])
- (["boolean" (primitive "java.lang.Boolean")]
- ["byte" (primitive "java.lang.Byte")]
- ["short" (primitive "java.lang.Short")]
- ["int" (primitive "java.lang.Integer")]
- ["long" (primitive "java.lang.Long")]
- ["float" (primitive "java.lang.Float")]
- ["double" (primitive "java.lang.Double")]
- ["char" (primitive "java.lang.Character")]
+ (["boolean" (Primitive "java.lang.Boolean")]
+ ["byte" (Primitive "java.lang.Byte")]
+ ["short" (Primitive "java.lang.Short")]
+ ["int" (Primitive "java.lang.Integer")]
+ ["long" (Primitive "java.lang.Long")]
+ ["float" (Primitive "java.lang.Float")]
+ ["double" (Primitive "java.lang.Double")]
+ ["char" (Primitive "java.lang.Character")]
["void" .Any])
_
@@ -311,7 +311,7 @@
[[name params] _ _]
(let [name (safe name)
=params (list#each (class_type' mode type_params in_array?) params)]
- (` (primitive (~ (code.text name)) [(~+ =params)])))))
+ (` (Primitive (~ (code.text name)) [(~+ =params)])))))
(def: (class_type' mode type_params in_array? class)
(-> Primitive_Mode (List Type_Parameter) Bit GenericType Code)
@@ -362,7 +362,7 @@
{.#Item bound1 _}
(class_type {#ManualPrM} #class_params bound1))))
#class_params)]
- (` (primitive (~ (code.text (safe #class_name)))
+ (` (Primitive (~ (code.text (safe #class_name)))
[(~+ =params)]))))
(def: type_var_class Text "java.lang.Object")
@@ -1238,7 +1238,7 @@
(in (list (` ("jvm object null")))))
(def: .public (null? obj)
- (-> (primitive "java.lang.Object") Bit)
+ (-> (Primitive "java.lang.Object") Bit)
("jvm object null?" obj))
(syntax: .public (??? [expr <code>.any])
@@ -1261,7 +1261,7 @@
unchecked (<>.maybe <code>.any)])
(with_identifiers [g!_ g!unchecked]
(let [class_name (simple_class$ (list) class)
- class_type (` (.primitive (~ (code.text class_name))))
+ class_type (` (.Primitive (~ (code.text class_name))))
check_type (` (.Maybe (~ class_type)))
check_code (` (if ((~ (code.text (format "jvm instanceof" ":" class_name))) (~ g!unchecked))
{.#Some (.:as (~ class_type)
@@ -1274,7 +1274,7 @@
(~ check_code))))))
{.#None}
- (in (list (` (: (-> (primitive "java.lang.Object") (~ check_type))
+ (in (list (` (: (-> (Primitive "java.lang.Object") (~ check_type))
(function ((~ g!_) (~ g!unchecked))
(~ check_code))))))
))))
@@ -1297,7 +1297,7 @@
(` (def: (~ (code.identifier ["" full_name]))
Type
(All ((~ (' g!_)) (~+ params'))
- (primitive (~ (code.text (safe full_name)))
+ (Primitive (~ (code.text (safe full_name)))
[(~+ params')])))))))
(def: (member_type_vars class_tvars member)
@@ -1352,7 +1352,7 @@
(` (??? (~ return_term)))
(let [g!temp (` ((~' ~') (~ (code.identifier ["" " Ω "]))))]
(` (let [(~ g!temp) (~ return_term)]
- (if (not (..null? (:as (primitive "java.lang.Object")
+ (if (not (..null? (:as (Primitive "java.lang.Object")
(~ g!temp))))
(~ g!temp)
(panic! (~ (code.text (format "Cannot produce null references from method calls @ "
@@ -1447,13 +1447,13 @@
[.let [enum_type (: Code
(case class_tvars
{.#End}
- (` (primitive (~ (code.text full_name))))
+ (` (Primitive (~ (code.text full_name))))
_
(let [=class_tvars (|> class_tvars
(list.only free_type_param?)
(list#each lux_type_parameter))]
- (` (All ((~ g!_) (~+ =class_tvars)) (primitive (~ (code.text full_name)) [(~+ =class_tvars)]))))))
+ (` (All ((~ g!_) (~+ =class_tvars)) (Primitive (~ (code.text full_name)) [(~+ =class_tvars)]))))))
getter_interop (: (-> Text Code)
(function (_ name)
(let [getter_name (code.identifier ["" (..import_name import_format method_prefix name)])]
@@ -1573,7 +1573,7 @@
(member_def_interop type_params kind class =args member method_prefix import_format))))
(type: (java/lang/Class a)
- (primitive "java.lang.Class" [a]))
+ (Primitive "java.lang.Class" [a]))
(def: interface?
(All (_ a) (-> (java/lang/Class a) Bit))
diff --git a/stdlib/source/library/lux/ffi.php.lux b/stdlib/source/library/lux/ffi.php.lux
index 5888edb29..08cbcf46b 100644
--- a/stdlib/source/library/lux/ffi.php.lux
+++ b/stdlib/source/library/lux/ffi.php.lux
@@ -250,7 +250,7 @@
g!type (code.local_identifier (maybe.else class alias))
class_import (` ("php constant" (~ (code.text class))))]
(in (list& (` (type: (~ g!type)
- (..Object (primitive (~ (code.text class))))))
+ (..Object (Primitive (~ (code.text class))))))
(list#each (function (_ member)
(case member
{#Field [static? field alias fieldT]}
diff --git a/stdlib/source/library/lux/ffi.py.lux b/stdlib/source/library/lux/ffi.py.lux
index fd1eba334..c05d1039f 100644
--- a/stdlib/source/library/lux/ffi.py.lux
+++ b/stdlib/source/library/lux/ffi.py.lux
@@ -262,7 +262,7 @@
{.#End}
(` ("python import" (~ (code.text class)))))]
(in (list& (` (type: (~ g!type)
- (..Object (primitive (~ (code.text real_class))))))
+ (..Object (Primitive (~ (code.text real_class))))))
(list#each (function (_ member)
(case member
{#Constructor inputsT}
diff --git a/stdlib/source/library/lux/ffi.rb.lux b/stdlib/source/library/lux/ffi.rb.lux
index 0e3d39b58..41e21b197 100644
--- a/stdlib/source/library/lux/ffi.rb.lux
+++ b/stdlib/source/library/lux/ffi.rb.lux
@@ -250,7 +250,7 @@
(list)))
class_import (` ("ruby constant" (~ (code.text class))))]
(in (list& (` (type: (~ g!type)
- (..Object (primitive (~ (code.text class))))))
+ (..Object (Primitive (~ (code.text class))))))
(list#each (function (_ member)
(case member
{#Field [static? field alias fieldT]}
diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux
index d6c85234d..22b79ed09 100644
--- a/stdlib/source/library/lux/math.lux
+++ b/stdlib/source/library/lux/math.lux
@@ -48,13 +48,13 @@
@.jvm
(as_is (template: (!double value)
[(|> value
- (:as (primitive "java.lang.Double"))
+ (:as (Primitive "java.lang.Double"))
"jvm object cast")])
(template: (!frac value)
[(|> value
"jvm object cast"
- (: (primitive "java.lang.Double"))
+ (: (Primitive "java.lang.Double"))
(:as Frac))])
(template [<name> <method>]
diff --git a/stdlib/source/library/lux/target/jvm.lux b/stdlib/source/library/lux/target/jvm.lux
index f3b90b6bf..2f5bc8173 100644
--- a/stdlib/source/library/lux/target/jvm.lux
+++ b/stdlib/source/library/lux/target/jvm.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type Label}
+ [lux {"-" Type Primitive Label}
[data
[collection
[row {"+" Row}]]]
diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux
index 38f2b48c4..574492104 100644
--- a/stdlib/source/library/lux/target/jvm/loader.lux
+++ b/stdlib/source/library/lux/target/jvm/loader.lux
@@ -87,12 +87,12 @@
bytecode)
(:as java/lang/Object
(|> 0
- (:as (primitive "java.lang.Long"))
+ (:as (Primitive "java.lang.Long"))
ffi.long_to_int))
(:as java/lang/Object
(|> bytecode
binary.size
- (:as (primitive "java.lang.Long"))
+ (:as (Primitive "java.lang.Long"))
ffi.long_to_int))))]
(java/lang/reflect/Method::invoke loader signature java/lang/ClassLoader::defineClass)))
diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux
index e77c8a64b..203d764d5 100644
--- a/stdlib/source/library/lux/target/jvm/type.lux
+++ b/stdlib/source/library/lux/target/jvm/type.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type int char}
+ [lux {"-" Primitive Type int char}
[abstract
[equivalence {"+" Equivalence}]
[hash {"+" Hash}]]
diff --git a/stdlib/source/library/lux/target/jvm/type/category.lux b/stdlib/source/library/lux/target/jvm/type/category.lux
index 6d4b73aa2..177da5322 100644
--- a/stdlib/source/library/lux/target/jvm/type/category.lux
+++ b/stdlib/source/library/lux/target/jvm/type/category.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux "*"
+ [lux {"-" Primitive}
[macro
["[0]" template]]
[type
@@ -23,7 +23,7 @@
(template [<parents> <child>]
[(with_expansions [<raw> (template.identifier [<child> "'"])]
- (abstract: .public <raw> Any)
+ (abstract: <raw> Any)
(type: .public <child>
(`` (<| Return' Value' (~~ (template.spliced <parents>)) <raw>))))]
diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux
index 5a508fe1c..84e9f2c2c 100644
--- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux
+++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" int char}
+ [lux {"-" Primitive int char}
[abstract
[equivalence {"+" Equivalence}]]
[control
diff --git a/stdlib/source/library/lux/target/jvm/type/parser.lux b/stdlib/source/library/lux/target/jvm/type/parser.lux
index 33a061025..44ff88029 100644
--- a/stdlib/source/library/lux/target/jvm/type/parser.lux
+++ b/stdlib/source/library/lux/target/jvm/type/parser.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Type int char primitive}
+ [lux {"-" Type Primitive int char}
[abstract
[monad {"+" do}]]
[control
diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux
index 00e946acf..0c3bde623 100644
--- a/stdlib/source/library/lux/target/jvm/type/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" int char}
+ [lux {"-" Primitive int char}
[abstract
[equivalence {"+" Equivalence}]]
[data
diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux
index 21bb999e2..3c2747f1e 100644
--- a/stdlib/source/library/lux/target/jvm/type/signature.lux
+++ b/stdlib/source/library/lux/target/jvm/type/signature.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" int char}
+ [lux {"-" Primitive int char}
[abstract
[equivalence {"+" Equivalence}]
[hash {"+" Hash}]]
diff --git a/stdlib/source/library/lux/time/instant.lux b/stdlib/source/library/lux/time/instant.lux
index d80ffbf0c..ea69493f9 100644
--- a/stdlib/source/library/lux/time/instant.lux
+++ b/stdlib/source/library/lux/time/instant.lux
@@ -155,7 +155,7 @@
(io (..of_millis (for [@.old ("jvm invokestatic:java.lang.System:currentTimeMillis:")
@.jvm (|> ("jvm member invoke static" [] "java.lang.System" "currentTimeMillis" [])
("jvm object cast")
- (: (primitive "java.lang.Long"))
+ (: (Primitive "java.lang.Long"))
(:as Int))
@.js (let [date ("js object new" ("js constant" "Date") [])]
(|> ("js object do" "getTime" date [])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
index feab22f2c..4cb9d6911 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" Tuple Variant nat int rev}
+ [lux {"-" Primitive Tuple Variant nat int rev}
[abstract
[equivalence {"+" Equivalence}]
[hash {"+" Hash}]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
index 173da80a2..88b2b9ab4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" primitive}
+ [lux "*"
[abstract
["[0]" monad {"+" do}]]
[control
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
index f310d43cd..55333ca42 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux {"-" i64 Scope}
+ [lux {"-" Primitive Scope i64}
[abstract
[monad {"+" do}]
[equivalence {"+" Equivalence}]
diff --git a/stdlib/source/library/lux/type.lux b/stdlib/source/library/lux/type.lux
index 296bd0b96..c8f2668f2 100644
--- a/stdlib/source/library/lux/type.lux
+++ b/stdlib/source/library/lux/type.lux
@@ -82,7 +82,7 @@
(case type
{.#Primitive name params}
($_ text#composite
- "(primitive "
+ "(Primitive "
(text.enclosed' text.double_quote name)
(|> params
(list#each (|>> format (text#composite " ")))
diff --git a/stdlib/source/library/lux/type/abstract.lux b/stdlib/source/library/lux/type/abstract.lux
index 81d04ac73..6ebbe7719 100644
--- a/stdlib/source/library/lux/type/abstract.lux
+++ b/stdlib/source/library/lux/type/abstract.lux
@@ -232,7 +232,7 @@
abstraction_declaration
representation_declaration])]
(in (list& (` (type: (~ export_policy) (~ abstraction_declaration)
- (primitive (~ (code.text (abstraction_type_name [current_module name])))
+ (Primitive (~ (code.text (abstraction_type_name [current_module name])))
[(~+ type_varsC)])))
(` (type: (~ representation_declaration)
(~ representation_type)))
diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux
index 5822d2103..d1a00e489 100644
--- a/stdlib/source/library/lux/type/unit.lux
+++ b/stdlib/source/library/lux/type/unit.lux
@@ -94,7 +94,7 @@
[@ meta.current_module_name
.let [g!type (code.local_identifier type_name)]]
(in (list (` (type: (~ export_policy) (~ g!type)
- (primitive (~ (code.text (%.name [@ type_name]))))))
+ (Primitive (~ (code.text (%.name [@ type_name]))))))
(` (implementation: (~ export_policy) (~ (code.local_identifier unit_name))
(..Unit (~ g!type))
@@ -125,7 +125,7 @@
@ meta.current_module_name
.let [g!scale (code.local_identifier type_name)]]
(in (list (` (type: (~ export_policy) ((~ g!scale) (~' u))
- (primitive (~ (code.text (%.name [@ type_name]))) [(~' u)])))
+ (Primitive (~ (code.text (%.name [@ type_name]))) [(~' u)])))
(` (implementation: (~ export_policy) (~ (code.local_identifier scale_name))
(..Scale (~ g!scale))
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index 0ec5f4a2c..4ddb44aa6 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -538,7 +538,7 @@
@.python
(as_is (type: (Tuple/2 left right)
- (primitive "python_tuple[2]" [left right]))
+ (Primitive "python_tuple[2]" [left right]))
(ffi.import: PyFile
["[1]::[0]"