From 6fd22846f21b8b70b7867e989109d14a366c0a3e Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 14 Aug 2021 03:09:58 -0400 Subject: Moved documentation-generation machinery to its own module. --- lux-js/source/program.lux | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'lux-js') diff --git a/lux-js/source/program.lux b/lux-js/source/program.lux index 03e673af9..f58fa3d40 100644 --- a/lux-js/source/program.lux +++ b/lux-js/source/program.lux @@ -198,7 +198,7 @@ (org/openjdk/nashorn/api/scripting/AbstractJSObject [] (call self {this java/lang/Object} {args [java/lang/Object]}) java/lang/Object (|> (java/util/Arrays::copyOfRange value - (|> args (array.read 0) maybe.assume (:as Int)) + (|> args (array.read! 0) maybe.assume (:as Int)) (.int (array.size value))) js_object (:as java/lang/Object))) @@ -242,10 +242,10 @@ (::slice js_object value)) (^ (static runtime.variant_tag_field)) - (|> value (array.read 0) maybe.assume) + (|> value (array.read! 0) maybe.assume) (^ (static runtime.variant_flag_field)) - (case (array.read 1 value) + (case (array.read! 1 value) (#.Some set!) set! @@ -253,7 +253,7 @@ (ffi.null)) (^ (static runtime.variant_value_field)) - (|> value (array.read 2) maybe.assume js_object (:as java/lang/Object)) + (|> value (array.read! 2) maybe.assume js_object (:as java/lang/Object)) _ (panic! (exception.construct ..unknown_member [(:as Text member) (:as java/lang/Object value)]))) @@ -261,7 +261,7 @@ (org/openjdk/nashorn/api/scripting/AbstractJSObject [] (getSlot self {idx int}) java/lang/Object (|> value - (array.read (|> idx java/lang/Integer::longValue (:as Nat))) + (array.read! (|> idx java/lang/Integer::longValue (:as Nat))) maybe.assume js_object (:as java/lang/Object))) -- cgit v1.2.3