aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/host
diff options
context:
space:
mode:
Diffstat (limited to 'lux-jvm/source/luxc/lang/host')
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm.lux33
1 files changed, 18 insertions, 15 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux
index 305d04f8c..3b03f1510 100644
--- a/lux-jvm/source/luxc/lang/host/jvm.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm.lux
@@ -46,20 +46,22 @@
org/objectweb/asm/Label)
(type: .public Visibility
- #Public
- #Protected
- #Private
- #Default)
+ (Variant
+ #Public
+ #Protected
+ #Private
+ #Default))
(type: .public Version
- #V1_1
- #V1_2
- #V1_3
- #V1_4
- #V1_5
- #V1_6
- #V1_7
- #V1_8)
+ (Variant
+ #V1_1
+ #V1_2
+ #V1_3
+ #V1_4
+ #V1_5
+ #V1_6
+ #V1_7
+ #V1_8))
(type: .public ByteCode
Binary)
@@ -104,9 +106,10 @@
(with@ (~ (code.local_tag option)) #1)))))
options)]
(in (list& (` (type: .public (~ g!type)
- (~ (code.record (list/each (function (_ tag)
- [tag (` .Bit)])
- g!tags+)))))
+ (.Record
+ (~ (code.record (list/each (function (_ tag)
+ [tag (` .Bit)])
+ g!tags+))))))
(` (def: .public (~ g!none)
(~ g!type)