diff options
Diffstat (limited to 'lux-js/source')
| -rw-r--r-- | lux-js/source/program.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lux-js/source/program.lux b/lux-js/source/program.lux index f58fa3d40..22e12f197 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.trusted (:as Int)) (.int (array.size value))) js_object (:as java/lang/Object))) @@ -242,7 +242,7 @@ (::slice js_object value)) (^ (static runtime.variant_tag_field)) - (|> value (array.read! 0) maybe.assume) + (|> value (array.read! 0) maybe.trusted) (^ (static runtime.variant_flag_field)) (case (array.read! 1 value) @@ -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.trusted js_object (:as java/lang/Object)) _ (panic! (exception.construct ..unknown_member [(:as Text member) (:as java/lang/Object value)]))) @@ -262,7 +262,7 @@ [] (getSlot self {idx int}) java/lang/Object (|> value (array.read! (|> idx java/lang/Integer::longValue (:as Nat))) - maybe.assume + maybe.trusted js_object (:as java/lang/Object))) ))) @@ -487,7 +487,7 @@ (def: define! (..define! interpreter)) (def: (ingest context content) - (|> content (\ utf8.codec decode) try.assumed (:as _.Statement))) + (|> content (\ utf8.codec decode) try.trusted (:as _.Statement))) (def: (re_learn context custom content) (..execute! interpreter content)) @@ -546,7 +546,7 @@ (def: define! ..define!) (def: (ingest context content) - (|> content (\ utf8.codec decode) try.assumed (:as _.Statement))) + (|> content (\ utf8.codec decode) try.trusted (:as _.Statement))) (def: (re_learn context custom content) (..execute! content)) @@ -613,7 +613,7 @@ (:as Operation) (function (@self state)) (:as Try) - try.assumed + try.trusted (:as Try) (do try.monad [handler (try.of_maybe (..ensure_function handler)) |