diff options
author | Eduardo Julian | 2019-06-20 03:03:44 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-06-20 03:03:44 -0400 |
commit | 940bd554301c495740aae543dd553dcb6e5fee54 (patch) | |
tree | 575d82b928908ad2c1fd30f9eb38de750d78ef26 /stdlib/source | |
parent | 9232a46b040d42c9489b8b0ed5921c9f75ebaf68 (diff) |
Re-factored labels.
Diffstat (limited to 'stdlib/source')
-rw-r--r-- | stdlib/source/lux/target/jvm/attribute/code.lux | 26 | ||||
-rw-r--r-- | stdlib/source/lux/target/jvm/attribute/code/label.lux | 19 |
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) |