aboutsummaryrefslogtreecommitdiff
path: root/lux-js/source
diff options
context:
space:
mode:
Diffstat (limited to 'lux-js/source')
-rw-r--r--lux-js/source/program.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/lux-js/source/program.lux b/lux-js/source/program.lux
index 2cdc6fc66..06d718f14 100644
--- a/lux-js/source/program.lux
+++ b/lux-js/source/program.lux
@@ -296,12 +296,12 @@
(case [(org/openjdk/nashorn/api/scripting/JSObject::getMember [runtime.i64_high_field] js_object)
(org/openjdk/nashorn/api/scripting/JSObject::getMember [runtime.i64_low_field] js_object)]
(^multi [(#.Some high) (#.Some low)]
- {[(ffi.check java/lang/Number high)
+ [[(ffi.check java/lang/Number high)
(ffi.check java/lang/Number low)]
- [(#.Some high) (#.Some low)]}
- {[(java/lang/Number::longValue high)
+ [(#.Some high) (#.Some low)]]
+ [[(java/lang/Number::longValue high)
(java/lang/Number::longValue low)]
- [high low]})
+ [high low]])
(#.Some (.int (n.+ (|> high .nat (i64.left_shifted 32))
(if (i.< +0 (.int low))
(|> low .nat (i64.left_shifted 32) (i64.right_shifted 32))
@@ -318,10 +318,10 @@
(org/openjdk/nashorn/api/scripting/JSObject::getMember [runtime.variant_flag_field] js_object)
(org/openjdk/nashorn/api/scripting/JSObject::getMember [runtime.variant_value_field] js_object)]
(^multi [(#.Some tag) ?flag (#.Some value)]
- {(ffi.check java/lang/Number tag)
- (#.Some tag)}
- {(lux_object value)
- (#try.Success value)})
+ [(ffi.check java/lang/Number tag)
+ (#.Some tag)]
+ [(lux_object value)
+ (#try.Success value)])
(#.Some [(java/lang/Number::intValue (:as java/lang/Number tag))
(maybe.else (ffi.null) ?flag)
value])