aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/target/jvm/attribute
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/target/jvm/attribute')
-rw-r--r--stdlib/source/lux/target/jvm/attribute/code.lux20
-rw-r--r--stdlib/source/lux/target/jvm/attribute/code/exception.lux12
-rw-r--r--stdlib/source/lux/target/jvm/attribute/constant.lux7
3 files changed, 0 insertions, 39 deletions
diff --git a/stdlib/source/lux/target/jvm/attribute/code.lux b/stdlib/source/lux/target/jvm/attribute/code.lux
index dff626c5c..44b3b1b5b 100644
--- a/stdlib/source/lux/target/jvm/attribute/code.lux
+++ b/stdlib/source/lux/target/jvm/attribute/code.lux
@@ -3,9 +3,6 @@
[type (#+ :share)]
[abstract
["." equivalence (#+ Equivalence)]]
- [control
- ["<>" parser
- ["<2>" binary (#+ Parser)]]]
[data
["." binary (#+ Binary)]
[format
@@ -62,23 +59,6 @@
))
## https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3
-(def: #export (parser parser)
- (All [Attribute] (-> (Parser Attribute) (Parser (Code Attribute))))
- ($_ <>.and
- ## u2 max_stack;
- ## u2 max_locals;
- ///resources.parser
- ## u4 code_length;
- ## u1 code[code_length];
- <2>.binary/32
- ## u2 exception_table_length;
- ## exception_table[exception_table_length];
- (<2>.row/16 /exception.parser)
- ## u2 attributes_count;
- ## attribute_info attributes[attributes_count];
- (<2>.row/16 parser)
- ))
-
(def: #export (writer writer code)
(All [Attribute] (-> (Writer Attribute) (Writer (Code Attribute))))
($_ binaryF@compose
diff --git a/stdlib/source/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/lux/target/jvm/attribute/code/exception.lux
index 19de9c789..003bad74f 100644
--- a/stdlib/source/lux/target/jvm/attribute/code/exception.lux
+++ b/stdlib/source/lux/target/jvm/attribute/code/exception.lux
@@ -2,9 +2,6 @@
[lux #*
[abstract
["." equivalence (#+ Equivalence)]]
- [control
- ["<>" parser ("#@." functor)
- ["<2>" binary (#+ Parser)]]]
[data
[format
[".F" binary (#+ Writer)]]]]
@@ -46,15 +43,6 @@
////unsigned.u2-bytes
))
-(def: #export parser
- (Parser Exception)
- ($_ <>.and
- ////jump.parser
- ////jump.parser
- ////jump.parser
- ////index.parser
- ))
-
(def: #export writer
(Writer Exception)
($_ binaryF.and
diff --git a/stdlib/source/lux/target/jvm/attribute/constant.lux b/stdlib/source/lux/target/jvm/attribute/constant.lux
index ec3f534a3..4dae93140 100644
--- a/stdlib/source/lux/target/jvm/attribute/constant.lux
+++ b/stdlib/source/lux/target/jvm/attribute/constant.lux
@@ -2,9 +2,6 @@
[lux #*
[abstract
[equivalence (#+ Equivalence)]]
- [control
- ["<>" parser ("#@." functor)
- ["<2>" binary (#+ Parser)]]]
[data
[format
[binary (#+ Writer)]]]]
@@ -24,10 +21,6 @@
(def: #export length
///unsigned.u2-bytes)
-(def: #export parser
- (Parser Constant)
- ///index.parser)
-
(def: #export writer
(Writer Constant)
///index.writer)