aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/host/jvm/index.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-12-26 17:38:50 -0400
committerEduardo Julian2018-12-26 17:38:50 -0400
commit5c270277bde8ee70e065173ebb6b95aab5223de8 (patch)
tree57e57c79b08602a22a3ee760ec1e6ca9c7b2fbaf /stdlib/source/lux/host/jvm/index.lux
parentd5e5616dd02d61a1555fd3eb302b0d3a1b39ba51 (diff)
WIP: JVM bytecode generation in pure Lux.
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/host/jvm/index.lux17
1 files changed, 17 insertions, 0 deletions
diff --git a/stdlib/source/lux/host/jvm/index.lux b/stdlib/source/lux/host/jvm/index.lux
new file mode 100644
index 000000000..60d6211c6
--- /dev/null
+++ b/stdlib/source/lux/host/jvm/index.lux
@@ -0,0 +1,17 @@
+(.module:
+ [lux #*
+ [data
+ [format
+ [binary (#+ Format)]]]]
+ [//
+ ["//." encoding (#+ U2)]])
+
+(type: #export Index U2)
+
+(def: #export index
+ (-> Nat Index)
+ //encoding.to-u2)
+
+(def: #export format
+ (Format Index)
+ //encoding.u2-format)