aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/target/jvm/instruction/resources.lux
diff options
context:
space:
mode:
authorEduardo Julian2019-07-26 21:23:27 -0400
committerEduardo Julian2019-07-26 21:23:27 -0400
commita0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 (patch)
tree08df3db7f8fffad6360a476d20db1d40b36c85cb /stdlib/source/lux/target/jvm/instruction/resources.lux
parent78fd01f7e6688448bbd710336d4d7b1c35ae058a (diff)
No more "n/"-prefixed functions.
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/target/jvm/instruction/resources.lux4
1 files changed, 3 insertions, 1 deletions
diff --git a/stdlib/source/lux/target/jvm/instruction/resources.lux b/stdlib/source/lux/target/jvm/instruction/resources.lux
index fa83c4071..c7d741a1d 100644
--- a/stdlib/source/lux/target/jvm/instruction/resources.lux
+++ b/stdlib/source/lux/target/jvm/instruction/resources.lux
@@ -3,6 +3,8 @@
[abstract
["." equivalence (#+ Equivalence)]]
[data
+ [number
+ ["n" nat]]
[format
[".F" binary (#+ Writer) ("#@." monoid)]]]]
["." /// #_
@@ -19,7 +21,7 @@
#max-locals (///unsigned.u2 0)})
(def: #export length
- ($_ n/+
+ ($_ n.+
## u2 max_stack;
///unsigned.u2-bytes
## u2 max_locals;