aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc
diff options
context:
space:
mode:
authorEduardo Julian2021-08-08 17:56:15 -0400
committerEduardo Julian2021-08-08 17:56:15 -0400
commitf621a133e6e0a516c0586270fea8eaffb4829d82 (patch)
tree399396ee2f6a10df10cea9b78c51c76679b70e59 /lux-jvm/source/luxc
parent17e7566be51df5e428a6b10e6469201a8a9468da (diff)
No more #export magic syntax.
Diffstat (limited to '')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux48
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm.lux34
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/def.lux14
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/inst.lux44
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm.lux28
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/case.lux10
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/common.lux4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/expression.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux6
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux28
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/function.lux18
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/loop.lux10
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/primitive.lux8
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/program.lux2
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/reference.lux6
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux34
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/structure.lux18
18 files changed, 158 insertions, 158 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index 93a356c0e..000a5808f 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -531,7 +531,7 @@
..relabel_bytecode
product.right
(row\map ..instruction)
- row.to_list
+ row.list
_.fuse))
(with_expansions [<anchor> (as_is jvm.Anchor)
@@ -580,7 +580,7 @@
_
(phase.except extension.invalid_syntax [extension_name %.code inputsC+]))))
-(def: #export (custom [parser handler])
+(def: .public (custom [parser handler])
(All [i]
(-> [(Parser i)
(-> Text ..Phase Archive i (..Operation Requirements))]
@@ -1008,7 +1008,7 @@
(def: (constructor_method_analysis archive [class_name class_tvars] method)
(-> Archive Declaration (Constructor Code) (Operation (Constructor Analysis)))
(do {! phase.monad}
- [#let [[privacy strict_floating_point? annotations method_tvars exceptions
+ [.let [[privacy strict_floating_point? annotations method_tvars exceptions
self arguments constructor_argumentsC
bodyC] method]
analyse directive.analysis]
@@ -1043,14 +1043,14 @@
(def: (override_method_analysis archive [class_name class_tvars] supers method)
(-> Archive Declaration (List (Type Class)) (Override Code) (Operation (Override Analysis)))
(do {! phase.monad}
- [#let [[[super_name super_tvars] method_name strict_floating_point? annotations
+ [.let [[[super_name super_tvars] method_name strict_floating_point? annotations
method_tvars self arguments returnJ exceptionsJ
bodyC] method]
analyse directive.analysis]
(directive.lift_analysis
(do !
[mapping (//A.with_fresh_type_vars class_tvars luxT.fresh)
- #let [parent_type (/type.class super_name super_tvars)]
+ .let [parent_type (/type.class super_name super_tvars)]
mapping (//A.with_override_mapping supers parent_type mapping)
mapping (//A.with_fresh_type_vars method_tvars mapping)
selfT (//A.reflection_type mapping (/type.class class_name class_tvars))
@@ -1073,7 +1073,7 @@
(def: (virtual_method_analysis archive [class_name class_tvars] method)
(-> Archive Declaration (Virtual Code) (Operation (Virtual Analysis)))
(do {! phase.monad}
- [#let [[name privacy final? strict_floating_point? annotations method_tvars
+ [.let [[name privacy final? strict_floating_point? annotations method_tvars
self arguments returnJ exceptionsJ
bodyC] method]
analyse directive.analysis]
@@ -1101,7 +1101,7 @@
(def: (static_method_analysis archive method)
(-> Archive (Static Code) (Operation (Static Analysis)))
(do {! phase.monad}
- [#let [[name privacy strict_floating_point? annotations method_tvars
+ [.let [[name privacy strict_floating_point? annotations method_tvars
arguments returnJ exceptionsJ
bodyC] method]
analyse directive.analysis]
@@ -1156,7 +1156,7 @@
(def: (constructor_method_synthesis archive method)
(-> Archive (Constructor Analysis) (Operation (Constructor Synthesis)))
(do {! phase.monad}
- [#let [[privacy strict_floating_point? annotations method_tvars exceptions
+ [.let [[privacy strict_floating_point? annotations method_tvars exceptions
self arguments constructor_argumentsA
bodyA] method]
synthesise directive.synthesis]
@@ -1179,7 +1179,7 @@
(def: (override_method_synthesis archive method)
(-> Archive (Override Analysis) (Operation (Override Synthesis)))
(do {! phase.monad}
- [#let [[[super_name super_tvars] method_name strict_floating_point? annotations
+ [.let [[[super_name super_tvars] method_name strict_floating_point? annotations
method_tvars self arguments returnJ exceptionsJ
bodyA] method]
synthesise directive.synthesis]
@@ -1198,7 +1198,7 @@
(def: (virtual_method_synthesis archive method)
(-> Archive (Virtual Analysis) (Operation (Virtual Synthesis)))
(do {! phase.monad}
- [#let [[name privacy final? strict_floating_point? annotations method_tvars
+ [.let [[name privacy final? strict_floating_point? annotations method_tvars
self arguments returnJ exceptionsJ
bodyA] method]
synthesise directive.synthesis]
@@ -1217,7 +1217,7 @@
(def: (static_method_synthesis archive method)
(-> Archive (Static Analysis) (Operation (Static Synthesis)))
(do {! phase.monad}
- [#let [[name privacy strict_floating_point? annotations method_tvars
+ [.let [[name privacy strict_floating_point? annotations method_tvars
arguments returnJ exceptionsJ
bodyA] method]
synthesise directive.synthesis]
@@ -1259,7 +1259,7 @@
(def: (constructor_method_generation archive super_class method)
(-> Archive (Type Class) (Constructor Synthesis) (Operation jvm.Def))
(do {! phase.monad}
- [#let [[privacy strict_floating_point? annotations method_tvars exceptions
+ [.let [[privacy strict_floating_point? annotations method_tvars exceptions
self arguments constructor_argumentsS
bodyS] method]
generate directive.generation]
@@ -1268,7 +1268,7 @@
[constructor_argumentsG (monad.map ! (|>> product.right (generate archive))
constructor_argumentsS)
bodyG (generate archive (//G.hidden_method_body (list.size arguments) bodyS))
- #let [[super_name super_vars] (parser.read_class super_class)
+ .let [[super_name super_vars] (parser.read_class super_class)
super_constructor_argument_values (_.fuse constructor_argumentsG)
super_constructorT (/type.method [(list)
(list\map product.left constructor_argumentsS)
@@ -1293,14 +1293,14 @@
(def: (override_method_generation archive method)
(-> Archive (Override Synthesis) (Operation jvm.Def))
(do {! phase.monad}
- [#let [[[super_name super_tvars] method_name strict_floating_point? annotations
+ [.let [[[super_name super_tvars] method_name strict_floating_point? annotations
method_tvars self arguments returnJ exceptionsJ
bodyS] method]
generate directive.generation]
(directive.lift_generation
(do !
[bodyG (generate archive (//G.hidden_method_body (list.size arguments) bodyS))
- #let [argumentsT (list\map product.right arguments)]]
+ .let [argumentsT (list\map product.right arguments)]]
(in (def.method #jvm.Public
(if strict_floating_point?
jvm.strictM
@@ -1314,14 +1314,14 @@
(def: (virtual_method_generation archive method)
(-> Archive (Virtual Synthesis) (Operation jvm.Def))
(do {! phase.monad}
- [#let [[method_name privacy final? strict_floating_point? annotations method_tvars
+ [.let [[method_name privacy final? strict_floating_point? annotations method_tvars
self arguments returnJ exceptionsJ
bodyS] method]
generate directive.generation]
(directive.lift_generation
(do !
[bodyG (generate archive (//G.hidden_method_body (list.size arguments) bodyS))
- #let [argumentsT (list\map product.right arguments)]]
+ .let [argumentsT (list\map product.right arguments)]]
(in (def.method (..visibility privacy)
(|> jvm.noneM
(jvm.++M (if strict_floating_point?
@@ -1339,14 +1339,14 @@
(def: (static_method_generation archive method)
(-> Archive (Static Synthesis) (Operation jvm.Def))
(do {! phase.monad}
- [#let [[method_name privacy strict_floating_point? annotations method_tvars
+ [.let [[method_name privacy strict_floating_point? annotations method_tvars
arguments returnJ exceptionsJ
bodyS] method]
generate directive.generation]
(directive.lift_generation
(do !
[bodyG (generate archive (//G.hidden_method_body (list.size arguments) bodyS))
- #let [argumentsT (list\map product.right arguments)]]
+ .let [argumentsT (list\map product.right arguments)]]
(in (def.method (..visibility privacy)
(|> jvm.staticM
(jvm.++M (if strict_floating_point?
@@ -1413,7 +1413,7 @@
fields
methodsC])
(do {! phase.monad}
- [#let [[class_name type_variables] declaration
+ [.let [[class_name type_variables] declaration
header (..header [class_name type_variables]
super_class
super_interfaces
@@ -1423,7 +1423,7 @@
## Necessary for reflection to work properly during analysis.
_ (directive.lift_generation
(generation.execute! header))
- #let [supers (: (List (Type Class))
+ .let [supers (: (List (Type Class))
(list& super_class super_interfaces))]
_ (|> methodsC
(list.all ..convert_overriden_method)
@@ -1432,7 +1432,7 @@
methodsA (monad.map ! (method_analysis archive declaration supers) methodsC)
methodsS (monad.map ! (method_synthesis archive) methodsA)
methodsG (monad.map ! (method_generation archive super_class) methodsS)
- #let [directive [class_name
+ .let [directive [class_name
(def.class #jvm.V1_6 #jvm.Public jvm.noneC class_name
(list\map ..constraint type_variables)
super_class
@@ -1457,7 +1457,7 @@
(<>.some ..method_declaration))
(function (_ extension_name phase archive [[class_name type_variables] supers annotations method_declarations])
(do {! phase.monad}
- [#let [directive [class_name
+ [.let [directive [class_name
(def.interface #jvm.V1_6 #jvm.Public jvm.noneC class_name
(list\map ..constraint type_variables)
supers
@@ -1474,7 +1474,7 @@
_ (generation.log! (format "JVM Interface " (%.text class_name)))]
(in directive.no_requirements)))))]))
-(def: #export (bundle class_loader extender)
+(def: .public (bundle class_loader extender)
(-> java/lang/ClassLoader jvm.Extender (directive.Bundle jvm.Anchor jvm.Inst jvm.Definition))
(|> bundle.empty
(dictionary.put "lux def generation" (..def::generation extender))
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index 5c854d646..a9b73c8b0 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -36,22 +36,22 @@
["#::."
(new [])])
-(type: #export Def
+(type: .public Def
(-> org/objectweb/asm/ClassWriter org/objectweb/asm/ClassWriter))
-(type: #export Inst
+(type: .public Inst
(-> org/objectweb/asm/MethodVisitor org/objectweb/asm/MethodVisitor))
-(type: #export Label
+(type: .public Label
org/objectweb/asm/Label)
-(type: #export Visibility
+(type: .public Visibility
#Public
#Protected
#Private
#Default)
-(type: #export Version
+(type: .public Version
#V1_1
#V1_2
#V1_3
@@ -61,20 +61,20 @@
#V1_7
#V1_8)
-(type: #export ByteCode
+(type: .public ByteCode
Binary)
-(type: #export Definition
+(type: .public Definition
[Text ByteCode])
-(type: #export Anchor
+(type: .public Anchor
[Label Register])
-(type: #export Host
+(type: .public Host
(generation.Host Inst Definition))
(template [<name> <base>]
- [(type: #export <name>
+ [(type: .public <name>
(<base> ..Anchor ..Inst ..Definition))]
[State generation.State]
@@ -85,7 +85,7 @@
[Extender generation.Extender]
)
-(type: #export (Generator i)
+(type: .public (Generator i)
(-> Phase Archive i (Operation Inst)))
(syntax: (config: {type <code>.local_identifier}
@@ -98,23 +98,23 @@
g!_left (code.local_identifier "_left")
g!_right (code.local_identifier "_right")
g!options+ (list/map (function (_ option)
- (` (def: (~' #export) (~ (code.local_identifier option))
+ (` (def: .public (~ (code.local_identifier option))
(~ g!type)
(|> (~ g!none)
(set@ (~ (code.local_tag option)) #1)))))
options)]
- (in (list& (` (type: (~' #export) (~ g!type)
+ (in (list& (` (type: .public (~ g!type)
(~ (code.record (list/map (function (_ tag)
[tag (` .Bit)])
g!tags+)))))
- (` (def: (~' #export) (~ g!none)
+ (` (def: .public (~ g!none)
(~ g!type)
(~ (code.record (list/map (function (_ tag)
[tag (` #0)])
g!tags+)))))
- (` (def: (~' #export) ((~ (code.local_identifier ++)) (~ g!_left) (~ g!_right))
+ (` (def: .public ((~ (code.local_identifier ++)) (~ g!_left) (~ g!_right))
(-> (~ g!type) (~ g!type) (~ g!type))
(~ (code.record (list/map (function (_ tag)
[tag (` (or (get@ (~ tag) (~ g!_left))
@@ -127,11 +127,11 @@
(config: Method_Config noneM ++M [finalM staticM synchronizedM strictM])
(config: Field_Config noneF ++F [finalF staticF transientF volatileF])
-(def: #export new_label
+(def: .public new_label
(-> Any Label)
(function (_ _)
(org/objectweb/asm/Label::new)))
-(def: #export (simple_class name)
+(def: .public (simple_class name)
(-> Text (Type Class))
(type.class name (list)))
diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux
index e1e60179f..939a8cb91 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/def.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux
@@ -166,7 +166,7 @@
(def: binary_name (|>> name.internal name.read))
(template [<name> <flag>]
- [(def: #export (<name> version visibility config name constraints super interfaces
+ [(def: .public (<name> version visibility config name constraints super interfaces
definitions)
(-> //.Version //.Visibility //.Class_Config Text (List Constraint) (Type Class) (List (Type Class)) //.Def
(ffi.type [byte]))
@@ -195,7 +195,7 @@
(Type Class)
(type.class "java.lang.Object" (list)))
-(def: #export (interface version visibility config name constraints interfaces
+(def: .public (interface version visibility config name constraints interfaces
definitions)
(-> //.Version //.Visibility //.Class_Config Text (List Constraint) (List (Type Class)) //.Def
(ffi.type [byte]))
@@ -216,7 +216,7 @@
_ (org/objectweb/asm/ClassWriter::visitEnd writer)]
(org/objectweb/asm/ClassWriter::toByteArray writer)))
-(def: #export (method visibility config name type then)
+(def: .public (method visibility config name type then)
(-> //.Visibility //.Method_Config Text (Type Method) //.Inst
//.Def)
(function (_ writer)
@@ -234,7 +234,7 @@
_ (org/objectweb/asm/MethodVisitor::visitEnd =method)]
writer)))
-(def: #export (abstract_method visibility config name type)
+(def: .public (abstract_method visibility config name type)
(-> //.Visibility //.Method_Config Text (Type Method)
//.Def)
(function (_ writer)
@@ -250,7 +250,7 @@
_ (org/objectweb/asm/MethodVisitor::visitEnd =method)]
writer)))
-(def: #export (field visibility config name type)
+(def: .public (field visibility config name type)
(-> //.Visibility //.Field_Config Text (Type Value) //.Def)
(function (_ writer)
(let [=field (do_to (org/objectweb/asm/ClassWriter::visitField ($_ i.+
@@ -265,7 +265,7 @@
writer)))
(template [<name> <lux_type> <jvm_type> <prepare>]
- [(def: #export (<name> visibility config name value)
+ [(def: .public (<name> visibility config name value)
(-> //.Visibility //.Field_Config Text <lux_type> //.Def)
(function (_ writer)
(let [=field (do_to (org/objectweb/asm/ClassWriter::visitField ($_ i.+
@@ -290,7 +290,7 @@
[string_field Text (type.class "java.lang.String" (list)) function.identity]
)
-(def: #export (fuse defs)
+(def: .public (fuse defs)
(-> (List //.Def) //.Def)
(case defs
#.End
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index ea68f2680..1a2c811a3 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -149,17 +149,17 @@
])
## [Insts]
-(def: #export make_label
+(def: .public make_label
(All [s] (Operation s org/objectweb/asm/Label))
(function (_ state)
(#try.Success [state (org/objectweb/asm/Label::new)])))
-(def: #export (with_label action)
+(def: .public (with_label action)
(All [a] (-> (-> org/objectweb/asm/Label a) a))
(action (org/objectweb/asm/Label::new)))
(template [<name> <type> <prepare>]
- [(def: #export (<name> value)
+ [(def: .public (<name> value)
(-> <type> Inst)
(function (_ visitor)
(do_to visitor
@@ -177,7 +177,7 @@
(`` ((~~ (template.identifier ["org/objectweb/asm/Opcodes::" short])))))
(template [<constant>]
- [(def: #export <constant>
+ [(def: .public <constant>
Inst
(function (_ visitor)
(do_to visitor
@@ -189,14 +189,14 @@
[DCONST_0] [DCONST_1]
)
-(def: #export NULL
+(def: .public NULL
Inst
(function (_ visitor)
(do_to visitor
(org/objectweb/asm/MethodVisitor::visitInsn (!prefix ACONST_NULL)))))
(template [<constant>]
- [(def: #export (<constant> constant)
+ [(def: .public (<constant> constant)
(-> Int Inst)
(function (_ visitor)
(do_to visitor
@@ -207,7 +207,7 @@
)
(template [<name>]
- [(def: #export <name>
+ [(def: .public <name>
Inst
(function (_ visitor)
(do_to visitor
@@ -267,10 +267,10 @@
[RETURN] [IRETURN] [LRETURN] [FRETURN] [DRETURN] [ARETURN]
)
-(type: #export Register Nat)
+(type: .public Register Nat)
(template [<name>]
- [(def: #export (<name> register)
+ [(def: .public (<name> register)
(-> Register Inst)
(function (_ visitor)
(do_to visitor
@@ -282,7 +282,7 @@
)
(template [<name> <inst>]
- [(def: #export (<name> class field type)
+ [(def: .public (<name> class field type)
(-> (Type Class) Text (Type Value) Inst)
(function (_ visitor)
(do_to visitor
@@ -297,7 +297,7 @@
(template [<category> <instructions>+]
[(`` (template [<name> <inst>]
- [(def: #export (<name> class)
+ [(def: .public (<name> class)
(-> (Type <category>) Inst)
(function (_ visitor)
(do_to visitor
@@ -314,7 +314,7 @@
[INSTANCEOF org/objectweb/asm/Opcodes::INSTANCEOF]]]
)
-(def: #export (NEWARRAY type)
+(def: .public (NEWARRAY type)
(-> (Type Primitive) Inst)
(function (_ visitor)
(do_to visitor
@@ -334,7 +334,7 @@
(undefined)))))))
(template [<name> <inst> <interface?>]
- [(def: #export (<name> class method_name method)
+ [(def: .public (<name> class method_name method)
(-> (Type Class) Text (Type Method) Inst)
(function (_ visitor)
(do_to visitor
@@ -351,7 +351,7 @@
)
(template [<name>]
- [(def: #export (<name> @where)
+ [(def: .public (<name> @where)
(-> //.Label Inst)
(function (_ visitor)
(do_to visitor
@@ -364,7 +364,7 @@
[GOTO]
)
-(def: #export (LOOKUPSWITCH default keys+labels)
+(def: .public (LOOKUPSWITCH default keys+labels)
(-> //.Label (List [Int //.Label]) Inst)
(function (_ visitor)
(let [keys+labels (list.sort (function (_ left right)
@@ -384,7 +384,7 @@
(do_to visitor
(org/objectweb/asm/MethodVisitor::visitLookupSwitchInsn default keys_array labels_array)))))
-(def: #export (TABLESWITCH min max default labels)
+(def: .public (TABLESWITCH min max default labels)
(-> Int Int //.Label (List //.Label) Inst)
(function (_ visitor)
(let [num_labels (list.size labels)
@@ -399,19 +399,19 @@
(do_to visitor
(org/objectweb/asm/MethodVisitor::visitTableSwitchInsn min max default labels_array)))))
-(def: #export (try @from @to @handler exception)
+(def: .public (try @from @to @handler exception)
(-> //.Label //.Label //.Label (Type Class) Inst)
(function (_ visitor)
(do_to visitor
(org/objectweb/asm/MethodVisitor::visitTryCatchBlock @from @to @handler (..class_name exception)))))
-(def: #export (label @label)
+(def: .public (label @label)
(-> //.Label Inst)
(function (_ visitor)
(do_to visitor
(org/objectweb/asm/MethodVisitor::visitLabel @label))))
-(def: #export (array elementT)
+(def: .public (array elementT)
(-> (Type Value) Inst)
(case (type.primitive? elementT)
(#.Left elementT)
@@ -445,18 +445,18 @@
"longValue" "floatValue" "doubleValue" "charValue"]
)
-(def: #export (wrap type)
+(def: .public (wrap type)
(-> (Type Primitive) Inst)
(let [wrapper (type.class (primitive_wrapper type) (list))]
(INVOKESTATIC wrapper "valueOf" (type.method [(list) (list type) wrapper (list)]))))
-(def: #export (unwrap type)
+(def: .public (unwrap type)
(-> (Type Primitive) Inst)
(let [wrapper (type.class (primitive_wrapper type) (list))]
(|>> (CHECKCAST wrapper)
(INVOKEVIRTUAL wrapper (primitive_unwrap type) (type.method [(list) (list) type (list)])))))
-(def: #export (fuse insts)
+(def: .public (fuse insts)
(-> (List Inst) Inst)
(case insts
#.End
diff --git a/lux-jvm/source/luxc/lang/translation/jvm.lux b/lux-jvm/source/luxc/lang/translation/jvm.lux
index 4cf712a45..46242abc7 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm.lux
@@ -57,23 +57,23 @@
(import: java/lang/ClassLoader)
-(type: #export ByteCode Binary)
+(type: .public ByteCode Binary)
-(def: #export value_field Text "_value")
-(def: #export $Value (type.class "java.lang.Object" (list)))
+(def: .public value_field Text "_value")
+(def: .public $Value (type.class "java.lang.Object" (list)))
-(exception: #export (cannot_load {class Text} {error Text})
+(exception: .public (cannot_load {class Text} {error Text})
(exception.report
["Class" class]
["Error" error]))
-(exception: #export (invalid_field {class Text} {field Text} {error Text})
+(exception: .public (invalid_field {class Text} {field Text} {error Text})
(exception.report
["Class" class]
["Field" field]
["Error" error]))
-(exception: #export (invalid_value {class Text})
+(exception: .public (invalid_value {class Text})
(exception.report
["Class" class]))
@@ -98,11 +98,11 @@
(def: class_path_separator ".")
-(def: #export bytecode_name
+(def: .public bytecode_name
(-> Text Text)
(text.replace_all ..class_path_separator .module_separator))
-(def: #export (class_name [module_id artifact_id])
+(def: .public (class_name [module_id artifact_id])
(-> generation.Context Text)
(format lux_context
..class_path_separator (%.nat version.version)
@@ -154,7 +154,7 @@
custom)
value definition])))
-(def: #export host
+(def: .public host
(IO [java/lang/ClassLoader Host])
(io (let [library (loader.new_library [])
loader (loader.memory library)]
@@ -181,20 +181,20 @@
(def: (re_load context custom [directive_name bytecode])
(io.run
(do (try.with io.monad)
- [#let [class_name (maybe.else (..class_name context)
+ [.let [class_name (maybe.else (..class_name context)
custom)]
_ (loader.store class_name bytecode library)
class (loader.load class_name loader)]
(\ io.monad in (..class_value class_name class)))))))])))
-(def: #export $Variant
+(def: .public $Variant
(type.array ..$Value))
-(def: #export $Tuple
+(def: .public $Tuple
(type.array ..$Value))
-(def: #export $Runtime
+(def: .public $Runtime
(type.class (..class_name [0 0]) (list)))
-(def: #export $Function
+(def: .public $Function
(type.class (..class_name [0 1]) (list)))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index 2c9bfdb61..a863f9113 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -119,7 +119,7 @@
#.None
(in (_.GOTO @else)))
- #let [ifI (.if when _.IFEQ _.IFNE)]]
+ .let [ifI (.if when _.IFEQ _.IFNE)]]
(in (<| _.with_label (function (_ @else))
(|>> peekI
(_.unwrap type.boolean)
@@ -236,7 +236,7 @@
_.NULL
(_.GOTO @end)))))
-(def: #export (if phase archive [testS thenS elseS])
+(def: .public (if phase archive [testS thenS elseS])
(Generator [Synthesis Synthesis Synthesis])
(do phase.monad
[testI (phase archive testS)
@@ -253,7 +253,7 @@
elseI
(_.label @end))))))
-(def: #export (let phase archive [inputS register exprS])
+(def: .public (let phase archive [inputS register exprS])
(Generator [Synthesis Nat Synthesis])
(do phase.monad
[inputI (phase archive inputS)
@@ -262,7 +262,7 @@
(_.ASTORE register)
exprI))))
-(def: #export (get phase archive [path recordS])
+(def: .public (get phase archive [path recordS])
(Generator [(List synthesis.Member) Synthesis])
(do phase.monad
[recordG (phase archive recordS)]
@@ -277,7 +277,7 @@
recordG
(list.reversed path)))))
-(def: #export (case phase archive [valueS path])
+(def: .public (case phase archive [valueS path])
(Generator [Synthesis Path])
(do phase.monad
[@end _.make_label
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/common.lux
index 10e865283..65714f909 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/common.lux
@@ -28,7 +28,7 @@
## [type]]]]]
)
-## (def: #export (with-artifacts action)
+## (def: .public (with-artifacts action)
## (All [a] (-> (Meta a) (Meta [Artifacts a])))
## (function (_ state)
## (case (action (update@ #.host
@@ -48,7 +48,7 @@
## (#try.Failure error)
## (#try.Failure error))))
-## (def: #export (load-definition state)
+## (def: .public (load-definition state)
## (-> Lux (-> Name Binary (Try Any)))
## (function (_ (^@ def-name [def-module def-name]) def-bytecode)
## (let [normal-name (format (name.normalize def-name) (%n (text/hash def-name)))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
index 44abe2444..41f795adc 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
@@ -21,7 +21,7 @@
["." loop]
["." function]])
-(def: #export (translate archive synthesis)
+(def: .public (translate archive synthesis)
Phase
(case synthesis
(^ (synthesis.bit value))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
index 8fced4749..69f29376c 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux
@@ -11,7 +11,7 @@
["#." common]
["#." host]])
-(def: #export bundle
+(def: .public bundle
Bundle
(dictionary.merged /common.bundle
/host.bundle))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index eb3d02be7..8c6d96283 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -41,7 +41,7 @@
["." ///
["." runtime]])
-(def: #export (custom [parser handler])
+(def: .public (custom [parser handler])
(All [s]
(-> [(Parser s)
(-> Text Phase Archive s (Operation Inst))]
@@ -111,7 +111,7 @@
branchG
(_.GOTO @end))]))))
conditionals))
- #let [table (|> conditionalsG+
+ .let [table (|> conditionalsG+
(list@map product.left)
list@join)
conditionalsG (|> conditionalsG+
@@ -367,7 +367,7 @@
(bundle.install "log" (unary io::log))
(bundle.install "error" (unary io::error)))))
-(def: #export bundle
+(def: .public bundle
Bundle
(<| (bundle.prefix "lux")
(|> bundle::lux
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index e87ea6510..069f23fae 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -68,7 +68,7 @@
["#." function]]])
(template [<name> <category> <parser>]
- [(def: #export <name>
+ [(def: .public <name>
(Parser (Type <category>))
(<text>.then <parser> <synthesis>.text))]
@@ -87,11 +87,11 @@
(All [a] (-> (Type a) Text))
(|>> type.descriptor descriptor.descriptor))
-(exception: #export (not_an_object_array {arrayJT (Type Array)})
+(exception: .public (not_an_object_array {arrayJT (Type Array)})
(exception.report
["JVM Type" (..signature arrayJT)]))
-(def: #export object_array
+(def: .public object_array
(Parser (Type Object))
(do <>.monad
[arrayJT (<text>.then parser.array <synthesis>.text)]
@@ -642,7 +642,7 @@
(function (_ extension_name generate archive [class field unboxed valueS])
(do phase.monad
[valueI (generate archive valueS)
- #let [$class (type.class class (list))]]
+ .let [$class (type.class class (list))]]
(case (dictionary.get unboxed ..primitives)
(#.Some primitive)
(in (|>> valueI
@@ -662,7 +662,7 @@
(function (_ extension_name generate archive [class field unboxed objectS])
(do phase.monad
[objectI (generate archive objectS)
- #let [$class (type.class class (list))
+ .let [$class (type.class class (list))
getI (case (dictionary.get unboxed ..primitives)
(#.Some primitive)
(_.GETFIELD $class field primitive)
@@ -681,7 +681,7 @@
(do phase.monad
[valueI (generate archive valueS)
objectI (generate archive objectS)
- #let [$class (type.class class (list))
+ .let [$class (type.class class (list))
putI (case (dictionary.get unboxed ..primitives)
(#.Some primitive)
(_.PUTFIELD $class field primitive)
@@ -808,7 +808,7 @@
(Parser Argument)
(<synthesis>.tuple (<>.and <synthesis>.text ..value)))
-(def: #export (hidden_method_body arity body)
+(def: .public (hidden_method_body arity body)
(-> Nat Synthesis Synthesis)
(case [arity body]
[0 _] body
@@ -1027,7 +1027,7 @@
## (\ type.equivalence = type.double argumentT)
(wrap_primitive 2 _.DLOAD type.double))))))
-(def: #export (prepare_arguments offset types)
+(def: .public (prepare_arguments offset types)
(-> Nat (List (Type Value)) Inst)
(|> types
list.enumeration
@@ -1037,7 +1037,7 @@
(: [Register Inst] [offset (|>>)]))
product.right))
-(def: #export (returnI returnT)
+(def: .public (returnI returnT)
(-> (Type Return) Inst)
(case (type.void? returnT)
(#.Right returnT)
@@ -1087,7 +1087,7 @@
overriden_methods])
(do {! phase.monad}
[[context _] (generation.with_new_context archive (in []))
- #let [[module_id artifact_id] context
+ .let [[module_id artifact_id] context
anonymous_class_name (///.class_name context)
class (type.class anonymous_class_name (list))
total_environment (|> overriden_methods
@@ -1097,7 +1097,7 @@
list\join
## Remove duplicates.
(set.of_list synthesis.hash)
- set.to_list)
+ set.list)
global_mapping (|> total_environment
## Give them names as "foreign" variables.
list.enumeration
@@ -1131,7 +1131,7 @@
(do !
[bodyG (generation.with_context artifact_id
(generate archive bodyS))
- #let [argumentsT (list\map product.right arguments)]]
+ .let [argumentsT (list\map product.right arguments)]]
(in (_def.method #$.Public
(if strict_fp?
($_ $.++M $.finalM $.strictM)
@@ -1142,7 +1142,7 @@
bodyG
(returnI returnT)))))))
(\ ! map _def.fuse))
- #let [directive [anonymous_class_name
+ .let [directive [anonymous_class_name
(_def.class #$.V1_6 #$.Public $.finalC
anonymous_class_name (list)
super_class super_interfaces
@@ -1160,7 +1160,7 @@
(bundle.install "anonymous" class::anonymous)
)))
-(def: #export bundle
+(def: .public bundle
Bundle
(<| (bundle.prefix "jvm")
(|> ..conversion_bundle
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index bb592ca32..ac2adaaaa 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -110,7 +110,7 @@
(-> Phase Archive (Type Class) Arity (Environment Synthesis) (Operation Inst))
(do {@ phase.monad}
[captureI+ (monad.map @ (generate archive) env)
- #let [argsI (if (poly_arg? arity)
+ .let [argsI (if (poly_arg? arity)
(|> (nullsI (dec arity))
(list (_.int +0))
_.fuse)
@@ -260,7 +260,7 @@
casesI
))))
-(def: #export with_environment
+(def: .public with_environment
(-> (Environment Synthesis) Def)
(|>> list.enumeration
(list@map (.function (_ [env_idx env_source])
@@ -276,7 +276,7 @@
def.fuse)
function.identity))
-(def: #export (with_function generate archive @begin class env arity bodyI)
+(def: .public (with_function generate archive @begin class env arity bodyI)
(-> Phase Archive Label Text (Environment Synthesis) Arity Inst
(Operation [Def Inst]))
(let [classD (type.class class (list))
@@ -303,7 +303,7 @@
[instanceI (..instance generate archive classD arity env)]
(in [functionD instanceI]))))
-(def: #export (function' forced_context generate archive [env arity bodyS])
+(def: .public (function' forced_context generate archive [env arity bodyS])
(-> (Maybe Context) (Generator Abstraction))
(do {! phase.monad}
[@begin _.make_label
@@ -319,9 +319,9 @@
(generation.with_new_context archive
(generation.with_anchor [@begin 1]
(generate archive bodyS))))
- #let [function_class (//.class_name function_context)]
+ .let [function_class (//.class_name function_context)]
[functionD instanceI] (..with_function generate archive @begin function_class env arity bodyI)
- #let [directive [function_class
+ .let [directive [function_class
(def.class #$.V1_6 #$.Public $.finalC
function_class (list)
//.$Function (list)
@@ -335,16 +335,16 @@
(in []))]
(in instanceI)))
-(def: #export function
+(def: .public function
(Generator Abstraction)
(..function' #.None))
-(def: #export (call generate archive [functionS argsS])
+(def: .public (call generate archive [functionS argsS])
(Generator Apply)
(do {@ phase.monad}
[functionI (generate archive functionS)
argsI (monad.map @ (generate archive) argsS)
- #let [applyI (|> argsI
+ .let [applyI (|> argsI
(list.chunk //runtime.num_apply_variants)
(list@map (.function (_ chunkI+)
(|>> (_.CHECKCAST //.$Function)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index 40f8ef0de..bd1e29d0f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -36,11 +36,11 @@
_
false))
-(def: #export (recur translate archive argsS)
+(def: .public (recur translate archive argsS)
(Generator (List Synthesis))
(do {@ phase.monad}
[[@begin start] generation.anchor
- #let [pairs (|> argsS
+ .let [pairs (|> argsS
list.enumeration
(list@map (function (_ [register argument])
[(n.+ start register) argument])))]
@@ -58,7 +58,7 @@
(in function.identity)
(translate archive argS))))
pairs)
- #let [storesI+ (list@map (function (_ [register argS])
+ .let [storesI+ (list@map (function (_ [register argS])
(: Inst
(if (invariant? register argS)
function.identity
@@ -68,14 +68,14 @@
(_.fuse storesI+)
(_.GOTO @begin)))))
-(def: #export (scope translate archive [start initsS+ iterationS])
+(def: .public (scope translate archive [start initsS+ iterationS])
(Generator [Nat (List Synthesis) Synthesis])
(do {@ phase.monad}
[@begin _.make_label
initsI+ (monad.map @ (translate archive) initsS+)
iterationI (generation.with_anchor [@begin start]
(translate archive iterationS))
- #let [initializationI (|> (list.enumeration initsI+)
+ .let [initializationI (|> (list.enumeration initsI+)
(list@map (function (_ [register initI])
(|>> initI
(_.ASTORE (n.+ start register)))))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
index 2c814d24f..313c12f9b 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
@@ -17,7 +17,7 @@
["." jvm (#+ Inst Operation)
["_" inst]]]]])
-(def: #export bit
+(def: .public bit
(-> Bit (Operation Inst))
(let [Boolean (type.class "java.lang.Boolean" (list))]
(function (_ value)
@@ -33,7 +33,7 @@
(#static MAX_VALUE short)
(#static MIN_VALUE short)])
-(def: #export (i64 value)
+(def: .public (i64 value)
(-> (I64 Any) (Operation Inst))
(case (.int value)
(^template [<int> <instruction>]
@@ -74,7 +74,7 @@
Int
(java/lang/Double::doubleToRawLongBits +0.0))
-(def: #export (f64 value)
+(def: .public (f64 value)
(-> Frac (Operation Inst))
(case value
(^template [<int> <instruction>]
@@ -107,6 +107,6 @@
(_.double value))]
(operation@in (|>> constantI (_.wrap type.double))))))
-(def: #export text
+(def: .public text
(-> Text (Operation Inst))
(|>> _.string operation@in))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/program.lux b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
index 9cd8eeb82..8d95becc1 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/program.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
@@ -25,7 +25,7 @@
(def: ^Object ($t.class "java.lang.Object" (list)))
-(def: #export (program artifact_name context programI)
+(def: .public (program artifact_name context programI)
(-> (-> Context Text) (Program _.Inst _.Definition))
(let [nilI runtime.noneI
num_inputsI (|>> ($i.ALOAD 0) $i.ARRAYLENGTH)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
index b2dfe7676..f23fb56a3 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
@@ -28,7 +28,7 @@
["#." runtime]])
(template [<name> <prefix>]
- [(def: #export <name>
+ [(def: .public <name>
(-> Nat Text)
(|>> %.nat (format <prefix>)))]
@@ -50,7 +50,7 @@
(-> Register Inst)
(|>> _.ALOAD))
-(def: #export (variable archive variable)
+(def: .public (variable archive variable)
(-> Archive Variable (Operation Inst))
(case variable
(#variable.Local variable)
@@ -59,7 +59,7 @@
(#variable.Foreign variable)
(foreign archive variable)))
-(def: #export (constant archive name)
+(def: .public (constant archive name)
(-> Archive Name (Operation Inst))
(do {@ phase.monad}
[class_name (\ @ map //.class_name
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index e8f678211..13c5fe074 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -40,11 +40,11 @@
["." // (#+ ByteCode)])
(def: $Text (type.class "java.lang.String" (list)))
-(def: #export $Tag type.int)
-(def: #export $Flag (type.class "java.lang.Object" (list)))
-(def: #export $Value (type.class "java.lang.Object" (list)))
-(def: #export $Index type.int)
-(def: #export $Stack (type.array $Value))
+(def: .public $Tag type.int)
+(def: .public $Flag (type.class "java.lang.Object" (list)))
+(def: .public $Value (type.class "java.lang.Object" (list)))
+(def: .public $Index type.int)
+(def: .public $Stack (type.array $Value))
(def: $Throwable (type.class "java.lang.Throwable" (list)))
(def: nullary_init_methodT
@@ -53,7 +53,7 @@
(def: throw_methodT
(type.method [(list) (list) type.void (list)]))
-(def: #export logI
+(def: .public logI
Inst
(let [PrintStream (type.class "java.io.PrintStream" (list))
outI (_.GETSTATIC (type.class "java.lang.System" (list)) "out" PrintStream)
@@ -65,11 +65,11 @@
(def: variant_method
(type.method [(list) (list $Tag $Flag $Value) //.$Variant (list)]))
-(def: #export variantI
+(def: .public variantI
Inst
(_.INVOKESTATIC //.$Runtime "variant_make" variant_method))
-(def: #export leftI
+(def: .public leftI
Inst
(|>> _.ICONST_0
_.NULL
@@ -77,7 +77,7 @@
_.POP2
variantI))
-(def: #export rightI
+(def: .public rightI
Inst
(|>> _.ICONST_1
(_.string "")
@@ -85,9 +85,9 @@
_.POP2
variantI))
-(def: #export someI Inst rightI)
+(def: .public someI Inst rightI)
-(def: #export noneI
+(def: .public noneI
Inst
(|>> _.ICONST_0
_.NULL
@@ -109,11 +109,11 @@
noneI
_.ARETURN)))
-(def: #export partials_field Text "partials")
-(def: #export apply_method Text "apply")
-(def: #export num_apply_variants Nat 8)
+(def: .public partials_field Text "partials")
+(def: .public apply_method Text "apply")
+(def: .public num_apply_variants Nat 8)
-(def: #export (apply_signature arity)
+(def: .public (apply_signature arity)
(-> Arity (Type Method))
(type.method [(list) (list.repeat arity $Value) $Value (list)]))
@@ -292,7 +292,7 @@
)))
)))
-(def: #export try (type.method [(list) (list //.$Function) //.$Variant (list)]))
+(def: .public try (type.method [(list) (list //.$Function) //.$Variant (list)]))
(def: io_methods
Def
@@ -390,7 +390,7 @@
_ (generation.save! ..function_id #.None directive)]
(in [..function_id #.None bytecode]))))
-(def: #export translate
+(def: .public translate
(Operation [Registry Output])
(do phase.monad
[runtime_payload ..translate_runtime
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index 86b4431da..00a3539ca 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -37,15 +37,15 @@
["." //
["#." runtime]])
-(exception: #export (not_a_tuple {size Nat})
+(exception: .public (not_a_tuple {size Nat})
(exception.report
["Expected size" ">= 2"]
["Actual size" (%.nat size)]))
-(def: #export (tuple generate archive members)
+(def: .public (tuple generate archive members)
(Generator (List Synthesis))
(do {@ phase.monad}
- [#let [size (list.size members)]
+ [.let [size (list.size members)]
_ (phase.assertion ..not_a_tuple size
(n.>= 2 size))
membersI (|> members
@@ -72,7 +72,7 @@
(#static MAX_VALUE short)
(#static MIN_VALUE short)])
-(def: #export (tagI lefts right?)
+(def: .public (tagI lefts right?)
(-> Nat Bit Inst)
(case (if right?
(.inc lefts)
@@ -95,20 +95,20 @@
## else
(_.int tag)))))
-(def: #export leftI _.NULL)
-(def: #export rightI (_.string ""))
+(def: .public leftI _.NULL)
+(def: .public rightI (_.string ""))
-(def: #export (flagI right?)
+(def: .public (flagI right?)
(-> Bit Inst)
(if right?
..rightI
..leftI))
-(def: #export (variant generate archive [lefts right? member])
+(def: .public (variant generate archive [lefts right? member])
(Generator [Nat Bit Synthesis])
(do phase.monad
[memberI (generate archive member)
- #let [tagI (..tagI lefts right?)]]
+ .let [tagI (..tagI lefts right?)]]
(in (|>> tagI
(flagI right?)
memberI