aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/jvm/structure.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/structure.lux')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/structure.lux8
1 files changed, 5 insertions, 3 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.lux
index fe5d6bd6d..5e721f65a 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/structure.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/structure.lux
@@ -5,8 +5,10 @@
[control
["ex" exception (#+ exception:)]]
[data
+ [number
+ ["n" nat]]
[text
- format]
+ ["%" format (#+ format)]]
[collection
["." list]]]
[target
@@ -25,7 +27,7 @@
(exception: #export (not-a-tuple {size Nat})
(ex.report ["Expected size" ">= 2"]
- ["Actual size" (%n size)]))
+ ["Actual size" (%.nat size)]))
(def: $Object ($t.class "java.lang.Object" (list)))
@@ -34,7 +36,7 @@
(do phase.monad
[#let [size (list.size members)]
_ (phase.assert not-a-tuple size
- (n/>= 2 size))
+ (n.>= 2 size))
membersI (|> members
list.enumerate
(monad.map @ (function (_ [idx member])