aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/directive
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc/lang/directive')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux28
1 files changed, 14 insertions, 14 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index f125192f5..ff0e5cecf 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -559,7 +559,7 @@
(-> jvm.Extender Any jvm.Handler)
(function (_ extension_name phase archive inputs)
(# phase.monad each
- (|>> (:as (/.Bytecode Inst /.Label)) ..bytecode)
+ (|>> (as (/.Bytecode Inst /.Label)) ..bytecode)
((extender pseudo) extension_name phase archive inputs))))
(type: Phase (directive.Phase jvm.Anchor jvm.Inst jvm.Definition))
@@ -573,13 +573,13 @@
(pattern (list nameC valueC))
(do phase.monad
[[_ _ name] (lux/.evaluate! archive Text nameC)
- [_ handlerV] (lux/.generator archive (:as Text name) ..Handler' valueC)
+ [_ handlerV] (lux/.generator archive (as Text name) ..Handler' valueC)
_ (|> handlerV
(..true_handler extender)
- (extension.install extender (:as Text name))
+ (extension.install extender (as Text name))
directive.lifted_generation)
_ (directive.lifted_generation
- (generation.log! (format "Generation " (%.text (:as Text name)))))]
+ (generation.log! (format "Generation " (%.text (as Text name)))))]
(in directive.no_requirements))
_
@@ -758,10 +758,10 @@
(def: constructor
(Parser (Constructor Code))
- (let [constructor_argument (: (Parser [(Type Value) Code])
- (<code>.tuple
- (<>.and ..value
- <code>.any)))]
+ (let [constructor_argument (is (Parser [(Type Value) Code])
+ (<code>.tuple
+ (<>.and ..value
+ <code>.any)))]
(<| <code>.form
(<>.after (<code>.text! "init"))
($_ <>.and
@@ -1311,10 +1311,10 @@
/type.void
(list)])
argumentsT (list#each product.right arguments)
- initialize_object! (: Inst
- (|>> (_.ALOAD 0)
- super_constructor_argument_values
- (_.INVOKESPECIAL super_class ..constructor_name super_constructorT)))]]
+ initialize_object! (is Inst
+ (|>> (_.ALOAD 0)
+ super_constructor_argument_values
+ (_.INVOKESPECIAL super_class ..constructor_name super_constructorT)))]]
(in (def.method (..visibility privacy)
(if strict_floating_point?
jvm.strictM
@@ -1459,8 +1459,8 @@
... Necessary for reflection to work properly during analysis.
_ (directive.lifted_generation
(generation.execute! header))
- .let [supers (: (List (Type Class))
- (list& super_class super_interfaces))]
+ .let [supers (is (List (Type Class))
+ (list& super_class super_interfaces))]
_ (|> methodsC
(list.all ..convert_overriden_method)
(//A.require_complete_method_concretion class_loader supers)