diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/host/jvm.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/host/jvm.lux | 33 |
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) |