aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/lux/target/jvm/attribute/code.lux26
-rw-r--r--stdlib/source/lux/target/jvm/attribute/code/label.lux19
2 files changed, 28 insertions, 17 deletions
diff --git a/stdlib/source/lux/target/jvm/attribute/code.lux b/stdlib/source/lux/target/jvm/attribute/code.lux
index 9d65fe1d9..120b56d9c 100644
--- a/stdlib/source/lux/target/jvm/attribute/code.lux
+++ b/stdlib/source/lux/target/jvm/attribute/code.lux
@@ -15,17 +15,9 @@
["." /// #_
[constant (#+ Class)]
["#." encoding (#+ U2)]
- ["#." index (#+ Index)]])
-
-(type: #export Label U2)
-
-(def: #export label-equivalence
- (Equivalence Label)
- ///encoding.u2-equivalence)
-
-(def: #export label-format
- (Format Label)
- ///encoding.u2-format)
+ ["#." index (#+ Index)]]
+ ["." / #_
+ ["#." label (#+ Label)]])
(type: #export Exception
{#start-pc Label
@@ -36,9 +28,9 @@
(def: #export exception-equivalence
(Equivalence Exception)
($_ equivalence.product
- ..label-equivalence
- ..label-equivalence
- ..label-equivalence
+ /label.equivalence
+ /label.equivalence
+ /label.equivalence
///index.equivalence
))
@@ -58,9 +50,9 @@
(def: exception-format
(Format Exception)
($_ binaryF.and
- ..label-format
- ..label-format
- ..label-format
+ /label.format
+ /label.format
+ /label.format
///index.format
))
diff --git a/stdlib/source/lux/target/jvm/attribute/code/label.lux b/stdlib/source/lux/target/jvm/attribute/code/label.lux
new file mode 100644
index 000000000..1a26aab43
--- /dev/null
+++ b/stdlib/source/lux/target/jvm/attribute/code/label.lux
@@ -0,0 +1,19 @@
+(.module:
+ [lux #*
+ [abstract
+ [equivalence (#+ Equivalence)]]
+ [data
+ [format
+ [binary (#+ Format)]]]]
+ ["." //// #_
+ ["#." encoding (#+ U2)]])
+
+(type: #export Label U2)
+
+(def: #export equivalence
+ (Equivalence Label)
+ ////encoding.u2-equivalence)
+
+(def: #export format
+ (Format Label)
+ ////encoding.u2-format)