aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/translation/jvm
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm')
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/primitive.lux50
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/structure.lux86
2 files changed, 68 insertions, 68 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
index 0f2b64f9f..016639f2e 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/primitive.lux
@@ -1,21 +1,21 @@
(.using
- [library
- [lux {"-" i64}
- ["[0]" ffi {"+" import:}]
- [math
- [number
- ["i" int]]]
- [target
- [jvm
- ["[0]" type]]]
- [tool
- [compiler
- [phase ("operation@[0]" monad)]]]]]
- [luxc
- [lang
- [host
- ["[0]" jvm {"+" Inst Operation}
- ["_" inst]]]]])
+ [library
+ [lux {"-" i64}
+ ["[0]" ffi {"+" import:}]
+ [math
+ [number
+ ["i" int]]]
+ [target
+ [jvm
+ ["[0]" type]]]
+ [tool
+ [compiler
+ [phase ("operation@[0]" monad)]]]]]
+ [luxc
+ [lang
+ [host
+ ["[0]" jvm {"+" Inst Operation}
+ ["_" inst]]]]])
(def: .public bit
(-> Bit (Operation Inst))
@@ -24,14 +24,14 @@
(operation@in (_.GETSTATIC Boolean (if value "TRUE" "FALSE") Boolean)))))
(import: java/lang/Byte
- ["[1]::[0]"
- ("static" MAX_VALUE byte)
- ("static" MIN_VALUE byte)])
+ "[1]::[0]"
+ ("static" MAX_VALUE byte)
+ ("static" MIN_VALUE byte))
(import: java/lang/Short
- ["[1]::[0]"
- ("static" MAX_VALUE short)
- ("static" MIN_VALUE short)])
+ "[1]::[0]"
+ ("static" MAX_VALUE short)
+ ("static" MIN_VALUE short))
(def: .public (i64 value)
(-> (I64 Any) (Operation Inst))
@@ -67,8 +67,8 @@
(operation@in (|>> constantI (_.wrap type.long))))))
(import: java/lang/Double
- ["[1]::[0]"
- ("static" doubleToRawLongBits "manual" [double] int)])
+ "[1]::[0]"
+ ("static" doubleToRawLongBits "manual" [double] int))
(def: d0-bits
Int
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index 9c8b8b52a..e7604be15 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -1,41 +1,41 @@
(.using
- [library
- [lux {"-" Type Primitive}
- ["[0]" ffi {"+" import:}]
- [abstract
- ["[0]" monad {"+" do}]]
- [control
- ["[0]" exception {"+" exception:}]]
- [data
- [text
- ["%" format {"+" format}]]
- [collection
- ["[0]" list]]]
- [math
- [number
- ["n" nat]
- ["i" int]]]
- [target
- [jvm
- ["[0]" type {"+" Type}
- ["[0]" category {"+" Void Value Return Primitive Object Class Array Var Parameter Method}]
- ["[0]" descriptor {"+" Descriptor}]
- ["[0]" signature {"+" Signature}]]]]
- [tool
- [compiler
- ["[0]" phase]
- [meta
- [archive {"+" Archive}]]
- [language
- [lux
- [synthesis {"+" Synthesis}]]]]]]]
- [luxc
- [lang
- [host
- [jvm {"+" Inst Operation Phase Generator}
- ["_" inst]]]]]
- ["[0]" //
- ["[1][0]" runtime]])
+ [library
+ [lux {"-" Type Primitive}
+ ["[0]" ffi {"+" import:}]
+ [abstract
+ ["[0]" monad {"+" do}]]
+ [control
+ ["[0]" exception {"+" exception:}]]
+ [data
+ [text
+ ["%" format {"+" format}]]
+ [collection
+ ["[0]" list]]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]]]
+ [target
+ [jvm
+ ["[0]" type {"+" Type}
+ ["[0]" category {"+" Void Value Return Primitive Object Class Array Var Parameter Method}]
+ ["[0]" descriptor {"+" Descriptor}]
+ ["[0]" signature {"+" Signature}]]]]
+ [tool
+ [compiler
+ ["[0]" phase]
+ [meta
+ [archive {"+" Archive}]]
+ [language
+ [lux
+ [synthesis {"+" Synthesis}]]]]]]]
+ [luxc
+ [lang
+ [host
+ [jvm {"+" Inst Operation Phase Generator}
+ ["_" inst]]]]]
+ ["[0]" //
+ ["[1][0]" runtime]])
(exception: .public (not_a_tuple [size Nat])
(exception.report
@@ -63,14 +63,14 @@
membersI))))
(import: java/lang/Byte
- ["[1]::[0]"
- ("static" MAX_VALUE byte)
- ("static" MIN_VALUE byte)])
+ "[1]::[0]"
+ ("static" MAX_VALUE byte)
+ ("static" MIN_VALUE byte))
(import: java/lang/Short
- ["[1]::[0]"
- ("static" MAX_VALUE short)
- ("static" MIN_VALUE short)])
+ "[1]::[0]"
+ ("static" MAX_VALUE short)
+ ("static" MIN_VALUE short))
(def: .public (tagI lefts right?)
(-> Nat Bit Inst)