From 54ab659064990ff37a9234c9792102a3b88277d6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 8 Sep 2021 22:24:08 -0400 Subject: De-bracing | part 1 --- lux-js/source/program.lux | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'lux-js/source') 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]) -- cgit v1.2.3