aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/host/jvm
diff options
context:
space:
mode:
authorEduardo Julian2020-12-29 23:29:54 -0400
committerEduardo Julian2020-12-29 23:29:54 -0400
commit02d27daeacac74785c2b0f4d1ce03d432377a36e (patch)
tree5129c496d136deb57880f202153e96f4f585e355 /lux-jvm/source/luxc/lang/host/jvm
parent832a9361b632331e82a64c07baa560487ca8abde (diff)
Unified repository abstraction for Aedifex.
Diffstat (limited to 'lux-jvm/source/luxc/lang/host/jvm')
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/def.lux5
-rw-r--r--lux-jvm/source/luxc/lang/host/jvm/inst.lux11
2 files changed, 9 insertions, 7 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm/def.lux b/lux-jvm/source/luxc/lang/host/jvm/def.lux
index 12e2fe412..212d9d854 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/def.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/def.lux
@@ -5,13 +5,14 @@
["." function]]
[data
["." product]
- [number
- ["i" int]]
["." text
["%" format (#+ format)]]
[collection
["." array (#+ Array)]
["." list ("#@." functor)]]]
+ [math
+ [number
+ ["i" int]]]
[target
[jvm
[encoding
diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 341ded0e4..1f9e93c71 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -11,15 +11,16 @@
[data
["." product]
["." maybe]
- [number
- ["n" nat]
- ["i" int]]
[collection
["." list ("#@." functor)]]]
[macro
+ [syntax (#+ syntax:)]
["." code]
- ["." template]
- [syntax (#+ syntax:)]]
+ ["." template]]
+ [math
+ [number
+ ["n" nat]
+ ["i" int]]]
[target
[jvm
[encoding