aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm')
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm.lux66
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/def.lux66
2 files changed, 66 insertions, 66 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index 46771939d..017dd834a 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -1,34 +1,34 @@
(.using
- [library
- [lux {"-" Definition Type Label}
- [ffi {"+" import:}]
- [abstract
- monad]
- [control
- ["<>" parser
- ["<[0]>" code]]]
- [data
- [binary {"+" Binary}]
- [text
- ["%" format {"+" format}]]
- [collection
- ["[0]" list ("[1]#[0]" monad)]]]
- [macro
- ["[0]" code]
- [syntax {"+" syntax:}]]
- [target
- [jvm
- ["[0]" type {"+" Type}
- [category {"+" Class}]]]]
- [tool
- [compiler
- [reference
- [variable {"+" Register}]]
- [language
- [lux
- ["[0]" generation]]]
- [meta
- [archive {"+" Archive}]]]]]])
+ [library
+ [lux {"-" Definition Type Label}
+ [ffi {"+" import:}]
+ [abstract
+ monad]
+ [control
+ ["<>" parser
+ ["<[0]>" code]]]
+ [data
+ [binary {"+" Binary}]
+ [text
+ ["%" format {"+" format}]]
+ [collection
+ ["[0]" list ("[1]#[0]" monad)]]]
+ [macro
+ ["[0]" code]
+ [syntax {"+" syntax:}]]
+ [target
+ [jvm
+ ["[0]" type {"+" Type}
+ [category {"+" Class}]]]]
+ [tool
+ [compiler
+ [reference
+ [variable {"+" Register}]]
+ [language
+ [lux
+ ["[0]" generation]]]
+ [meta
+ [archive {"+" Archive}]]]]]])
(import: org/objectweb/asm/MethodVisitor)
@@ -105,7 +105,7 @@
(` (def: .public (~ (code.local_symbol option))
(~ g!type)
(|> (~ g!none)
- (with@ (~ (code.local_symbol (format "#" option))) #1)))))
+ (has (~ (code.local_symbol (format "#" option))) #1)))))
options)]
(in (list& (` (type: .public (~ g!type)
(.Record
@@ -127,8 +127,8 @@
(-> (~ g!type) (~ g!type) (~ g!type))
(~ (|> g!tags+
(list#each (function (_ tag)
- (list tag (` (or (value@ (~ tag) (~ g!_left))
- (value@ (~ tag) (~ g!_right)))))))
+ (list tag (` (or (the (~ tag) (~ g!_left))
+ (the (~ tag) (~ g!_right)))))))
list#conjoint
code.tuple))))
diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux
index 1fff1604a..e7174a61e 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/def.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux
@@ -1,28 +1,28 @@
(.using
- [library
- [lux {"-" Type}
- ["[0]" ffi {"+" import: do_to}]
- [control
- ["[0]" function]]
- [data
- ["[0]" product]
- ["[0]" text
- ["%" format {"+" format}]]
- [collection
- ["[0]" array {"+" Array}]
- ["[0]" list ("[1]@[0]" functor)]]]
- [math
- [number
- ["i" int]]]
- [target
- [jvm
- [encoding
- ["[0]" name]]
- ["[0]" type {"+" Type Constraint}
- [category {"+" Class Value Method}]
- ["[0]" signature]
- ["[0]" descriptor]]]]]]
- ["[0]" //])
+ [library
+ [lux {"-" Type}
+ ["[0]" ffi {"+" import: do_to}]
+ [control
+ ["[0]" function]]
+ [data
+ ["[0]" product]
+ ["[0]" text
+ ["%" format {"+" format}]]
+ [collection
+ ["[0]" array {"+" Array}]
+ ["[0]" list ("[1]@[0]" functor)]]]
+ [math
+ [number
+ ["i" int]]]
+ [target
+ [jvm
+ [encoding
+ ["[0]" name]]
+ ["[0]" type {"+" Type Constraint}
+ [category {"+" Class Value Method}]
+ ["[0]" signature]
+ ["[0]" descriptor]]]]]]
+ ["[0]" //])
(def: signature (|>> type.signature signature.signature))
(def: descriptor (|>> type.descriptor descriptor.descriptor))
@@ -110,23 +110,23 @@
(def: (class_flags config)
(-> //.Class_Config Int)
($_ i.+
- (if (value@ //.#finalC config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)))
+ (if (the //.#finalC config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)))
(def: (method_flags config)
(-> //.Method_Config Int)
($_ i.+
- (if (value@ //.#staticM config) (org/objectweb/asm/Opcodes::ACC_STATIC) +0)
- (if (value@ //.#finalM config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)
- (if (value@ //.#synchronizedM config) (org/objectweb/asm/Opcodes::ACC_SYNCHRONIZED) +0)
- (if (value@ //.#strictM config) (org/objectweb/asm/Opcodes::ACC_STRICT) +0)))
+ (if (the //.#staticM config) (org/objectweb/asm/Opcodes::ACC_STATIC) +0)
+ (if (the //.#finalM config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)
+ (if (the //.#synchronizedM config) (org/objectweb/asm/Opcodes::ACC_SYNCHRONIZED) +0)
+ (if (the //.#strictM config) (org/objectweb/asm/Opcodes::ACC_STRICT) +0)))
(def: (field_flags config)
(-> //.Field_Config Int)
($_ i.+
- (if (value@ //.#staticF config) (org/objectweb/asm/Opcodes::ACC_STATIC) +0)
- (if (value@ //.#finalF config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)
- (if (value@ //.#transientF config) (org/objectweb/asm/Opcodes::ACC_TRANSIENT) +0)
- (if (value@ //.#volatileF config) (org/objectweb/asm/Opcodes::ACC_VOLATILE) +0)))
+ (if (the //.#staticF config) (org/objectweb/asm/Opcodes::ACC_STATIC) +0)
+ (if (the //.#finalF config) (org/objectweb/asm/Opcodes::ACC_FINAL) +0)
+ (if (the //.#transientF config) (org/objectweb/asm/Opcodes::ACC_TRANSIENT) +0)
+ (if (the //.#volatileF config) (org/objectweb/asm/Opcodes::ACC_VOLATILE) +0)))
(def: param_signature
(-> (Type Class) Text)