diff options
Diffstat (limited to 'lux-js/source')
| -rw-r--r-- | lux-js/source/program.lux | 10 | 
1 files changed, 5 insertions, 5 deletions
| 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))) | 
