aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/directive/jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc/lang/directive/jvm.lux')
-rw-r--r--lux-jvm/source/luxc/lang/directive/jvm.lux20
1 files changed, 10 insertions, 10 deletions
diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index 000a5808f..8a06289da 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -1,6 +1,6 @@
(.module:
[library
- [lux (#- Type static)
+ [lux (#- Type static local)
["." ffi (#+ Inheritance Privacy State import:)]
[abstract
["." monad (#+ do)]]
@@ -539,7 +539,7 @@
<directive> (as_is jvm.Definition)
<type_vars> (as_is <anchor> <expression> <directive>)]
(type: Handler'
- ## (generation.Handler jvm.Anchor (/.Bytecode Inst /.Label) jvm.Definition)
+ ... (generation.Handler jvm.Anchor (/.Bytecode Inst /.Label) jvm.Definition)
(-> extension.Name
(phase.Phase [(extension.Bundle <type_vars>)
(generation.State <type_vars>)]
@@ -858,7 +858,7 @@
(\ /type.equivalence = /type.float primitiveT)
_.FCONST_0
- ## (\ /type.equivalence = /type.double primitiveT)
+ ... (\ /type.equivalence = /type.double primitiveT)
_.DCONST_0)))
(def: (header_return returnT)
@@ -890,7 +890,7 @@
(|>> (header_value primitiveT)
_.FRETURN)
- ## (\ /type.equivalence = /type.double primitiveT)
+ ... (\ /type.equivalence = /type.double primitiveT)
(|>> (header_value primitiveT)
_.DRETURN)))))
@@ -1147,11 +1147,11 @@
))
(template: (method_body <bodyS>)
- (<| synthesis.function/abstraction [_ _]
- synthesis.loop/scope [_ _]
- synthesis.tuple
- (list _)
- <bodyS>))
+ [(<| synthesis.function/abstraction [_ _]
+ synthesis.loop/scope [_ _]
+ synthesis.tuple
+ (list _)
+ <bodyS>)])
(def: (constructor_method_synthesis archive method)
(-> Archive (Constructor Analysis) (Operation (Constructor Synthesis)))
@@ -1420,7 +1420,7 @@
inheritance
fields
methodsC)]
- ## Necessary for reflection to work properly during analysis.
+ ... Necessary for reflection to work properly during analysis.
_ (directive.lift_generation
(generation.execute! header))
.let [supers (: (List (Type Class))